. Let r be 0*(0 + 2*2/8). Let g be i(r). Is q <= g?
False
Let t = -403 - -400. Let w = 6 + -3. Let q = t - w. Is q at least as big as 2/7?
False
Suppose w + 2 = 2. Suppose -16 = 2*i - 6, -5*i - 17 = 4*j. Let d be 81/(-15) + j + 3. Is w < d?
False
Let t = 8.7 + -9.33. Let l = t + -9.37. Let q = 0 + 1. Is l equal to q?
False
Let x = 313/7452 + -5/92. Is x smaller than 1?
True
Suppose 0*r + 6 = 3*r. Let l be 46/20 - r/4. Let y = 55 + -52. Do y and l have different values?
True
Suppose 0*s + 3*u + 17 = s, 5*u = -2*s - 21. Is s at least -7/2?
True
Suppose -2*k = 5*q - 0*q - 13, 0 = 2*k - 2*q + 8. Is k less than -2/297?
True
Let a(v) = 69*v - 277. Let f be a(4). Which is smaller: -2/4613 or f?
f
Suppose -l + 2*r = 15, -22 = -4*r - 2. Let d be ((-30)/(-4))/l*2. Let i(s) = -s**3 - 2*s**2 + 4*s + 3. Let z be i(d). Do 0 and z have different values?
False
Suppose 9*a = 3*a - 24. Let y be a/10*(-13 - -3). Which is smaller: y or 0?
0
Let i(t) = -t**3 + 14*t**2 + 19*t - 32. Let m be i(15). Suppose 0 = -4*d - 4*j + 2*j + 18, 0 = -4*d - 4*j + m. Is 20/9 greater than d?
True
Let b = -80 + 157. Which is smaller: b or 76?
76
Suppose 0 = 2*v + 5*d + 25, 4*v + 5*d + 20 = d. Let a be v + ((-1)/(-15))/(6/70). Is 0 less than or equal to a?
True
Suppose 102 = -10*m - 598. Let r be 13 - 10 - m/(-23). Are 1 and r equal?
False
Let j be (-2 + 6 - -1)/(19/(-38)). Is -8 less than or equal to j?
False
Let k(o) = -o + 5. Let f be 310/(-14) + 4/28. Let b = f - -31. Let a be k(b). Is a bigger than -4?
False
Suppose 3*n + 267 - 1068 = 0. Let l = n + -5072/19. Let u = 3 + -4. Which is greater: u or l?
l
Let k = -155.9 - -163. Let a = k - 5.1. Which is greater: -26 or a?
a
Let k = 7/95 - 9/19. Let g = 101 + -100.902. Let v = g - -1.902. Is v > k?
True
Let x = 270 - 180. Suppose 13*h - x = 3*h. Is h smaller than 10?
True
Suppose -19 = s + 3*b, 5*s - 2*b - 3*b + 55 = 0. Let i be 6/14 + 1760/(-56). Let p = i - -19. Is p at least s?
True
Let a be -194*2/44 - (-4)/(-22). Let t be 10/a*336/35. Which is bigger: t or -11?
t
Let d(w) = -w**3 - 3*w + 1. Let x be d(0). Which is bigger: 0.132 or x?
x
Let v = 81 - 80.626. Which is smaller: 1/4 or v?
1/4
Suppose -8*u - 21 - 43 = 0. Which is smaller: 2 or u?
u
Suppose 5*c + 5 = -5*r, 4*r + 0*r - 2*c = 20. Let g be (r + 3)*12/9. Suppose 4*n = -20, -2*n + 6 = 3*p - g. Which is greater: p or 9?
9
Suppose 0*u + 2*u - 3*q + 61 = 0, -2*u + q = 71. Are -39 and u equal?
False
Suppose 5*k = -3*l - 4, -4 = 4*k + 2*l - 2. Let w be -3 + (199/4 - k). Let a = 46 - w. Which is greater: -4 or a?
a
Let v be (-40)/(-30)*(-297)/(-18). Is v equal to 43?
False
Let u be (-3)/12 - (-17)/4. Let l(x) = -3*x + 10. Let h be l(u). Let d be 180/27 - h/(-3). Are d and 7 equal?
False
Suppose -4*f + 3 = -3*y + 2, 6 = 3*y + 3*f. Suppose -y = 18*m - 19*m. Suppose l - 13 + m = 0. Is l at most 12?
True
Let w = 21 + -11. Let t = w + -9.5. Let s = t - -0.5. Is s equal to 0.03?
False
Let g = -36 - -40. Let m = 1 + 4. Let p = m - g. Which is bigger: 0.02 or p?
p
Let b(f) be the third derivative of 0*f + 1/24*f**4 + 0 + 3/2*f**3 - 6*f**2. Let g be b(-7). Is g bigger than 5/4?
True
Let d = 0.8 + 0.2. Let u = -0.74 - 0.36. Let x = d + u. Which is smaller: x or -3?
-3
Suppose -2*h - 2*a = 826, 9*a - 1650 = 4*h + 14*a. Is -416 at least h?
False
Let y be (1 + 1)*((-90)/36)/5. Which is smaller: y or -1.11?
-1.11
Let x = 130 - 779/6. Let d = 51/7 - 313/42. Which is smaller: d or x?
d
Let o(h) = h**2 + 4*h - 8. Let n(d) = d**2 + 3*d - 8. Let f(m) = -5*n(m) + 4*o(m). Let b be f(0). Which is smaller: 6 or b?
6
Let q = -1492 + 461029/309. Which is bigger: 0 or q?
q
Suppose 0 = 4*m - 0*m + 8. Let b be ((-1)/(-3))/(m/102). Let y = 16 + b. Is 1/16 at least as big as y?
True
Let a = -1585 - -891. Do a and -694 have the same value?
True
Let z(c) = -c**3 + 4*c**2 + 6*c - 5. Let b be z(5). Let j be (-5 - 132/(-14)) + -2 + -1. Which is greater: j or b?
j
Let u be (-5640)/(-18) + (-4)/12. Which is smaller: 312 or u?
312
Let n = 34 + -32. Let g be n/(3 + 1)*-4. Let p = -10 - -6. Are p and g equal?
False
Let g = 22 + -10. Suppose -4*f = 3*r - 16, 2*r + 0*r = -4*f + g. Which is smaller: f or -1?
-1
Let r(z) = -z**3 - 5*z**2 - 6*z - 4. Suppose 4 = 20*n - 21*n. Let y be r(n). Which is greater: -1 or y?
y
Let c(f) = f + 7. Let d be c(-5). Suppose -35 = 5*h + 2*u, 5*h = d*u - u - 50. Which is bigger: h or -10?
h
Suppose -2*i = -0*i + 2. Let l = -16 - -14. Which is smaller: l or i?
l
Let l = 954 + -20987/22. Which is greater: l or -1?
l
Let d = 2 - 0. Let q = 0.205 - 0.245. Which is smaller: q or d?
q
Let v = 57 - 54. Suppose -10 = -v*s - 31. Is -5 bigger than s?
True
Let x = 861.8 + -819. Does -0.1 = x?
False
Suppose 3*b - 31 = -y, 0 = -2*y + b - 23 + 50. Which is smaller: 13 or y?
13
Let l be (3/10*2)/((-8)/(-10)). Let a(m) = -8*m**2 + 7*m - 1. Let i(g) = -7*g**2 + 6*g - 1. Let y(b) = 6*a(b) - 7*i(b). Let j be y(1). Are l and j nonequal?
True
Let k(h) = h + 47. Let c be k(0). Is 48 bigger than c?
True
Let f be 22/10 + 3/(-15). Suppose 4*d = f*z + 10, -4*z + 2*d + 4 = -0*d. Suppose 11*g - 27 - 6 = 0. Is g < z?
False
Let k(c) = -c**2 - 8*c - 12. Let v be k(-6). Let d = 1573/5 - 316. Is d bigger than v?
False
Let x(z) = -5*z**2 + 17*z - 66. Let l be x(6). Does -146 = l?
False
Let i be 5687/13724 + (-1)/4. Which is smaller: i or 0?
0
Let g = -0.8 + -0.2. Let b = g + 1. Let o be ((-282)/423)/(4/(-18)). Which is bigger: b or o?
o
Let o = 1889 + -1893. Which is smaller: -5/34 or o?
o
Let k = -8 - -9. Suppose 2*b + 4*g + 12 = 0, 24 = b - 5*g + g. Suppose b*z - 16 = -4*v, v - 3 - 3 = -2*z. Which is smaller: k or v?
k
Suppose 5*g - 144 = -2*i, -3*i = 3*g - 2*g - 242. Is i <= 82?
True
Let b = -50 + 3. Let f = b - -47. Let u be ((-1)/(-2))/(10/4). Are f and u unequal?
True
Let j be ((-273)/(-12))/(-13)*4. Is -3 bigger than j?
True
Let w be (-13)/(-4)*(15 + -11). Let z = -7 + w. Suppose -5*s + 4*p - 26 = 0, 0 = -s - 3*p + 4 + z. Is s <= -4?
False
Let t = -855 + 431. Let k = -8054/19 - t. Let p = 0 - 0. Which is smaller: k or p?
p
Suppose 16*q - 1247 - 513 = 0. Suppose -q = 4*k - a, -20 = k - 5*a + a. Is k at most -27?
True
Let i = 0.003 + 4.197. Let k = -1.2 + i. Let b = 0.41 - 0.45. Which is smaller: k or b?
b
Let a = 12 - 63/5. Let u = -45.3 + 44.3. Which is greater: u or a?
a
Let d be (1 - 5)*(-329)/14. Is d != 93?
True
Suppose 16 = 4*h + 52. Let s(o) = -o**2 - 10*o - 1. Let y be s(h). Let u = -105/4 - -26. Which is smaller: y or u?
u
Suppose -6 = -3*x + 5*a, 4*x - 4 = 4*a + 4. Suppose -f = 3 + x. Let q = 0.1 + -0.1. Which is smaller: f or q?
f
Let r = -633 + 562. Are -73 and r non-equal?
True
Suppose 0*n - l = -2*n + 19, 36 = 3*n + l. Suppose -a - 1 = 0, w = 3*a - 1 + 10. Let k(h) = h**3 - 7*h**2 + 4*h + 23. Let s be k(w). Is s not equal to n?
False
Let r = 6344276/661 + -9598. Let h = 23516/3207 + -51559249/6359481. Let z = h + r. Is 0 at least z?
True
Let o(r) = r**2 + 24*r + 3. Let x be o(-16). Let j be (16/36)/2 - x/(-360). Which is smaller: j or -0.2?
-0.2
Suppose 0 = 4*s + b - 670, -2*b - 3*b = -s + 157. Which is smaller: 164 or s?
164
Suppose 0 = 2*c + 4*v - 18, 5*c + 27*v = 29*v + 33. Which is smaller: 6 or c?
6
Let m = 0.15 + 0. Let p = m - -2.45. Let i = 2.2 - p. Which is bigger: i or 3?
3
Suppose l + 5 = -4*k, 2*l - 12 = -2*k - 4. Let t be (l/(-21) - (-182)/(-12))*-2. Which is smaller: t or 32?
t
Let u = -30 - -29.2. Let j = 1 + u. Which is greater: 11 or j?
11
Let h = -7575 + 4158677/549. Which is smaller: 0 or h?
0
Let j = -63 - -90. Suppose 2*w = -5*o + j, -4*o + 17 = -3*w - 0. Let r be (-1)/1 - (-1 + w). Is r greater than or equal to 2/29?
False
Let v(g) = 117*g + 469. Let c be v(-4). Do -1/1610 and c have different values?
True
Let b = 25/116 + 1/29. Let l = 1343/37719 + 2/1397. Is b at least as big as l?
True
Let i be (-2115)/658 - 3/(-14). Let b be (2 + -2)/2 - -9. Which is smaller: i or b?
i
Let k = 618537/260 + -2379. Which is greater: k or -1?
k
Let n be (7 - 0)/((-7)/(-49)). Let z = n - 55. Does -6 = z?
True
Let r = -29458 - -29458. Let c = 3 + -2. Suppose j + 5*g = c, -j + 5*j = 4*g - 20. Is r at most as big as j?
False
Let u be (-183)/12*21/(-42). Is u at least as big as 0.1?
True
Let z be (12/15*4)/((-2)/5). Is z smaller than 3?
True
Let t = -553/2 + 278. Is -35 at least as big as t?
False
