 -2 at least as big as i?
True
Let r = 9216 + -11287. Is -2071 smaller than r?
False
Let w be 22393/(-250341) - 12/(-234). Which is smaller: -0.2 or w?
-0.2
Suppose -32*n + 125*n - 14811 = 17925. Suppose -q + 69 = -2*g + 780, -4*g + 1427 = -3*q. Which is smaller: g or n?
n
Suppose -4*k + 0*k = 13*k - 2414. Are 143 and k equal?
False
Suppose -p = -3*u + p - 20, 2*p - 12 = -u. Which is smaller: -151/68 or u?
-151/68
Let g be (-432)/66 + 6 + 8/(5544/(-1107)). Is -5/8 bigger than g?
True
Let w = 2347/1469 + -21/13. Let p = w + -335/226. Let a = 1772 + -1771.92. Which is smaller: a or p?
p
Let x = 92 + -52. Let j be (-1 - 85/(-25))*x/(-296). Let u(n) = n**3. Let a be u(-1). Is j at least as big as a?
True
Suppose 26 - 42 = -8*i. Let l(o) = -o**3 - 9*o**2 - 15*o - 4. Let u be l(-7). Let c be u + 0 + 36/9. Is i at least as big as c?
False
Let p(d) = -d**2 - 4*d + 24. Let l be p(-7). Suppose b + 140 = -l*b. Let j = b - -139/4. Is j at least -1/16?
False
Let b(c) = 9*c + 56. Let k be b(-6). Suppose 3*q + k = 41. Is q at most as big as 12?
False
Let v be (6/(-82))/(35 - 32)*(-2)/39. Is -1 smaller than v?
True
Let j be 1/(0 - 1) - (-162)/126. Let b = 398 + -237. Which is bigger: b or j?
b
Let c be (13 + -5)/(-56) + (1 - (-181228)/(-211400)). Which is bigger: c or 0?
0
Let y(z) = 2*z**3 + 129*z**2 - 196*z + 138. Let m be y(-66). Let q be (-130)/(-8) - 3/12. Are m and q non-equal?
True
Let n be ((-2)/(-6) - 872/96)*24/8340. Is n at most as big as -1/6?
False
Let c = 3531 + -3920. Do c and -9 have the same value?
False
Let a = 31720/391 - 1414/23. Which is bigger: 21 or a?
21
Let t be (-75)/10*((-6)/9 - 0). Suppose k = -2*w + 2, -3*k + t*w - 17 - 32 = 0. Are k and -0.1 unequal?
True
Suppose -4*l = -0*l + 4. Let j be (82 - 62) + -30 + 1394/140. Which is smaller: j or l?
l
Let f(x) = 10*x + 1. Let a(n) = -59*n + 9. Let s(i) = -a(i) - 6*f(i). Let w(z) = -17*z**2 - 2*z - 1. Let c be w(-1). Let h be s(c). Is 2/139 >= h?
False
Let p = -137 - -284. Let r be ((-63)/p)/(-1*3). Which is smaller: -3 or r?
-3
Let z be -1 + (-105408)/17584 - -1*7. Which is smaller: 0 or z?
0
Let f(u) = -u**3 - 2*u**2 - 16*u + 4. Let z be f(-6). Let v be (4 + -3)/((-1)/(-242)) + 2. Is z less than v?
False
Let a = 0.8947 + 138.1053. Let r = -32 - -32. Does a = r?
False
Let g be -5 - ((-68)/5 + (-20)/50). Let d be -10*-2*10/(-8). Let x be (-90)/d*(-3)/g. Is x at least as big as 0?
False
Let c be (16/5)/((-36)/(-4320)). Which is bigger: 382 or c?
c
Let p be (3/18)/(1/5). Let r be ((-6440)/(-19320))/(-1 + 4/(-6)). Which is greater: r or p?
p
Let d be 16/56 - 110/(-2)*(-112)/22932. Which is smaller: -14 or d?
-14
Let i(p) = -7*p - 1. Let d be i(-1). Let f = d - 14. Let b = 14406 + -14413. Is f <= b?
True
Suppose -13*b - 1091 = -3379. Which is smaller: -23 or b?
-23
Let f(t) = -19*t**2 - 6*t - 57. Let d be f(-8). Is d at least -1224?
False
Let u be -32*2*(-3)/(-12). Let b be (24 + 2)*u/100. Let t = 6244/1525 + b. Is t greater than or equal to 0?
False
Let h = 137 - -8. Let k = 154 - h. Let f be ((-6)/8)/(105/(-56)). Which is greater: f or k?
k
Let h = -121.12 + 121.11. Suppose 7*z = 2*z. Is h greater than z?
False
Let u = -17978/3 + 5992. Which is smaller: u or 22?
u
Let i be -3 - ((-5325947)/93449)/19. Do i and 0.1 have the same value?
False
Suppose -3*g - 6 + 15 = 0. Suppose -d + 30 = b, -3*d + 84 = g*b + 2*d. Suppose -b = 12*x - 11*x. Which is greater: -0.1 or x?
-0.1
Suppose 0 = 4*c - 8*c + 3*n - 39, 3*n = 3*c + 27. Let q be 3*(0 - -1)*c/348. Let s(y) = y + 3. Let x be s(-3). Is q < x?
True
Let y = -1741.5 - -1742. Let d = -71 - -50. Let u = -83/4 - d. Which is bigger: y or u?
y
Suppose -10*o - 3*p = -11*o + 68, 2*p = 2*o - 116. Let y be o/(-6) - 2/4. Which is bigger: 3 or y?
3
Let m = 106493/4929215 - -1/17795. Which is smaller: m or 5?
m
Suppose 7*j - 2*j - 10 = -5*t, 4*j - 3*t = 1. Let n = 1035861/107 + -9681. Which is smaller: j or n?
n
Let j(s) = 8*s - 4*s**3 + 6 + 0 - 8*s**2 + 0 + 10*s**2. Let y be j(-1). Let d = -0.2 - 0.2. Which is smaller: d or y?
d
Suppose -a = 4*w - 40, -w - 3*a + 30 = 2*w. Suppose -5*k + w = -20. Let j be 15/k*4/(-10). Is 1/50 less than j?
False
Let i = -712 - -318. Let d = 394 + i. Is d greater than or equal to -3.14?
True
Suppose -16 = 3*v + 5. Let t be (6 - 5)/((-1)/v). Let s be (-4)/12 + t/12. Is 1 < s?
False
Let n = 2 - -9. Suppose u + n = 4*z, 3*z - 2*u - 4 = 8. Let b be -2*5/((-195)/54). Which is smaller: z or b?
z
Let n(g) = g**3 + 14*g**2 + 14*g - 16. Let y be n(-11). Suppose s = 2*s + 5*a + 46, 4*a + y = -3*s. Let d = -72 - s. Which is smaller: 2/55 or d?
d
Let b = -2109 - -2114. Which is smaller: 52 or b?
b
Let k = -375 + 390. Let c be (217/(-3))/(-5 + 95/k). Is -53 equal to c?
False
Let m = 12193 + -12192.9. Let a = -45/14 + 209/126. Is a at least as big as m?
False
Suppose 30*f = 29*f - 58. Which is smaller: -55 or f?
f
Suppose s + 2*k - 4*k = -8, 5*s + 2*k - 8 = 0. Let h be (-11)/((-15268)/(-8)) + s/(-1). Which is smaller: h or 1?
h
Let r be (-30)/(-8) + (-5)/(-20). Suppose -c - 2*b = -12, 0*c = 4*c + r*b - 52. Which is smaller: 7 or c?
7
Let q be 6/(-10)*(-5 + 25/15). Suppose -11 - 37 = -q*y + 5*o, -y = -2*o - 26. Is y >= 39?
False
Let k = -3.1 - -3. Let l = 0.0151 + -278.0151. Let t = l + 268. Which is greater: k or t?
k
Let m(k) = k**3 - 20*k**2 - 7*k - 265. Let g be m(21). Does g = -32?
False
Let r be -2 + 1 - 474/(-3). Let q = r - 158. Is -18/11 less than q?
True
Let d(u) = 8*u**2 - 22*u - 25. Let z be d(-10). Let y be 204/z + ((-12)/30)/2. Is y >= 0?
True
Let g be (-185 + 186)/(30/(-34)). Which is smaller: g or -2/5?
g
Let m = -6.23 + 6.23. Let i be 46/(-8) + 18/24. Let q = i - -3. Is q at most as big as m?
True
Let d = 0.5333 + 15.4667. Which is bigger: 0.12 or d?
d
Let f = 3943870/19 + -207516. Is 57 != f?
True
Let x(b) = 42*b - 1681. Let c be x(40). Is c at least as big as 2/35707?
False
Suppose -5*f + 360 = -q, f = -0*q + 4*q + 1421. Let c = q - -29821/84. Which is smaller: -1 or c?
-1
Let y = -78 + 80. Suppose 0 = -y*v - 3*v - 400. Let r = 87 + v. Is r at least 6?
True
Let o be (5/(-2))/((-4)/(18 + 6)). Let a be (-266)/(-228)*3/(210/(-8)). Which is smaller: o or a?
a
Let p be -8*(-18)/480 - (-1 + (-13)/(-10)). Which is bigger: p or 1/3435?
1/3435
Let u = 139/588 + 2/147. Let t = 1.208 + -0.058. Let y = t + -1. Which is greater: u or y?
u
Let p = 3.58 + -3. Let x = -1.98 + p. Let w = x - -0.4. Which is smaller: w or -19?
-19
Let x be (-20)/(-12) - 700340/210 - (-2)/7. Which is smaller: -3332 or x?
x
Suppose 0 = -7*p - 31*p - 10*p. Is -2/37903 less than or equal to p?
True
Suppose 23*y = -38*y - 23*y + 5796. Which is bigger: 407/6 or y?
y
Suppose -2*k - 2*t = -4*t + 3060, 12 = 4*t. Let y = 25937/17 + k. Is -2 less than y?
True
Let c = -48 - -57. Let p be 1*(c + -9 - (-1 - -2)). Let r be (-3)/(-1 - -4) + 1. Is p greater than or equal to r?
False
Let d = -3.62 + 13.28. Let x = -1.76 - -2. Let q = d + x. Is 1/4 < q?
True
Let q = -0.3784 - 1418.6216. Which is bigger: 0.1 or q?
0.1
Let m = 11 - 4. Let j = -0.25161 - -1.45161. Which is smaller: j or m?
j
Suppose -131*j - 160 = 29*j. Is 9/227 <= j?
False
Let v be (-603)/(-6)*40/(-30). Let n be (-12)/(-114) + (-12835)/95. Are v and n nonequal?
True
Let z be (-2)/(-6) + (-284)/(-12) + -3. Suppose z - 72 = -4*w - j, -4*j - 12 = -2*w. Is w >= -2?
True
Let t(c) = c**3 - 5*c**2 + 5*c - 19. Let g be t(5). Suppose 24 - 78 = -g*o. Is o less than or equal to 9?
True
Let v be (3040/144 - 21)*9. Let r = 2178 + -1803383/828. Is r greater than or equal to v?
False
Suppose -5*k - 4*a = -948, -226 + 1000 = 4*k - 2*a. Suppose 354 = -12*l + 2658. Is k smaller than l?
False
Let t be ((-2105)/4840*-4)/(502/(-112)). Let r = -46/121 - t. Which is bigger: r or 1?
1
Let c(j) = -j**2 - 31*j + 179. Let a be c(-36). Are -3/2854 and a unequal?
True
Let w = -112 + 117. Let n be (w - -1)/(8/(-44)). Suppose 0 = 3*c + 47 + 55. Which is smaller: c or n?
c
Let c be 4/(-3)*13/((-468)/513). Let w = -1 + 1. Let n = w + 20. Is n greater than or equal to c?
True
Let a = -0.0291 - -0.3841. Let v = a + -0.255. Let t be 1/(-1) + (1 - -33). Which is smaller: v or t?
v
Let t be (-4040)/4862 - 60/(-510). Which is greater: -2 or t?
t
Let q be (-3)/4 - (-2695)/(-980). Let f = 12 - 6. Let o(d) = d**2 - 6*d - 5. Let r be o(f). Is q less t