r z?
c
Let h(f) = 19*f**2 - f + 2. Let i be h(-2). Suppose 3*m + m = i. Are m and 18 nonequal?
True
Let b be 8 + (-5)/10*2. Suppose -b*k + 80 = -2*k. Is 16 < k?
False
Let l be 1/(-5) - (-190)/(-50). Is 1 at most as big as l?
False
Suppose -2*v = 5*i + 3*v - 25, 0 = 3*i + v - 5. Let j = -51 + 43. Let g be 6/(-11*12/j). Is i smaller than g?
True
Suppose -223*h = -219*h. Is h greater than -10/149?
True
Let r = -172 + 90. Let i be 15/(-10) + (-119)/r. Which is smaller: -1 or i?
-1
Let i = 36/5 + -4. Which is greater: 3 or i?
i
Suppose 2*i = 2*g - 58, 2*i + 2*g - g + 55 = 0. Let q = i - -26. Which is bigger: 0 or q?
0
Suppose 3*v + 23 = -5*n + n, 3*n + 20 = -5*v. Is -3/232 at least as big as v?
True
Let v = -288 + 283. Is -37/7 < v?
True
Let x = -298096/10857 + 302/11. Which is smaller: 0 or x?
x
Suppose 5*d - 197 = -4*q, -2*q = 5*d - 193 + 2. Let w = 43 - d. Is w smaller than 5?
False
Let b(u) = -3*u - 44. Let k be b(-14). Are k and 0.099 unequal?
True
Let f = 7.59 + 4.41. Let n = 93.1 + -89. Let b = n - 4. Which is greater: f or b?
f
Let a(n) = n**2 - 8*n - 14. Let s be a(-2). Is s at least 23/4?
True
Let t = -83 + 83.3. Let j = 1.7 + t. Which is greater: -1 or j?
j
Let j = 5876/105 - 56. Let n = j + -131/105. Do n and 0.1 have different values?
True
Let o be (-2)/7 - (-40)/(-7). Let y be 30/135 + 1454/18. Let m = y - 87. Is o smaller than m?
False
Suppose -2*j + 1 + 5 = a, 0 = 2*a - 5*j - 12. Suppose 5*m + 42 = a*m. Suppose -7*b - 18 = o - 4*b, -5*b - m = 3*o. Which is bigger: -10 or o?
o
Let x be 1/2 + 15*(-2)/(-12). Suppose -d - 3*z = z - 18, x*z - 11 = -2*d. Is d at most as big as 3?
True
Let x = -1.44 + 0.8. Let h = x + -76.36. Which is smaller: h or 0.1?
h
Suppose 6 = -29*b + 23*b. Is b < -2/89?
True
Let b = 268019 - 57623969/215. Let d = -6/43 + b. Let o = -2/205 + 217/1230. Which is smaller: o or d?
o
Let c be (-33480)/(-162) + (0 - (-4)/3). Which is bigger: 209 or c?
209
Let a = 3.5 - 1.73. Which is greater: 3 or a?
3
Let q = 8714379/41 + -1642159404/7831. Let l = 2846 - q. Let g = l + -399/3247. Which is smaller: 1 or g?
g
Let o = 1.5 + -1.6. Suppose 0 = -j + 3*j - 6. Which is greater: o or j?
j
Suppose -6*a + 7*a - 15 = 4*z, -5*z = -4*a + 16. Which is greater: -5/2 or z?
-5/2
Let y = 29 - 26. Suppose 3*f + 25 = -2*f - 5*t, -22 = 4*f + y*t. Are f and -7 unequal?
False
Suppose 3*u = -36 + 63. Is -2 < u?
True
Let c be (10/(-8))/(63/(-56) - -1). Let p be (-1)/2*(-5)/c. Is p less than or equal to 25?
True
Let a = 326 - 328. Let f = 23 + -27. Does f = a?
False
Let u(j) = -j**3 - 8*j**2 - j + 4. Let z be u(-8). Suppose -8*c = -9*c - z. Let i(h) = -12*h**2 - 1. Let t be i(1). Which is greater: t or c?
c
Let l be (-15)/(-5) - (9/12 + 1). Let a = l + -23/12. Which is greater: -12 or a?
a
Let u = -147 + 84. Let q = u - -62.7. Let x(h) = -h. Let i be x(0). Which is greater: i or q?
i
Let u be 4 + (208/(-28) - -3). Let a = 0.31 - 0.01. Let k = 0.5 - a. Which is bigger: k or u?
k
Let j be -12 - 1 - (-4)/(-14). Let r = j - -444/35. Is -5 >= r?
False
Let d = 0.268 - -3.732. Which is bigger: d or -2?
d
Suppose -5*n - 3*h = -7*n - 800, 2*n - h = -800. Which is greater: n or -399?
-399
Suppose -5*p = -12 - 3, 5*n + 5*p = 35. Suppose 0 = -k + 3 - n. Let f = 1/9 + -68/45. Which is smaller: k or f?
f
Let f be 62 - (-3 - -3 - -2). Suppose -u + f = 5*u. Which is smaller: 12 or u?
u
Suppose 2*r + 2*f - 502 = -3*f, f + 1004 = 4*r. Is 1 greater than r?
False
Suppose -14*c - 2 = -16*c. Let u be (-238)/(-204) - c*(-1)/(-2). Which is bigger: -0.02 or u?
u
Suppose 5*o = -3*r - 28, -5*o - 15 = -5*r + 5. Let a = -898.03 + 880. Let l = 18 + a. Which is smaller: r or l?
r
Let x be -6*(4 - 5) + -2. Let k be (2 - 1)/(x/(-56)). Is k bigger than -14?
False
Let q = 0.573 + -2.573. Is 23 <= q?
False
Let d be 1 + -326*(-3)/(-272). Let c = d + 25/17. Suppose 0 = 16*s + 5*s. Which is smaller: s or c?
c
Suppose 0 = 4*i - 5*i + 1. Let s(w) be the second derivative of 3*w**3/2 - w**2/2 - 2*w. Let l be s(i). Is 10 equal to l?
False
Let t(y) = 8*y + 17. Let l be t(-14). Let o = l + 89. Are o and 4 equal?
False
Let q be (-309)/(-495) - (-1)/(-5). Let m = q - 37/44. Is m smaller than 0?
True
Suppose 0 = 4*c - 10*u + 11*u + 3, 2*c - 3*u + 5 = 0. Is -1/993 equal to c?
False
Suppose -4*r - 2*l = -3 + 5, 3 = r + 4*l. Which is bigger: r or 19/60?
19/60
Let l be (6/(-4))/(61/42334). Are -1041 and l nonequal?
False
Let o be -1*9/(2 + (-14)/4). Let z be ((-9)/(-15) - 1)*25. Let w = o + z. Is -4 greater than w?
False
Let s(d) = 3*d**2 - 8*d + 13. Let b be s(10). Is 233 != b?
False
Let w(x) = -16*x**2 - 4*x + 4. Let y be w(-2). Let t = y + -10. Which is bigger: t or -61?
-61
Let z = 0.0601 + -0.0601. Which is greater: z or 84?
84
Let d(p) = -29*p - 1. Let q be d(2). Let w = q - -89. Let x = -59/2 + w. Which is greater: x or -4?
x
Let s = -11279/30090 + 22/59. Let o = s + -5/51. Which is bigger: -1 or o?
o
Let z be 1 - 33939/(-15) - 2/(-5). Let k = z + -110932/49. Is k not equal to 0?
True
Suppose 0 = 25*k - 22*k + 15. Is -1 at least as big as k?
True
Let i = 1741 - 865275/497. Do i and 1 have the same value?
False
Let y be ((-4)/9)/((-182)/39). Let q = -4/7 - y. Which is smaller: -6/23 or q?
q
Suppose -2*g + g + 4*l - 5 = 0, 0 = -5*g + 3*l - 42. Let u be ((-4)/(-6))/(g/(-27)). Suppose 5*q + u*r = -19, 0 = -4*q + 2*r - 8. Is -14/9 at least q?
True
Let v(w) = -w**2 + 2*w + 6. Let d be v(3). Suppose -3*u - 8 = d*h + 4, -4*u + 2*h + 8 = 0. Let a = -227/918 + 7/54. Is u less than a?
False
Let v(g) = 2*g - 9. Let x be v(6). Let u(l) = -l**2 + 10*l + 1. Let c be u(10). Suppose 0 = w - c + 3, -x*t = 2*w - 5. Which is smaller: t or -1?
-1
Let s = 235 + -235. Let k = 0.61 - 48.61. Is s >= k?
True
Suppose 2*k - 22 = -4*t, 3*t - 21 = -2*k - 0*t. Suppose f - k = -2*g - 2*f, 2*g - 13 = f. Let w(s) = s**2 + 7*s + 4. Let y be w(-7). Is y < g?
True
Let p(b) = -b**3 - 11*b**2 - 29*b - 40. Let h be p(-8). Which is smaller: h or -6/955?
-6/955
Let p be -3 - (-1)/(-5)*-23. Let z = -1.5 - 0.5. Let t = 2.1 + z. Which is bigger: p or t?
p
Suppose -n = -14*n + 4*n. Is -2/643 less than n?
True
Let h(o) be the first derivative of o**3/3 + 7*o**2/2 - 11*o + 5. Let f be h(-8). Let d be (-2)/(-4*f/30). Is -5 <= d?
True
Suppose a = 773 + 315. Do a and 1089 have the same value?
False
Let t = -37.8 + 43. Let c = t - 4.7. Which is smaller: 0.6 or c?
c
Let z(u) = 3*u**3 - 2*u - 2*u**2 - 3*u**2 - 5*u**3 - 1. Let s be z(-3). Suppose s = -4*h - 18. Is h at least -10?
True
Let g(r) = -r**3 + 75*r**2 - 72*r - 151. Let o be g(74). Let x be (3 + 0)*(-1 + 0). Is x greater than o?
False
Let z = 317864/125 - 2543. Let t = 1251/11375 + z. Let h = -192/455 + t. Which is smaller: h or -1?
-1
Let t(x) = -7*x - 1. Let h be t(-2). Let u = 15 - h. Do 0 and u have the same value?
False
Suppose 33 = 5*b - 10*b - 12. Suppose 0 = -2*y - 0*g - 5*g - 35, -3*y - 24 = -2*g. Which is smaller: y or b?
y
Let d = 27 + -33. Let v(l) = l**2 - 7. Let q be v(d). Is 29 > q?
False
Let c = -0.113 + 0.413. Which is smaller: c or 51?
c
Let c = 546339/31 - 17621. Let m = -4778/1705 + c. Is 0 equal to m?
False
Let h(g) = -g**3 + 3*g**2 + 3*g - 1. Suppose 3*r = -2*r + 20. Let l be h(r). Let j be ((-32)/20)/((-2)/l). Which is bigger: -1 or j?
-1
Let q = -350 - -349.91. Let l = -5/9 - -2/9. Is q at most as big as l?
False
Suppose 3*t - 3*h = -15, -2*h + 3*h = 2*t + 5. Let l = 7 + -5. Let p be 403/(-1443) + l/6. Is p smaller than t?
False
Let g be ((-44)/8)/(4/136). Let p = 1529/8 + g. Which is smaller: 4 or p?
4
Let d = -20.5 + 20.4. Which is bigger: 560 or d?
560
Suppose 4*w = -2*w - 6. Let s be (2 - (-1 + 2)) + w. Are 6/23 and s equal?
False
Let l be 1/((-1)/(-17)*1). Let i be 1/(-2)*(126 + -20). Let j = i + 69. Is j < l?
True
Let n be (5 + 0)*2/5. Suppose -n*w = -46 - 22. Suppose -5*r = -3*q + 36, 4*q - 5*r = w + 9. Which is smaller: 8 or q?
q
Let p = 5/19 - -77/285. Suppose -13*s + 16*s = 4*m - 17, 15 = 3*m. Does p = s?
False
Let v = 2462497/1432 + -44/179. Let i = v - 1361897/792. Let p = -7/11 - i. Which is smaller: 1 or p?
p
Let d be (-3 + 2)/((-2)/(-4)). Let j be d - -4*10/18. Suppose 26 - 21 = 5*n. Is n equal to j?
False
Let v be 10 - (-1 + (-6)/(-1)). Suppose 53 + 2 = -v*s. Which is bigger: s or -13?
s
Suppose -2*u + 2*k + 2 = 0, 0 = -3*u + k - 0 - 7. Let w