Let a = 100 + -100. Which is smaller: -5/97 or a?
-5/97
Let k = 155.7 - 150. Is 2 > k?
False
Let p(f) = 4*f**2 + 4*f + 2. Let r be p(-2). Suppose -7*t + r*t = -135. Let c be (-18)/t - 14/10. Which is smaller: 0.1 or c?
c
Let q be ((-11690)/(-6))/5 - 2/(-6). Is 390 < q?
False
Let i = 0.366 - -1.104. Let m = -1.6 + i. Let d = 0.875 + -0.775. Is d != m?
True
Let t = 0.181 - 1.171. Let d = 87 - 86.99. Let b = t - d. Which is greater: b or -0.07?
-0.07
Suppose 60 = -5*l + 3*p - p, 0 = 5*l - 5*p + 45. Let t be (4/14)/(l/98). Which is greater: -0.24 or t?
-0.24
Let v be 1 - 0 - -2 - 6. Let l = -23 - -38. Let m = 12 - l. Is v bigger than m?
False
Let w(k) = -k**3 - 33*k**2 + 129*k + 173. Let b be w(-37). Is b at most 875?
False
Let a be (-76)/((-14)/(-63) + (-8)/9). Let f = 126 - a. Which is smaller: 16 or f?
f
Suppose 0 = 32*y - 43*y + 11. Is -1/13 smaller than y?
True
Suppose -7574 = -5*k + 4*t, 6980 = 3*k + 5*t + 2406. Let y = -13649/9 + k. Is -1 not equal to y?
True
Let k = -0.0492 + -0.1508. Is k greater than or equal to 150?
False
Let f = -27 - -38. Let k = -26 - -39. Let j = k - f. Which is greater: 5/2 or j?
5/2
Let g = 591 - 578. Is g greater than -2?
True
Suppose 4*k + 0*k = -3*d - 5, k - 20 = -5*d. Suppose d*t + 2*r + 16 = 0, -t = -0*t + 2*r. Let z be (t/7)/(2/(-7)). Which is greater: z or 4?
4
Suppose -4*g + 5*m + 4 = 0, g - 1 = -7*m + 2*m. Is 3 < g?
False
Let a = 0 - -22. Let g be a/(-18) - (154/63)/(-11). Which is smaller: g or 1/14?
g
Let j = -12 + 11. Let d = -18 + j. Let y = 19.03 + d. Is 1 bigger than y?
True
Let o = 18.58 + -21.01. Which is greater: o or -3?
o
Let h be (-2 - 8/(-5)) + (-98)/(-70). Are 1/253 and h nonequal?
True
Let s be ((-4)/(-14))/(15/105). Suppose 15 = -3*m, 5*k = 7*m - 2*m + 70. Let u be (0 + 1)*(9 - k). Which is bigger: u or s?
s
Let w = -0.299 + 0.599. Is -64 > w?
False
Suppose r + 3*r + 3*o = 164, -5*o = 5*r - 205. Is r greater than 41?
False
Let d = -19 - 9. Let n = -34 - d. Which is smaller: n or -3?
n
Let l(j) = -10*j + 2. Let k be l(2). Let n = 10434 - 10451. Which is smaller: n or k?
k
Let g = -0.06 - 0.04. Which is smaller: g or -8/13?
-8/13
Suppose 12 = -5*o - 3*f + 4, -2*o + f = 1. Is -5/37 <= o?
False
Let h(p) = 2*p**2 + 4*p - 1. Let y be h(-3). Suppose -4*x - m + 4*m = -17, y*m + 20 = 5*x. Let n(a) = a**2 - 6*a + 3. Let f be n(x). Does -3 = f?
False
Let b = -1.4 + 11.4. Let a = -9.8 + b. Which is bigger: a or -0.3?
a
Let x = 1019.13 + -1039. Let n = x + 20. Let c = n - 0.23. Is 0.5 at most c?
False
Suppose 0 = -u - 2*t + 2, 20*u = 22*u - t + 11. Which is greater: -6.9 or u?
u
Suppose j = -3*j + 16, 10 = -k + 3*j. Let m = k + -3. Let r be 0/2 - 4/5. Is r at least as big as m?
True
Let u = 2/141 + -8887/282. Which is bigger: -31 or u?
-31
Let f be (-28)/49 + 3/(-7). Which is smaller: f or -52?
-52
Let h(z) = z**3 - 6*z**2 - z - 1. Let m be h(6). Let s = -274 + 267. Are s and m unequal?
False
Let b be 27/(((-10)/12)/(-5)*-4). Which is bigger: 2/7 or b?
2/7
Suppose 2*a = -8, -4*a - 641 = -8*o + 3*o. Which is greater: 126 or o?
126
Let m = -615021/19880 + 23/2840. Let g = 185/6 + m. Is 0.4 at most g?
False
Let i(a) = a**2 - 10*a + 8. Let t be i(7). Let y(s) = -s**3 - 12*s**2 + 134. Let l be y(-11). Let r be 2/l + 275/t. Are -21 and r unequal?
False
Suppose -w + 220 - 4 = 4*h, 3*h = -3*w + 162. Which is smaller: 0 or h?
0
Let t = 48 - 47.97. Let w = t - -0.04. Which is bigger: w or -2?
w
Suppose 0*u = -u - 1. Is -2/149 equal to u?
False
Let z be 11053/(-95) + 6/15. Let x = -116 - z. Let k be 4/(-6)*-3 - 3. Is x less than k?
False
Suppose -4*i = -5*t - 11, t = -t + i - 5. Let u = -7/27 - 38/27. Which is smaller: t or u?
t
Suppose 30*z - 2354 - 526 = 0. Is z smaller than 389/4?
True
Suppose -88*a - 595 = -93*a. Which is smaller: a or 123?
a
Let n = 28.26 + -0.26. Let d = -63 + 34.8. Let y = n + d. Is y at most as big as -5/4?
False
Let x(j) = -j**3 + 3*j**2 - 29*j + 57. Let w be x(2). Which is smaller: 675 or w?
w
Suppose -5*o - 10 = -5*q, -7 = o - 3*q - 1. Suppose 1 = k + 3*v, -5*v = 2*k - o*v - 5. Suppose -n = 4*n - 45. Which is smaller: n or k?
n
Let k = 133 - 935/7. Is 5/3 less than k?
False
Let p be (-42)/(-63)*(-1 + 7). Suppose 0 = -5*k + p*k - 1. Which is smaller: 2/37 or k?
k
Let h(g) = g - 2. Let d be h(3). Let z(w) = w**3 - 8. Let a be z(0). Let y be (-12 - a)/((-2)/(-6)). Is d not equal to y?
True
Let x = -51538/11205 - 1/2241. Which is smaller: x or -6?
-6
Let n be 10/(8/(-6) - -1). Let m be (-342)/n + 2/(-5). Is 13 >= m?
True
Let y(o) = -109*o - 20. Let q be y(-2). Which is bigger: 195 or q?
q
Let g be (38 - 36)/(1/((-53)/2)). Let x = -54 - g. Which is bigger: x or 1/56?
1/56
Let j = 2106/17 + -124. Let k = 263 - 263. Is k bigger than j?
True
Let x be -2 + -1 - 217/(-7). Suppose -5*q - 29 = -2*c, -3*q = -4*c + q + x. Let j be 6/70 + c/10. Which is smaller: -1/4 or j?
-1/4
Let s be 2/4 + (-38)/4. Let t be s/(-4) + (-3)/12. Which is greater: 1 or t?
t
Suppose 14*s + 0 - 42 = 0. Suppose 5*b - 80 = 5*c, c = -s*c + 4. Which is smaller: 31/2 or b?
31/2
Let v = -40 - -45. Suppose -4*z = -3*w + 8, 0 = -v*w + 2*w - 3*z - 6. Are w and -2/15 equal?
False
Let v = 956 - 957. Is v < 55?
True
Let s = 112 + 705. Is s less than or equal to 0?
False
Let x be (6816/684)/(104/111 - 1). Let q = x + 158. Which is bigger: 0 or q?
0
Suppose -5*m - 2 = 3. Suppose 2*f + 7 = f - 2*r, 3*r = 5*f - 30. Let z be ((-1)/3)/(m/f). Is 6/7 bigger than z?
False
Suppose -6*g - z + 9 = -3*g, -2*g + 6 = -5*z. Suppose 0 = -g*b + b - 10. Let l be -1 + (-12)/((-12)/(-2)). Which is smaller: l or b?
b
Let q be -12 + -25*77/(-165). Let v = -30.983 + -0.017. Is q less than or equal to v?
False
Let r = 5.04 + -3.9. Let y = 1.2 - r. Which is smaller: -1/3 or y?
-1/3
Let m = -644 + 618. Which is smaller: m or -25?
m
Suppose 6*o = 4*o + 10. Suppose 2*j + o*d = 50, -j = -2*d - 12 - 22. Let n = 31 - j. Which is smaller: n or 10/9?
n
Let q = -4 - -1.8. Let u = 3.2 + q. Which is greater: u or -1/3?
u
Let m(f) = f**3 + 4*f - 3. Let g be m(5). Which is greater: 144 or g?
144
Suppose 150 = 5*l + y, 2*y + 0 = l - 41. Which is smaller: l or 3?
3
Let n = 167 + -166.9. Let y = -1.3 + 2.2. Do n and y have the same value?
False
Let v(w) = 2*w**2 + 15*w + 17. Let x be v(-6). Let q be 15/25 - 5/25. Which is bigger: q or x?
q
Let a = 1513/650 - 30/13. Let u be 1/(-12) + 55/(-60). Does u = a?
False
Let d(m) be the third derivative of m**5/60 - 5*m**4/12 - m**3/6 - 8*m**2. Let b be d(10). Let i = -499/25 - -20. Which is smaller: b or i?
b
Let r(i) = 14*i - 62. Let q be r(4). Is 1 greater than or equal to q?
True
Let x = -11.8 + 16.8. Are x and 1/5 equal?
False
Let z(w) = -w**3 - 4*w**2 + 3. Let p be z(-4). Suppose -p*a + 2*s - 4 = a, -2*a - 6 = s. Which is bigger: -6 or a?
a
Let p = 1978 + -1829. Which is smaller: p or -2/5?
-2/5
Let s(y) = y**3 - 10*y**2 + y - 10. Let t = -23 - -33. Let d be s(t). Is d < 1/11?
True
Suppose -v = 2*s - 6*s + 22, 0 = v + s + 32. Is v less than or equal to -30?
True
Let f = -44 - -43.8. Which is bigger: f or -60.2?
f
Let z = 2 + -3. Let u be 159/(-273) + (-108)/(-26) + -4. Which is bigger: z or u?
u
Let v = -15151/9 - -1683. Let u = 0.2 - 0.1. Is u equal to v?
False
Let l(n) = n**3 + 13*n**2 - 12*n + 28. Let o be l(-14). Which is greater: -3/154 or o?
o
Let v = 22 - 15. Which is bigger: 5 or v?
v
Let o = 91/475 - 3/95. Which is bigger: o or 0?
o
Let l(o) = -3*o**2 + 43*o - 13. Let t = -28 - -42. Let p be l(t). Which is smaller: 8 or p?
p
Let z = 550 + -549.9. Is z equal to 2/155?
False
Let n be ((-24)/(-20))/3*(-2535)/702. Let y(w) = -w + 3. Let r be y(3). Is r less than or equal to n?
False
Let m be (2/(-4))/(15/50*-5). Is 2/41 <= m?
True
Let f = 216 - 208. Which is greater: 10 or f?
10
Let i(s) = s**2 - 4. Let q = -26 + 23. Let o be q/15 - (-22)/10. Let a be i(o). Which is bigger: a or 1/12?
1/12
Let q = -73/2 - -409/10. Let u = -1183 + 1187. Is u greater than q?
False
Let i be (1*2)/10*7. Let s(b) = -41*b + 1395. Let a be s(34). Which is greater: a or i?
i
Let d = 0 - 1. Let t = -43 + 44. Let u be (3/12)/(t/(-4)). Is u != d?
False
Let f(t) = -2*t - 1. Let k be f(0). Let z be -1*0/k - 12. Is -12 smaller than z?
False
Let o be (-1)/(-3) - (-13)/(-12). Suppose 0 = 4*r + 3*g - 3, 0 = -2*r + 4*g + 24 - 28. Which is bigger: o or 