l to 0?
True
Let l be (4/5)/((13 + -6)/35). Let p be (12 - 14)*l/(-2). Suppose -4*x - 23 - 21 = p*o, 5*o + 55 = -3*x. Which is smaller: -12 or o?
-12
Suppose 4*r = -i - 417, r = -15*i + 12*i - 96. Let w be r/(-14)*4/2. Let f = -32 - -48. Is w greater than or equal to f?
False
Suppose 0 = 3*u, 2*o = -5*u - 4 - 4. Let z = o - -3. Which is greater: -14/19 or z?
-14/19
Let y = -336 - -564. Let z = y - 129. Let s = z + -74. Which is smaller: s or 1/2?
1/2
Let g = 2164 - 2164. Let q = 263/6 - 7603/174. Which is bigger: q or g?
q
Let a = 45.979 - -0.021. Let i = -55 + a. Let m = -8 - i. Which is smaller: m or 9?
m
Suppose w - 3 = 0, 0 = -3*p + 2*w + 77 - 11. Let y = -153 + p. Which is bigger: y or -128?
-128
Suppose 0 = 5*y + 5*d + 251 + 29, -y - 48 = 3*d. Suppose 0 = -4*b - 4*s - 222 - 6, 5*b + 2*s = -291. Which is bigger: y or b?
b
Suppose 0 = 2*h - h + 1334 + 1498. Does -2832 = h?
True
Let u = -232.31 + 131.34. Let c = 101 + u. Which is smaller: c or 2/9?
c
Let s = 233 - 276. Let u = -150 + 92. Let j = s - u. Which is smaller: -2/7 or j?
-2/7
Suppose 23*u + 5*s = 20*u - 8864, -2*s - 8852 = 3*u. Which is smaller: -2949 or u?
-2949
Let o(n) be the second derivative of n**5/10 - n**4/12 - n**3/3 + 7*n - 7. Let j be o(0). Is -1/177 smaller than j?
True
Let i = 8234 + -8256. Is i smaller than -48?
False
Suppose -5 = -i - w, -3*w - 25 = -5*i + 2*w. Suppose -3*k - 94 = 5*q - k, -q = -i*k + 35. Let p be (9 + 0)*(1 + 2 + 80/(-15)). Is q less than or equal to p?
False
Let d = 47 + -42. Suppose 3*x - 80 = w, 10*w - d*w - x = -456. Let u = w + 54. Is -38 bigger than u?
False
Let a(h) = -h**2 - 12*h - 34. Let j be a(-6). Suppose -j*y - 53 = -2*f + 27, -y + 40 = f. Is f equal to 49?
False
Suppose 3*q - 6*q + 5*j = 2132, -j + 708 = -q. Let f be q/(-96)*(-3)/(-5). Which is smaller: f or 5?
f
Let q(j) = 12*j - 2. Let l be q(9). Suppose 39 + 98 = 4*d - r, 0 = -3*d + 4*r + l. Is d at least 37?
False
Let v = 2/12485 + -212503/1610565. Which is greater: 0 or v?
0
Let u = -127 + 125. Let x be (32/40)/1*u/(-32). Let m = -2 - -2. Which is bigger: m or x?
x
Let c = 12175 - 36527/3. Which is smaller: c or 4/7?
c
Let z be (105/5 - 6)/(2/14). Suppose 3*v + 6*p = 9*p + 72, -p = -4*v + z. Which is bigger: 28 or v?
28
Let v = 1603 + -1521. Which is smaller: v or -30?
-30
Let y = 9477 - 9542. Does -33 = y?
False
Let v = -2994 - -6375. Is v < 3380?
False
Let s = -721 - -721. Let m = 5.12 + -5.6. Is m greater than s?
False
Let u = 2109 + -2109. Which is smaller: u or 29/5?
u
Suppose -k + 940 = 5*u - 2246, 0 = 2*u + 4*k - 1260. Is u <= 641?
True
Let v = 655 - 657. Let u be 6 + 5 + -8 + v. Are u and 2/855 equal?
False
Let m(r) = r**3 + 6*r**2 - r + 4. Let o be m(-6). Let g be 4/o*15/(-6). Which is bigger: -1/31 or g?
-1/31
Let a = 0.318 - -0.092. Let x = 1.581 - -0.009. Let g = x + a. Which is smaller: g or 0?
0
Let t be 7 + 35/7 + -16. Let l be (-26)/(5 - ((-12)/t - 0)). Which is bigger: l or 6?
6
Let j(p) = -p**3 - 6*p**2 + 5*p + 2. Let n be j(-5). Let q = 2533.9 - 2253. Let z = q + -281. Which is greater: z or n?
z
Let a = -9 - -8.45. Let d = -271.48 - -272.48. Which is smaller: d or a?
a
Let i = 164703 - 3954359/24. Let u = -17/24 + i. Is -0.1 >= u?
True
Let m(j) = 3*j**2 - 32*j - 5. Let c be m(41). Suppose -24*w = 3*w + c. Which is smaller: w or -137?
w
Let o = -229 + 277. Let d be o/64*(-3)/(-15). Which is smaller: 0 or d?
0
Suppose -4*i = -3*w + 177, 5*i = 3*w - w - 230. Let n = -45 - i. Suppose 2*s = 5*y + 15, n*s - 3*y = -8*y - 15. Which is greater: 2/149 or s?
2/149
Let a = 9583 - 9572. Which is greater: 360/29 or a?
360/29
Let z = -182 + 177. Let n be (-26)/3 - (z + 1). Do n and -0.1 have the same value?
False
Suppose 0 = h + f + 5, 14 = h - 4*f + 4. Let o be 1*(5 - 2) + 42/(-10). Which is bigger: h or o?
o
Let n = -4051 + 4051. Which is smaller: 2/1771 or n?
n
Let c = 2525147/4257 - -28/4257. Let m(b) = -583*b + 11. Let u be m(-1). Let q = u - c. Is -1 at least q?
False
Suppose 8*v - 2*v = 336. Let h = 66 - v. Suppose -4*k = h - 130. Which is smaller: 32 or k?
k
Let f = 5501 - 5202. Is f smaller than 295?
False
Suppose -m + 3*p - 4*p - 634 = 0, m - 5*p = -664. Which is smaller: -643 or m?
-643
Suppose 3346 = -118*r + 73*r + 556. Which is smaller: r or -78?
-78
Let x = -1.6 + -0.4. Let a = -121 + 110.1. Let v = a - -43.9. Is x less than v?
True
Let m = 0.42 + 64.58. Let u = m + -193. Let z = u + 205. Is -2/3 greater than z?
False
Suppose 0 = 6*b - 8*b - 58. Suppose 27*f = 22*f + 100. Let o = f - b. Is 48 less than o?
True
Suppose 52 - 1 = 3*t. Suppose -t*d - 70 = -19*d. Is 0 at most d?
True
Suppose -5*q + 70 = 3*d + 21, 3*q - 4*d = 12. Suppose 0 = -27*f + q*f. Let c = 310 + -4024/13. Is f at least c?
False
Let d = 767 + -767.035. Let l = -19 + 19.065. Let f = d - l. Which is bigger: f or 3.9?
3.9
Suppose 29 = -36*q + 65. Which is smaller: q or 70/141?
70/141
Suppose 252*z - 1217 = -167 + 1722. Let n be 200/18 - 4/18. Does n = z?
False
Let p be (-16)/7 - 936/(-336). Are p and 0.0019 equal?
False
Let v = 666 - 711. Is v greater than or equal to -1/148?
False
Let p(b) be the first derivative of -b**3/3 - b**2 + 5*b + 2. Let h be p(-4). Let t = -57 + 56. Which is greater: h or t?
t
Let n = 22.95 + -21.95. Let p = -159/2 - -81. Which is smaller: n or p?
n
Suppose 0 = -89*b + 83*b + 150. Let o be 1/270*218 + (-10)/b. Let d = o + -101/270. Which is greater: d or 0?
d
Let s = -607 - -819. Let j = -236 + s. Suppose 92 = -2*c - 2*c. Is c at least as big as j?
True
Let p = 0.0497 - -60.6503. Let k = 61 - p. Is -18/13 less than k?
True
Let o = -7 + 130. Suppose -o*z + 740 = -118*z. Which is bigger: 149 or z?
149
Let r be (-3267)/(-792) - (-9)/(-2). Is r at most 71?
True
Let p(j) = -6*j**3 + 8*j**2 - 27*j - 31. Let h be p(-12). Do h and -1 have the same value?
False
Let z = 77.3 - 74.3. Which is bigger: z or 7/9?
z
Let s = 105 - 66. Let h = -39.09 + s. Let w = h - -5.09. Which is smaller: w or 2?
2
Let z = -3603 + 449. Which is bigger: z or 0.2?
0.2
Suppose -331*z - 328*z = -567*z - 286212. Is z less than 3111?
False
Let j(f) = 27*f**2 - 152*f + 25. Let b be j(5). Suppose 0 = 3*h + 2*c + 12, 2*h = -c - 3*c - 16. Which is greater: b or h?
h
Let q = 75 - 81. Let t be (3 + q)*(-7)/(-77) - 1. Is -1 less than t?
False
Let p(g) = -4*g + 25*g - 3 - 93 + 10. Let w be p(4). Suppose 10 = -5*x, 5*q - 4*x - x = -10. Is w at least q?
True
Let d = -67/19 - -164/95. Which is smaller: d or 355?
d
Let q = 3.9 + 17.1. Let p = q - 19. Is 23 > p?
True
Suppose -11*r = 2659 + 11047. Are 0 and r unequal?
True
Let i = 5463 + -5464. Is 6/35 less than i?
False
Let c be 47 - (-14 + 14)*2/6. Suppose -4*v - 2*p - 46 = 0, 4*v - 6*p = -7*p - c. Which is bigger: v or -61/5?
v
Let g(s) = -363*s - 861. Let m be g(11). Do m and -4854 have the same value?
True
Suppose 3*n + h = 7, -29*n + 25*n + h + 14 = 0. Let j be -5 - (n + (-3650)/455). Which is smaller: j or 1?
j
Let x be (-8)/(-10)*((-563)/(-2) + 1). Suppose 2*u + 2*c = 4*u - x, 0 = 5*c - 5. Let j be 2*2/8 + (-45)/u. Is 11 > j?
True
Let c = 33.71 + -33.41. Is c at most -235.7?
False
Let s = 1 + -1. Suppose 3*f - 379 - 284 = -3*q, 0 = 5*q - 4*f - 1123. Let y = 17839/80 - q. Which is bigger: s or y?
s
Suppose -j - 2*j = 12. Suppose 0 = -v - 3*v + a + 13, -a - 17 = -5*v. Suppose -v*t = -3*b + t - 19, 2*t - 13 = 3*b. Is b less than or equal to j?
False
Let y(h) be the second derivative of h**5/20 + 2*h**4/3 - 13*h**3/6 - 18*h**2 - 10*h - 1. Let k be y(-9). Does k = 141?
False
Let h = -131.5 - -814.5. Let m = h - 844. Is m smaller than 1?
True
Let w = 0.961 + 0.279. Let j = w - 1.04. Which is bigger: j or -9?
j
Let j = -4.8 - -21.7. Let t = -14.9 + j. Let z = 38 - t. Which is greater: z or 1/2?
z
Let t = 103 - 25. Suppose -7*j = 1 - t. Suppose j = 4*u - 17. Which is smaller: 2 or u?
2
Suppose 1 + 20 = 4*r - 5*f, 4*r + 29 = -5*f. Let j be r + -1 + ((-48)/(-2) - 4). Which is greater: j or 17?
j
Let n = -15.3 + 9.3. Let z = 7.1 + -8. Let d = z - -0.7. Is n at least d?
False
Let l = -77/5 - -48/5. Suppose -3636 = 1304*q + 2884. Which is greater: q or l?
q
Let r = 2/137067 - -192670447/4523211. Let y = 376/9 - r. Which is bigger: 0 or y?
0
Suppose 4*y + 4*f - 164 = 0, -102 = 133*y - 135*y + 3*f. Are y and 307/7 unequal?
True
Suppose 6*r + 45 = 20*z - 17*z, -5*z + 40 = -