t m be a(-4). Suppose 0*j - j + 11 = z, -z - 4*j = -m. Is z equal to b?
False
Let k be 25 - -8*800/128. Suppose 5*m - 327 - 43 = 0. Is m at least k?
False
Let a be ((-1)/(-15))/(-1)*(-3 - 0). Which is smaller: a or -1/92?
-1/92
Let i = 34829 + -34830. Which is smaller: -2/265 or i?
i
Let d be (75/10)/(1/(-16)). Let b = -1082/9 - d. Which is smaller: -4/21 or b?
b
Suppose -5851 = -33*k - 142. Is k at most as big as 179?
True
Suppose -2*k + 17 = -3*q - 4, -3*q - 5*k - 42 = 0. Let a be 6*(-1)/q + (-5)/30. Let s be (-2 + 1 - -2)*1. Which is smaller: a or s?
a
Let y be ((17 - 22)/(-1*1))/1. Suppose 2*f + 212 + 116 = -3*d, -d = y*f + 92. Which is smaller: d or -113?
-113
Let h be (12/6 - (-21085)/35)/1. Let s = h - 604. Let t be 2/(-4)*3 - -1. Is t equal to s?
False
Let o = -7999 - -8565. Is 0 at least o?
False
Let p = -5736 - -17207/3. Which is smaller: p or 1/3794?
p
Let f = 3461 + -3461. Let h = 1340 - 14730/11. Which is smaller: h or f?
f
Let j = -114.34 - -12.04. Let k = j + 149.2. Let g = k + -47. Is 5/8 greater than g?
True
Suppose -78634 = 60*o + 15026. Which is smaller: o or -1562?
-1562
Let y(f) = -f**3 - 7*f**2 - f - 3. Let t be y(-7). Let m(o) = 666*o**2 + t*o - 666*o**2 - o**3. Let z be m(3). Is z greater than -13?
False
Suppose 0 = -2*g - 3*n + 7, -2*g + 9*n - 6*n + 13 = 0. Let k be g/100*-22 - (-3)/6. Is k at least -18?
True
Suppose 2*p - 54 = -4*z, -4*z - 65 = -p - 104. Which is smaller: 58/5 or z?
z
Suppose 3 + 5 = -9*w + 17*w. Which is smaller: 3/1022 or w?
3/1022
Let i be (0 - (-2)/(-43))/(31/1). Let g = 741 - 742. Which is smaller: g or i?
g
Let m = 5733 + -5700.612. Let n = -0.388 + m. Which is bigger: -2/15 or n?
n
Let f = -4961 - -4960. Suppose -5*i + 5 = -d - 11, 2*i = 8. Is f smaller than d?
True
Let w be -1 - -4 - (-336)/(-114). Let v be (126/(-1539))/(2/4). Let y = v + w. Which is bigger: y or -3/7?
y
Let k = -835 + 810. Let p be (-1 + 3)*(29 - k). Is 109 less than p?
False
Let p be (7*45/9520)/(62/8). Which is smaller: 1 or p?
p
Let u = 872 + 158. Let g = 1448 - u. Are 1 and g unequal?
True
Let h be (715 - 718) + (-2)/(44/5058). Which is greater: h or -233?
h
Let j = 58 - 54. Let o be (-85)/(-15) - (j/6 + 0). Let n be (3 + o/(-2))/((-1)/26). Which is bigger: n or -14?
n
Let w(y) be the first derivative of y**3/3 + 19*y**2/2 + 18*y + 64. Let l be w(-12). Does -68 = l?
False
Let b = -20253 - -20960. Which is bigger: 3528/5 or b?
b
Let o(f) = f**3 - 13*f**2 + 69*f - 149. Let x be o(6). Let j be (1 + -1)/(-1 + 3). Which is smaller: j or x?
j
Suppose -3377 = -18*q + 63871. Which is smaller: 3737 or q?
q
Suppose 0 = -9*w + 4 + 14. Suppose -2*d - 6 = -3*s, 3*d - w*s = s - 9. Let u be 192/285 + 2/d. Which is smaller: 0 or u?
0
Suppose 0 = -116*o + 19 + 97. Is -68/147 less than or equal to o?
True
Let h = 3258 + -3259. Which is bigger: h or 16.03?
16.03
Let u = -264 - -264.115. Let d = -0.215 + u. Is d > 37?
False
Let b = -334 - -225. Let y = -105 - b. Is -0.05 < y?
True
Suppose 318 = 3*b + 105. Let h be b - 68 - (-264)/10. Which is bigger: 30 or h?
30
Let u = -16102 - -16103. Which is bigger: u or -4/2781?
u
Let g = 2269 + -660283/291. Let h = -1502/17751 + g. Do h and -1 have the same value?
False
Let p be (4/8)/(-10 - (-26190)/20). Which is greater: 0 or p?
p
Let g = -6.42 + 6. Let q = -49.42 - g. Let h = 49 + q. Do h and 7/2 have different values?
True
Let a = 437 - 7431/17. Let v = 0.21 - -171.79. Let k = -174 + v. Which is smaller: k or a?
k
Let g(f) = -35*f**3 + 4*f**2 + 16*f - 48. Let c be g(4). Is -2160 less than or equal to c?
True
Suppose -z = 117*q - 113*q - 27, q + z = 3. Suppose -2*f + 64 = 6*f. Is f less than or equal to q?
True
Let i be (454/2043*(-18)/(-76))/((-6)/8). Is 6 bigger than i?
True
Let g = 16 + -13. Let m be (g - (-6 - -3))*1/(-3). Let h(s) = -s + 2. Let x be h(m). Which is smaller: 10 or x?
x
Let f be 95/10 - (-8 - -17) - (-261)/(-2). Which is greater: -114 or f?
-114
Suppose -36 = -14*h - 4*h. Suppose 4*g - 575 = 2*p + 103, g - 172 = -h*p. Are 1 and g unequal?
True
Suppose 39*u + 0 = 229*u - 0. Which is bigger: 1/400 or u?
1/400
Let c(v) = v**2 + v. Let t be c(0). Suppose 5*w - 64 = s, t = 3*w + 4*s - 21 + 1. Let h be 6/44*(-8)/w. Which is bigger: -2 or h?
h
Let y be (1 + 851)/((-220)/(-44)) - 3/(-5). Which is greater: 2/33 or y?
y
Let o = 49 - 45. Let l be -2 + 370/75 - o. Is -2 != l?
True
Suppose 2*q - 4*w + 55 = 5, 2*q = w - 35. Let a be (3/9)/(5/q). Let s be 114/(-589)*a/3*1. Which is smaller: -1 or s?
-1
Suppose -3*u - 48 = -8*i + 4*i, 0 = 2*i - 3*u - 24. Let r = 291829/13 - 22435. Is r smaller than i?
False
Let l = 31.2 + -30. Let j = -1.61 + l. Let d = 4.1 - 4. Is j < d?
True
Let g(s) = 41*s**2 + 17*s + 232. Let z be g(-8). Is z at least as big as 2720?
True
Let x = -615 - -355. Let r = x + 259. Let n = 201 + -3416/17. Which is smaller: r or n?
r
Suppose -4*n - 46 - 62 = 0. Let z = n - -18. Suppose -23 = -b - 4*m, -4*b - 32*m - 52 = -34*m. Is b bigger than z?
False
Let z = -453 - -361. Let v be 207/z*(-32)/(-6). Are v and -13 non-equal?
True
Let d = -472 - -15. Let y = 456 + d. Which is bigger: 374 or y?
374
Let n(j) = -j**2 + 20*j + 25. Suppose -29*f + 26*f = -171. Let q = f + -36. Let i be n(q). Which is greater: 6 or i?
6
Let k be 17 + -16 - (4 + -19). Suppose 4*f - 47 = -7. Is f >= k?
False
Let k be (-85)/(-17) - 375/49*1. Which is bigger: -4 or k?
k
Let h = -3.86 + 0.06. Let k = 97.3 + -101. Let q = h - k. Which is smaller: q or -0.2?
-0.2
Let j = 241 + -234. Suppose j - 5 = 2*g. Which is bigger: g or 4/85?
g
Let u = 2 - 2.1. Let c = -72922 + 72732. Which is smaller: u or c?
c
Let i = -5059 + 5124. Which is bigger: i or -29?
i
Let m(y) = 120*y + 13079. Let g be m(-109). Is -1/13523 greater than or equal to g?
True
Suppose 0 = 14*z - 17*z. Suppose z = 5*m + 5*k - 55, -2*m + 2*k + 22 = -0*k. Let q be (-2)/m - (-30)/165. Do 0 and q have the same value?
True
Suppose 4*m + t - 350 = 225, 131 = m - 4*t. Which is greater: 62 or m?
m
Let m be (48/(-12 - -6) - 0) + 8. Are m and 6/973 nonequal?
True
Let o(h) = 7*h**2 - h + 1. Let d be o(-2). Let f = 83 - d. Let t be (-4)/18 - f/(-180). Is -1 != t?
True
Let u be 4 + 0/(1 + 0) - (-9438)/66. Is u at least as big as 159?
False
Let f be 1 + (-30)/(-34) - 2. Suppose -16*o = -19*o + 414. Let h be o/276 + 2/(-4)*-1. Is f < h?
True
Suppose 0 = 2*n + 10, -2*k + 0*k - 5*n = 33. Let l be 6/(-56)*k + 386/(-35). Which is smaller: -12 or l?
-12
Let x(w) = 7*w - w**3 + 3 + 3 - w**2 - 4*w**3. Let r(p) = 18*p + 430. Let n be r(-24). Let i be x(n). Is 30 < i?
False
Let f = -129 + 125. Let r = 68 + -67.67. Let u = r - 0.23. Which is greater: f or u?
u
Let l(i) = -i - 13. Suppose 3*s = -19 - 8. Let u be l(s). Let p be (-6)/((-168)/(-91) + u/(-26)). Does p = -11?
False
Suppose 3*v + 388 = -v. Suppose -433*o - 1261 = -420*o. Is v at most as big as o?
True
Suppose 0 = -2*g - 0*g - 90. Suppose -72 = -5*z + 148. Let r = g + z. Is 1/17 equal to r?
False
Let w be 1620/(-55) - (-30)/(-55). Let d be (w/(-2))/(3/72*8). Are d and 43 equal?
False
Let x be (1*-6 - -4) + 2. Suppose -3*n + 57 = -0*n. Let r be n/(-21) + (-7 - -8). Is r < x?
False
Let j(b) = b**2 - b + 4. Let r be j(-2). Suppose -2*g + 5*x - 17 = 0, r*g + 4*x = 8*g + 10. Is g equal to 5/12?
False
Suppose 52 = 36*u - 34*u. Let z be -4 - ((-2)/(-4))/(u/(-260)). Which is smaller: z or 4/239?
4/239
Let t be 39/(-26)*16/(-90). Let i = 213 - 3194/15. Let f = i + t. Which is smaller: f or 4.1?
f
Let p = -4293 - -4292. Is 1/2111 less than p?
False
Suppose -2*v - 3*v + 5 = 0. Suppose -3*a + 4*m - 94 = 2*a, 2*a + 34 = -2*m. Let z be (-4)/a*63/24. Is z bigger than v?
False
Let c be 467 + -489 + -629*2. Are -5 and c unequal?
True
Suppose 4*h - 26 = -2*l, 25*l = 30*l - 2*h - 17. Which is smaller: l or 2?
2
Suppose 2255 = 13*g - 4765. Suppose 26*i - 6*i = -g. Let w be (0 - i) + 0 + -5. Which is bigger: 21 or w?
w
Suppose 5*b - 3 = 4*b. Suppose -2*x - 7 = b. Let t = 48 - 52. Is t >= x?
True
Suppose -3*v + 3*k - 2 = 1, 2*v + 5*k = 5. Suppose v = 5*g - 5, -7*g + 5*g + 102 = -4*f. Which is bigger: f or -1/7?
-1/7
Suppose 3*t - w + 6620 = 4*w, 2*t - w + 4404 = 0. Let u be 96/(-10)*t/30. Let d = 19004/27 - u. Which is bigger: d or 0?
0
Suppose 0 = 10*s + 6 - 26. Let w be -2 - (1/s)/(13/(-26)). Let v be 0/(2/1*1/w). Which is smaller: v