.77 - 2.9. Let u = b + 0.17. Let c = -0.01 - u. Are c and -1/4 non-equal?
True
Suppose u + 3*h - 11 = 0, -7*u + 3*u - h = 0. Which is bigger: 5/21 or u?
5/21
Let f be 286/143*(0 - 10/3). Is -7 < f?
True
Let i = 23 - 14. Let y = -1 + i. Let w = -14 + y. Which is smaller: -0.1 or w?
w
Let t be (-38)/(-30) + 3*(-4)/18. Let u be 3 - (0 + 6 + -3). Suppose -p - p = u. Which is greater: p or t?
t
Suppose 2*b + 18 = -2*f, -2*b + f - 17 = -b. Are b and -14 nonequal?
True
Let j = 519/7 + -38939/525. Suppose t = 5*q + 1, -3*t - 4 = q + 9. Which is smaller: q or j?
q
Suppose -a = 2*z - 82, 4*a - 206 = -3*z + 117. Suppose -2*d = 5*k + 102, 0 = -2*d + 2*k - a - 22. Let j be 3 + 1/(15/d). Which is smaller: j or -1?
-1
Let u(o) = o**3 - 2*o**2 - 7*o + 13. Let w be u(3). Is w less than -1/44?
False
Suppose -2 = -x - l, -3*x - 2*l = -6*l + 8. Let p = 50323 - 2616881/52. Let z = -18/13 - p. Which is smaller: x or z?
x
Let q(b) = 4*b + 29. Let u be q(-6). Suppose u*a = 2*t + 4, 0*t = -a - 4*t + 14. Which is smaller: a or 11/6?
11/6
Let f be (6/4)/((-952)/136). Let x be 22/24 - 2/3. Which is bigger: x or f?
x
Let y be -8 - (-13)/(351/(-2628)). Which is bigger: y or -106?
y
Let l be (-2)/21 + 20/(-42). Are l and 36/7 unequal?
True
Suppose 7*a + 30 - 2 = 0. Let c = a - -13. Let j be (-6)/8*3/c. Which is smaller: 1 or j?
j
Let j = 34.6 - 48.6. Which is smaller: 2/3 or j?
j
Suppose -2*n + 3*t - 20 = -3*n, 0 = 4*n + 5*t - 94. Let f = n - 13. Let d = f - 20. Which is bigger: -2 or d?
-2
Let k = -77 + 192. Let g = -114.99 + k. Is -3 <= g?
True
Let y(v) = 114*v**2 + 9 + 12*v - v**3 - 22 - 126*v**2. Let m be y(-13). Let z be m/((-1)/(4 + -3)). Is -2/19 < z?
True
Let a = 5 + -1. Suppose -a*z = 2*z + 12. Let m be (z - -5)/(5/10). Is m greater than or equal to 2/9?
True
Let o = -278 - -301. Does 21 = o?
False
Let f = 113 - 74. Let i = f + -111. Let b = i - -1366/19. Which is greater: -0.1 or b?
-0.1
Suppose -6 = -5*t + 4*n + 6, 2*t - 4*n = 12. Suppose 30 = 5*q - t*q. Which is bigger: q or 25/4?
25/4
Let v = 6.51 + -26.25. Let a = -20 - v. Which is smaller: a or 1?
a
Let t be -274*27/12*(-8)/12. Which is greater: 413 or t?
413
Let j(d) = 191*d**2 - 27*d + 6. Let y be j(-2). Which is smaller: 825 or y?
y
Let w be -2 + 69/(-4) + 0. Let u = -617515/36 - -17134. Let i = w - u. Which is bigger: 1 or i?
1
Let r = -43 + 8. Let s be (-2)/(-5) - (-14)/r. Suppose 6*y - 5*y + 6 = s. Are -6 and y nonequal?
False
Let t = -125/77 + 12/7. Let j(v) = v**2 - 4*v + 4. Let i be j(3). Which is smaller: t or i?
t
Let y be 26/10 - 3 - 1416/60. Suppose 0*v = -3*m - 3*v - 9, -5*m - 5 = 3*v. Does y = m?
False
Let y be (-6)/(-4)*(-6)/1. Let v = -16 + 19. Suppose j - 6*r = -r - 13, -3*r = -v. Which is smaller: j or y?
y
Suppose c - 15 = -4*q, 3*q + 3*c = -c - 5. Suppose q*k + 3*b + 4 = 29, -3*k = -b - 1. Suppose -k*t - 3*t + 40 = 0. Which is greater: t or 15/2?
t
Suppose -4*a + 0 - 4 = 0, 0 = -2*m - 3*a + 23. Suppose 3 + 2 = q. Suppose q*n + 26 = 7*n. Is m > n?
False
Let b = 790 + -796. Which is smaller: -5 or b?
b
Let u(o) = 7*o**3 - o**2 + o - 1. Let l be u(1). Suppose -l*r = -r - 30. Let i be 30/55*33 + -16. Are i and r non-equal?
True
Let p = 210 - 210. Does p = 588?
False
Let u = 41 + -27. Let j = u + -13. Suppose a + j - 21 = 5*n, a = n. Are -6 and a unequal?
True
Let z = -0.904 - -10.994. Let f = -10 + z. Let x = -5.09 + f. Which is smaller: x or 1/3?
x
Let b = -42 + 37. Let r = b - -3. Is r at least as big as -1/4?
False
Let a = -137903231/171137 + 42708/53. Let s = a - -2434513/29061. Let l = 84 - s. Which is smaller: -0.07 or l?
-0.07
Suppose -7*y + 7 = -28. Suppose 220 = -0*s - y*s. Which is smaller: -43 or s?
s
Let c = -483566/177 - -2732. Let k = -124/531 - c. Is k greater than 8?
False
Let t(l) = 2*l - 2*l - 4*l**2 + 5*l - l**3 + 4. Let m be t(-5). Suppose m*u + 2 = 3*r + 5, -5*r = -3*u - 6. Is 4 at least r?
True
Suppose 2 = z + 1. Let n be (-48)/(-30) - z - 1/10. Let k = -0.6 - 0.2. Which is smaller: n or k?
k
Let l = 31 + -31. Suppose c - 14 - 4 = l. Which is smaller: c or 16?
16
Let v = -101 + 126. Suppose 4*o - 3*o - b = -3, 5*o = -5*b + v. Which is greater: o or -1/50?
o
Let h(d) = 9*d + 102. Let o be h(-6). Which is smaller: o or 143/3?
143/3
Let x be 126/(-294) + (-10)/14*-2. Let m = -7 + 12. Let i be m/(-20) + 5/4. Is x less than i?
False
Let m = 0.242 - 1.242. Which is smaller: m or 127?
m
Suppose -1 = 5*c - 2*l - 121, -24 = -c - 4*l. Suppose -19*p + 13*p + 138 = 0. Which is greater: c or p?
c
Let x = 1245994/417 - 2988. Is x <= 1?
True
Let a(c) = -80*c**3 - c**2 + 3*c - 1. Let y be a(1). Is y greater than -78?
False
Let s(l) = -l - 46. Let d be s(-29). Is d < 7?
True
Let l(x) = -3*x - 33. Let h be l(-8). Let t be (6/(-81))/((-84)/h). Is t not equal to 1?
True
Suppose 4*l + 11 = -2*f - 9, 2*f = -5*l - 24. Let d(g) = -g**3 + 4*g**2 + 5*g + 2. Let s be d(5). Are l and s non-equal?
True
Let z(r) = -11*r**2 - r. Let n(u) = -23*u**2 - 3*u. Let m(l) = -2*n(l) + 5*z(l). Let s = 0 + -1. Let p be m(s). Is -10 != p?
False
Let w = -497 + 1989/4. Does -255 = w?
False
Let b = -1064 - -1415. Does b = 352?
False
Suppose -5*d - 2*n - 5 = 0, 0 = -6*d + 4*d - 5*n - 2. Let b be 4/2*d/(-13). Let u(s) = s**2 + 6*s. Let r be u(-6). Which is smaller: r or b?
r
Suppose -3*v + 24 = -2*h + 15, -4*v + 13 = -3*h. Do -30/11 and h have different values?
True
Let b = -3/938 - -739/84420. Which is greater: -1 or b?
b
Suppose -1731 - 458 = -11*j. Is j at most 199?
True
Let l = -5.9919 + 0.0119. Let j = l + 6. Let a = j - 0.12. Which is bigger: -2/7 or a?
a
Let d = -4769 - -3401. Which is smaller: -1369 or d?
-1369
Let f = -12 + 7. Let a = f - -4. Suppose 4*z - 4 = 5*z. Is a < z?
False
Let k(a) = a**3 + 14*a**2 + 13*a - 10. Let b be k(-13). Let z(m) = m**2 + 5*m + 4. Let v be z(b). Do 53 and v have the same value?
False
Let p = 95 - 89. Let g = p - 19. Which is smaller: -10 or g?
g
Suppose 4 = -2*l, -b - 2*l = 3*l + 12. Is -8/15 <= b?
False
Let n = -2/2905817 - -485272559/1627257520. Let s = -1/80 + n. Which is bigger: 1 or s?
1
Let w(v) = v**3 + 17*v**2 + v + 21. Let n be w(-17). Suppose n*y + 155 = -y. Let h = 32 + y. Is h not equal to 8/9?
True
Let l = 0.0292 + -0.0292. Let z = 22.13 + -22. Let b = z - -5.87. Which is smaller: b or l?
l
Let n be 102/(-68)*(-4)/(-6). Is n at least -10/107?
False
Suppose -40*o + 44*o = 4880. Is -1 greater than or equal to o?
False
Let w be (20 + 3306/(-171))*(0 + (-7)/2). Let s = -4 + 1. Which is smaller: s or w?
s
Suppose -52*g - 534 = 38. Are -4 and g non-equal?
True
Suppose 2*n = -10, -4*t + 4*n + 23 = 123. Let f = 32 + -61. Which is bigger: t or f?
f
Let c be 3*-1 + (-4 - -2) + 6. Which is bigger: 12/83 or c?
c
Suppose 4*y + 5 = 2*a + 27, 5*a = 2*y - 31. Suppose y*x = -2*x - 5*v + 5, -4*v = 8. Let j = -1 + 3. Which is smaller: x or j?
j
Let q = 183 - 183. Which is greater: q or 8/7?
8/7
Let o = 181 + -181. Is o >= 65?
False
Suppose 0 = -6*j + j + 3*m + 15, j + 3*m = -15. Let a be -3 + 35/(-10) + j. Is -8 not equal to a?
True
Suppose -15 = -5*f, 5*f = -5*a + 556 + 459. Is 1 smaller than a?
True
Let y be 81/21 + (-2)/(-14). Let g(q) = 3*q**2 + q**3 + 1 + 0*q**2 - 3 - y*q**2. Let z be g(2). Is 3 less than z?
False
Let n(z) = z**3 + 4*z**2 + 2*z - 3. Let m be n(-4). Are -7 and m non-equal?
True
Let c(r) = r - 12. Let q be c(8). Let t be (-5)/q + (-258)/(-24). Is t <= 12?
True
Let r = 12 - 10. Let p = -15 - -12. Let t = p + r. Is t at least as big as -8?
True
Suppose -13*u - 2668 = 33*u. Does -58 = u?
True
Let g be -4 + (0 - 52)/2. Let x = -61/2 - g. Is 1 not equal to x?
True
Let c = -43 + 59. Let h(o) = o**3 - 17*o**2 + 16*o + 14. Let w be h(c). Does w = 16?
False
Suppose -2*v - 3*m + 16 = -23, -66 = -3*v - 3*m. Suppose -12*z = -3*z - v. Let u = 33/2 + -16. Is u less than z?
True
Let v be 0/(4/5 - (-18)/90). Which is greater: -13 or v?
v
Let n = -449 + 405. Which is bigger: n or -298/7?
-298/7
Let n(b) = b**2 + 14*b + 15. Let t be n(-12). Let c be (-752)/64 - (-2)/(-8). Let a be (-212)/240 + t/c. Which is bigger: a or -1?
a
Let c(y) = -y**3 + y**2 - y + 9. Let j be c(0). Suppose -42 = -5*f - v, 0 = -4*v + 27 + 1. Which is greater: f or j?
j
Let b = 7014 + -7019. Let m(t) = -t**3 + 4*t**2 - 5*t + 6. Let u be m(6). Let o = u + 478/5. Which is greater: b or o?
o
Let c = -2314 +