be t(-2). Is b at least 1/15?
False
Suppose 3*d + j + 3 = 0, -5*j - 15 = -d - 2*d. Suppose 4*f + 48 = -d*f. Is -13 <= f?
True
Let v(f) = -7*f + 1. Let m(h) = 12*h - 3. Let d(w) = 6*m(w) + 10*v(w). Suppose k - 19 = c, 0*k - 5*c + 65 = 5*k. Let x be d(k). Does 24 = x?
True
Suppose -6*t = -8*t + 12. Let d be (-6)/(-12)*t - (-7)/(-2). Which is smaller: 0 or d?
d
Suppose -432 = -89*u + 93*u - 4*n, 5*n = -20. Which is smaller: -563/5 or u?
-563/5
Let l(t) = -t + 5. Let i be l(3). Suppose -3*n + v - 2 = i*v, 4*v = -3*n - 8. Which is bigger: n or 22?
22
Suppose 156 = 5*y + 181. Let q = -20224/9 - -2242. Which is smaller: y or q?
q
Let p = -42 - -45. Let d be (4/p*-1)/(40/(-1140)). Does 39 = d?
False
Let s be 11200/(-168) + 8/(-6). Which is bigger: s or 2?
2
Suppose -90 = -2*s + 5*s. Let y be 2/(-5)*s/12. Let t be 3/(9/(-4)) + 2. Which is greater: y or t?
y
Let g = -21342/721 + 2/3605. Which is bigger: -30 or g?
g
Suppose -z + 10 = -f + 1, 2*z = -5*f + 18. Suppose 0*i + z*i - 297 = 0. Is i less than 34?
True
Let v = 177 - 176. Is -3/245 < v?
True
Let y(z) be the third derivative of z**4/6 + 13*z**3/6 + 22*z**2. Let k be y(5). Is k < 34?
True
Let h = -677/7 - -236280/2443. Let v = -755/19893 + h. Which is smaller: 1 or v?
v
Let d = -34 + 36. Let a be (d - 0) + (-59)/31. Which is smaller: a or -1?
-1
Let v be 190/(-184) - (-2)/8. Let l = 12176 - 12176. Which is greater: v or l?
l
Let l = 6 + -6. Let h be 4/10 - (-80)/50. Let m be 1/h - (-10)/40. Which is smaller: l or m?
l
Let m = -33700 - -186259898/5527. Is 0 >= m?
True
Let j = 1 - 8. Let h = 18 + j. Let f = h + -7. Which is smaller: 1/5 or f?
1/5
Suppose 2*j + 3*r = 3*j - 2, 2*j = 2*r. Let t be 2 - j - (12 - 30). Which is smaller: t or 22?
t
Let m = -0.11 + -1.49. Let y = 0.8 + m. Let r = -0.7 - y. Is r at most as big as -0.07?
False
Let n = -0.157 + 0.357. Let f = 28 + -26.7. Which is smaller: n or f?
n
Let o = -38 - -44. Let q(h) = -h + 11. Let l be q(o). Which is smaller: l or 9?
l
Let q = 4221654/355 - 11892. Is -1 >= q?
False
Suppose 2*t = -2*j - 554, -2*t = -5*t + 2*j - 826. Which is smaller: t or 1?
t
Let k = 93 - 36. Which is bigger: 59 or k?
59
Let f be (1/(-21))/(2/(-2154)). Let y be (-51*2)/(-2)*1. Let l = f - y. Are l and -1 unequal?
True
Let p = -0.015 - 8.605. Let w = p + 8.7. Do w and 0 have different values?
True
Let s = 3 + 2. Suppose -c = s*c - 12. Let f be -4 + 4 + (-1)/c. Is 1/4 >= f?
True
Suppose -3*a - 21 = x - 4*x, 5*x - 15 = -5*a. Suppose 2*k = j + 4, -x*j - 13 = 3*k - 58. Let q be (6/(-45))/((-16)/j). Which is greater: q or -1?
q
Let r be (-2)/(-12) - 249/(-18). Let p = 10 - r. Suppose 4*u = -2*i, 3*i - 8 = -3*u + u. Which is smaller: p or u?
p
Suppose 0*n + 5 = -5*n. Let g be n + 5 + (-13)/3. Is g smaller than -5?
False
Suppose 32 = 2*t + 2. Suppose 3*z + t = 3. Is 3 > z?
True
Suppose -j + 4*j + 2*d = -2624, d = 2. Let k = -2677/3 - j. Let q = k - -16. Is 0 smaller than q?
False
Let j = 0.03 - -1.97. Let f be (5/2)/((-15)/30). Let k be ((-2)/55)/(1/f). Which is greater: j or k?
j
Suppose 0*k = -k. Suppose -5*d + k*q = 4*q - 45, d + q = 9. Let i = d + -8. Which is smaller: i or -1/11?
-1/11
Let s = -5.8 - -5.6. Which is greater: s or -2/11?
-2/11
Suppose -50*q + 74*q = -288. Which is greater: q or -13?
q
Let k be 1 - 3*(-5 + 3). Let o = -12 - k. Suppose 77 = -4*s - 5*z, -2*s - 31 = -2*z - 3*z. Which is smaller: s or o?
o
Suppose -d = -4*d - 33. Let f be (-60)/33 - (-2)/d. Let n = -30.4 + 30. Is n at least f?
True
Let z = -1153 - -1168. Are 97/7 and z non-equal?
True
Suppose -6 = v + 2*v - 3*b, 0 = 4*v + 3*b - 13. Is 1/157 greater than v?
False
Suppose -5*y - 280 = -p, p - 272 = y - 0*y. Suppose 0 = 2*m - 2*n + 3*n - 7, n - 25 = -5*m. Let t be (-1)/(-5) + m/p. Is t not equal to 1?
True
Let k = -49 - -57. Suppose 0 = 3*o + 2*d - 13, 3*o = d + d + 5. Suppose -l = 7 - o, 0 = -n + l + k. Which is bigger: 0 or n?
n
Let c = 6 + -3. Suppose 3 = c*a - 0. Let v = -1/184 + 751/2760. Is a at least as big as v?
True
Let m = -3136835/199 - -15763. Let t be 2*2/8*2. Which is smaller: t or m?
m
Suppose 3*t - 1 = -4*d + 2, 2*t + 5*d = 2. Do t and -1/1403 have the same value?
False
Suppose 4*i = -i + 20, 0 = -5*s + 2*i + 17. Is s at least 34?
False
Suppose -4*o + 6*o - 20 = 0. Suppose -2633 = -o*l + 2457. Let n = -10691/21 + l. Is -1 at least n?
False
Suppose 8 - 7 = u. Suppose -8 = -z + 6. Let m be z/(-4)*(-4)/10. Is m at most as big as u?
False
Let a be 50/2*(-19)/(-76). Which is smaller: -2 or a?
-2
Suppose 3*h + 12 = 9. Which is smaller: 25 or h?
h
Let p be (0/((-40)/(-8)))/(-3). Let v be 8/110*5/3. Let j = v + -19/66. Which is smaller: j or p?
j
Let n be -4 - (-1)/(1/(-40)). Let q = n - -175/4. Which is bigger: 4 or q?
4
Let i be 15/(-3)*(3 - -1136576). Let h = -106571330321/18753 - i. Let q = -1/329 - h. Does q = -1?
False
Suppose -3*z - 12 = z. Let v = z + 7. Suppose -5*h + 2 = -4*i, 0*h - 2*i + 2 = -v*h. Which is greater: -9/5 or h?
-9/5
Let r(g) = 10 + 2*g + 0*g - g**2 - g + 6*g. Let c be r(9). Which is bigger: c or 1?
1
Let j(m) = 5*m - 20*m + 14*m - 36. Let f be j(-9). Is -27 at least as big as f?
True
Let b = -1183 + 1183. Which is bigger: 5/316 or b?
5/316
Let f(w) = w**2 + 7*w - 11. Let g be f(-9). Suppose g*h = 5*h - 8. Is h less than or equal to -4?
True
Let i = 393 - 228. Which is bigger: i or 166?
166
Let d = -11 - -11. Let y = d + 1. Let v = 3 + -9. Is y less than v?
False
Let s be -11 - (-2 - (1 + -3)). Suppose 2*c - c + 34 = 0. Let f = c + 22. Which is smaller: s or f?
f
Let w = -1 + 0. Let l = 4 - -22. Let s = -26 + l. Is w bigger than s?
False
Let s be (-130)/(-3)*3*32/(-40). Is -104 at most s?
True
Let c = -1795/6 - -300. Let f(m) = -4*m - 7 + 8*m - 15*m**2 + 14*m**2 + 6*m. Let z be f(9). Is z > c?
True
Let l be (-9)/(-4) + (-1)/4*1. Suppose -12 = -l*o + 3*h, 7 = 5*o - 4*h - 9. Which is smaller: o or -1?
-1
Let p be 4 + (-3 - -2) + 12. Let z = p - 59/4. Are z and -1 equal?
False
Suppose -4*u + 2*z - 3*z - 72 = 0, 0 = -2*u - 4*z - 36. Is -89/5 bigger than u?
True
Suppose -g + 439 - 429 = 0. Is 70 != g?
True
Let l = 0.22 + -3.22. Let r = 1 - l. Is r at most 1/8?
False
Suppose -5*t + k = -59 - 134, 191 = 5*t - 2*k. Which is smaller: 40 or t?
t
Suppose 3*m - 8 = u, 3*u - 9 = -2*m - 0*m. Let o(a) = 13*a**2 + 139*a - 46. Let i be o(-11). Is u not equal to i?
True
Let x = 768 - 781.6. Which is smaller: x or -0.3?
x
Let u = 354.9 - 355. Is -228 > u?
False
Let y = -15.684 - -0.004. Let g = y - 0.32. Let f = -15 - g. Is f at most as big as 1?
True
Let d = 0.02 + -3.02. Let a = 3.2 + d. Let i be (28/112)/(15/12). Are a and i nonequal?
False
Suppose 2*l = -2*l - 16. Let r be -3*(59/(-15) - l). Is 0.3 at most as big as r?
False
Let r be (-20)/(-4) - (65 + 0). Is r >= -62?
True
Suppose -5*w + 46 = 2*s, w + 26 - 4 = 2*s. Let l = -21 + 37. Suppose -2*a - 2*t + l = 0, -a - 2*t = 3*t + 8. Which is smaller: s or a?
a
Let j = -474.2 + 364. Let u = j + 110. Is u bigger than -15?
True
Let t be (-234)/(-12) - 9/18. Which is bigger: -5 or t?
t
Let b(r) = -r**2 + 17*r + 13. Let v be b(18). Let w be v + 2 + 6/9*3. Which is greater: w or -1/28?
-1/28
Let r = -13/38 - 3/19. Let z = -2670 + 2663. Is z bigger than r?
False
Let n be 3/(-12) + (-21)/(-4). Suppose -n*t + 10*t - 5*z = 20, 4*t - z = 7. Suppose 0 = 7*k - 12 - 9. Is t greater than k?
False
Suppose -69*a = -67*a + 942. Which is bigger: a or -472?
a
Let w(b) = -b - 8. Let l be w(10). Let d be l*((-70)/(-60) - (-1)/(-2)). Is -53/5 less than d?
False
Let d(h) = 3*h**3 - 95*h**2 - 31*h - 44. Let b be d(32). Are -2/13 and b nonequal?
True
Let y be (-13)/(-20) - 8/32. Let b = -6 + 8. Suppose d = -b*d. Is y greater than or equal to d?
True
Suppose 62 = -x - y, x + 62 = 7*y - 6*y. Is x smaller than -2/23?
True
Suppose 227 - 230 = -r. Which is smaller: r or -62?
-62
Suppose 2*d = 7*d + 45. Let v = 11 + d. Let y be v*(3 + -2)/1. Is 3 equal to y?
False
Let l(f) = -f**2 + 15*f + 1. Let d = -23 + 90. Suppose 0 = 5*r - d - 8. Let n be l(r). Is n greater than 1/10?
True
Suppose 2*a + 8 = 10*a. Let k be 148/240 - (-4)/(-6). Is k at most a?
True
Suppose 3*k - 4*k = 4*y - 13, -3*k = 4*y - 7. Suppose -4*i + 5*v - 29 = 0, -7*v = y*i - 3*v + 20. Let w be ((-4)/129)/(i/(-9)). Which is smaller: w or 0?
w
Suppose 42*f = 43*f - 7. Let a(r) = -r + 3. Let w = -13