*n = -4*x - v, 1 = 2*x + 3*x - n. Are x and -2/45 equal?
False
Suppose -3*w - 3 = -12. Suppose -w*g - 2*f - 3 = f, 3*f + 9 = 3*g. Is 4/5 at most as big as g?
True
Let a(j) = 10*j**3. Let w be a(-1). Let k be 1 + -4 + 4 + (-10)/(-1). Let q = w + k. Is -3/14 less than q?
True
Let l be (12/15)/(((-56)/(-380))/7). Is l >= 37?
True
Let h = -0.867 - 0.133. Let u = -6 - -3. Does u = h?
False
Suppose -d + 3 = 2*d. Is 8/61 less than d?
True
Let n(a) = -a**2 - 10*a - 18. Let l(r) = -3*r - 2*r - 2*r**2 - 56 + r**2 + 62. Let x be l(-7). Let f be n(x). Is f equal to -16/7?
False
Let q = 1280 + -1280.3. Which is bigger: q or -2.13?
q
Let j(f) = 4*f**2 - 3*f - 19. Let v be j(-3). Which is bigger: 176/7 or v?
v
Let j = 112 - 69. Let a = -42 + j. Is -1.1 > a?
False
Let l = -0.25 - -0.9. Let u = l + -0.31. Which is greater: u or 0?
u
Let a = 4 + 10. Suppose 0*y - y = 0, -3*o = 2*y - 42. Is o at least as big as a?
True
Let b be -2*(2 + -112) - 2. Let t = b - 2400/11. Let n = 1.241 + -0.241. Is n <= t?
False
Suppose -19*z + 70 = -29*z. Which is bigger: -19/3 or z?
-19/3
Let a(p) = -71*p**3 - p**2 - 4*p + 5. Let l be a(2). Let d be 1225/l - (1*-3 - -1). Which is smaller: 0 or d?
d
Suppose -4*j - 2*g = -52, 2*j + 3*g - 25 = -3. Let z be 3 - 0 - (j + 1). Let r be 4/(-6) + 16/z. Which is greater: r or -1?
-1
Let s = -10.5 + 9.48. Let t = s + 1.12. Which is smaller: t or 35?
t
Suppose -5*x = -2*g - 29, x = 4*x - 4*g - 9. Let l(u) = 2*u**2 - 2*u - 258. Let j be l(-11). Which is smaller: x or j?
j
Let k be -3*-1*8/(-54). Is k <= 0?
True
Let j be (-14 - -15)*(-2 + (-392)/(-202)). Which is greater: -1 or j?
j
Suppose 2*l = -3*l - 5. Let u = -2 - l. Which is bigger: -3/26 or u?
-3/26
Let f = 20.5 + -15. Let n = f - 5.6. Is n at most as big as -0.094?
True
Let k = -1890 + 13187/7. Are k and -6 non-equal?
True
Let p be (-14)/(-4)*(-8)/14. Suppose -5 = -3*z + v, -v + 6*v = 20. Let b = z + -6. Which is greater: b or p?
p
Let h = -121 + 181. Let k be (9/h)/((-21)/14). Which is bigger: k or -6/5?
k
Suppose m = 3*m - 12. Let q(y) = -y**3 + 6*y**2 - y + 7. Let o be q(m). Let l be (-1*(-9)/6)/((-9)/(-6)). Is l > o?
False
Let k = 272 + -277. Which is smaller: 2/41 or k?
k
Suppose 7*w + 369 = -156. Let c = 153/2 + w. Which is bigger: -0.2 or c?
c
Let y = -429/7 - -61. Let f = -81 - -51. Let a = 33 + f. Do a and y have the same value?
False
Let f(c) = c**2 + 22*c + 69. Let a be f(-6). Which is smaller: a or -25?
a
Let c be -1 + (-1)/(-1)*(-5518)/(-31). Do c and 2/7 have the same value?
False
Let y be (-21)/18 + (1 + 1)/12. Do -2/63 and y have the same value?
False
Let u = -17 + 20. Let p = 1 - 1. Suppose -u*t + t = p. Is 2/7 less than or equal to t?
False
Let h be -2 - ((158 - 1) + -1 + 3). Let q be 4/10 - h/35. Is 2 >= q?
False
Let z = -662 - -1276. Is 613 less than z?
True
Suppose -1 = -2*b + 29. Let k be 4/(-12) + (-1)/b. Which is greater: 1 or k?
1
Let k = -85 + 75. Let f be 494/80 + -4 - 2/k. Is 2 at most as big as f?
True
Let o(z) = -z. Let h be o(-11). Let d = 5 - 49. Let a = -32 - d. Which is greater: h or a?
a
Let w = -3941 + 15561/4. Let p = w - -51. Is p equal to 1/10?
False
Let n = -50 + 49.75. Is -0.01 bigger than n?
True
Suppose -m + 1 = 5. Let t = m + 8. Suppose -3*n + t*i = 32, -n + 6*n + 36 = -2*i. Which is greater: -9 or n?
n
Let o(u) = -58*u + 80. Let m be o(-3). Is 252 > m?
False
Let k = 141.7 - 40.7. Do 0.1 and k have the same value?
False
Suppose -f - 1 = -5*p - 22, -p = -2*f - 3. Let z(r) = -3*r - 16. Let b be z(p). Which is smaller: 2/153 or b?
b
Let y be (-2)/(-42)*(53 - 2). Suppose -2*l = 3*b - 9, 2*b + l - 140 + 134 = 0. Which is bigger: y or b?
b
Let q be (4 - 7) + 1/(2979/8964). Is q at least as big as -1?
True
Suppose -8*n - x = -9*n + 1, -8 = 4*x. Which is smaller: n or -7/27?
n
Suppose 4*v + 44 = 4. Let g = v + 14. Do 6 and g have different values?
True
Let u = -327/133 - 450/19. Is -27 < u?
True
Suppose -2*d + 5*z - 92 = 3*z, -3*z = d + 66. Which is smaller: d or -6?
d
Let v(f) = f**3 - 7*f**2 + 4*f - 12. Let u be v(7). Which is greater: u or -8?
u
Suppose 2*v - 17 = 3*b, -v + 15*b = 17*b + 9. Which is smaller: v or -6/97?
-6/97
Let x(d) be the third derivative of -d**4/8 + 3*d**3 + 6*d**2. Let u be x(7). Let n = -0.6 + 2.6. Which is smaller: n or u?
u
Let t = -0.028 - 0.012. Let k = -2247/13 + 173. Is k smaller than t?
False
Let f(g) = 33*g**2 - 8*g + 5. Let h be f(-4). Is 566 not equal to h?
True
Let w(k) = k**2 - 6*k + 7. Let s be w(5). Let h = -794 - -3973/5. Is h smaller than s?
True
Let s = -84 - -593/7. Which is smaller: 0 or s?
0
Let c be (-1)/5 + 27/135. Is c greater than or equal to -20/41?
True
Let j be 10/40 - (-46)/8. Which is smaller: 13/2 or j?
j
Let w(v) = -25*v - 24. Let y = 1 - 9. Let l be w(y). Let k be 0 + -1 - (-208)/l. Which is smaller: -4 or k?
-4
Let h be 4/((-20)/(-12) + -2). Suppose 5*y - 4*y + 11 = 0. Let u = h - y. Which is greater: u or -1/6?
-1/6
Suppose -4*n + 53 + 23 = -3*u, 4*u + 93 = -3*n. Is u at most as big as -2?
True
Let q = 74490/229 + -144307641/444031. Let p = q + -1/277. Let g = -9656/29 - -333. Is g != p?
True
Let i(r) = 2*r**2 + 30*r - 8. Let h be i(-16). Let q = 25 - h. Let k = -1/59 - -68/531. Which is bigger: k or q?
q
Let w = 166 + -245. Let k be 2/((-3)/(-79)*(-4)/6). Is k at least w?
True
Let h be ((-10)/(-25))/((-1)/(-25)). Suppose 3*p = 2*i + 4, -5*i = 5*p - h - 5. Suppose -3*d + g + 27 = 0, g = p - 5. Is 9 not equal to d?
True
Let v = -263 - -262.3. Let j(h) = -10*h**2 - h. Let c be j(-4). Let k = c - -1094/7. Which is greater: k or v?
k
Suppose -30*x - 440 = 1330. Which is smaller: 1 or x?
x
Let w = -752/7 + 1495/14. Which is greater: -1 or w?
w
Suppose 4*o + 24 = 4*m, 3*o + 2*m + 3 = -10. Suppose 4*w = w + 15. Suppose w*u + 12 = u. Which is bigger: o or u?
u
Let c = 230 - 1144/5. Let v = -0.274 - -3.274. Is c less than v?
True
Let g be 6 + -8 - (0 - 2). Let b = 34469/723 - 143/3. Which is smaller: g or b?
g
Suppose -79*q - 39575 = -549. Which is bigger: q or -493?
-493
Let v = 53 - 7. Is 0.1 != v?
True
Let w be 19 + -17 - 0/(-1). Suppose 10*h - 8*h + 4 = 0. Which is greater: h or w?
w
Let n = -4 + -1. Let c(l) = l + 3. Let o be c(n). Let y = -88.9 - -89.9. Is y != o?
True
Let f = -32.239 - -0.239. Is f greater than -4?
False
Let h be (4/(-223036))/(3/28905). Let w = h - -23/137. Let u = w + -1193/5698. Is u less than or equal to 1?
True
Let f = -31 + 45. Suppose 0 = -6*v + 110 - f. Are v and 17 non-equal?
True
Let p = 2.4 + -2.8. Let g = -1.4 - p. Which is bigger: 20 or g?
20
Let w = -0.042 - -0.252. Which is smaller: -15 or w?
-15
Let l be 243/(-189) - 2/(-7). Suppose 0 = 3*o - 3 - 3, 0 = -4*a - o + 30. Suppose 4*z + 3*w = -0*w + a, -5*w = -5*z. Which is greater: z or l?
z
Let k(r) = 4*r - 13. Let t(v) = 8*v - 25. Let m(d) = 5*k(d) - 2*t(d). Let g be m(4). Which is bigger: g or -2/145?
g
Let x = -192 - -191. Which is smaller: x or -17/16?
-17/16
Suppose h + 3*q + 8 = -2, -5*q = h + 18. Let r be ((-3 + h)/(-1 - 0))/1. Is r greater than -2/111?
True
Let v = 22.58 + -23. Let g = -0.78 + v. Is g bigger than -1/4?
False
Let z = -9.92 - 0.08. Let h = z + 20. Let a = h + -11. Is a bigger than 0.1?
False
Let i(h) = -h**2 + 9*h + 90. Let p be i(15). Which is bigger: -9/508 or p?
p
Let s = -1/49 + -23/1274. Which is smaller: s or -0.2?
-0.2
Let q = -1 - -130. Let c = -182 + q. Which is smaller: -54 or c?
-54
Let a(j) = 40*j + 39. Let p be a(-4). Which is smaller: p or -120?
p
Let y(d) = 3*d + 9. Let g be y(-2). Suppose -2*k - g = -1. Which is smaller: -1/11 or k?
k
Suppose 0 = 54*a - 58*a + 4. Which is smaller: a or -4/9?
-4/9
Let i = 6.3 - -14.7. Let y = i - 19. Let l = 3 - -6. Is y less than l?
True
Let u be -6 + 9/(315/230). Let k = -4 - -12. Suppose -6*d + k = -2*d. Which is greater: d or u?
d
Let t(n) be the second derivative of n**5/20 - n**4/3 - n**3/2 + n**2 + 3*n. Let a be t(4). Let m = a + 9. Which is bigger: m or 3/10?
3/10
Let z = -35/48 - -7267/10032. Which is bigger: z or 1?
1
Suppose 0 = -0*l + l + 4. Let y = -3 - l. Let h be 25/36 + 6/(-72)*3. Is h < y?
True
Let d be 1/6 - 2/12. Suppose 3*r + d*w + 2*w = -6, 2*r + 3 = -w. Let j be 2/12 + -2 + 3. Is j less than r?
False
Suppose 5*z + 1 = 11. Suppose 2 - 18 = z*m. Let p = 161/20 + m. Which is greater: -1 or p?
p
Let s = 8 + -8. Let m = s 