r) = -r**2 + 5*r + 9. Let p be t(6). Suppose -5*c = v + v + 31, -3 = -4*v + p*c. Is -2 equal to v?
False
Let g = 1126114/4151 + -1899/7. Is -1 < g?
True
Suppose 0*y = 2*y. Let g = -194 - -192. Is y bigger than g?
True
Let c = -0.34 - 0.26. Let d = -0.1 + c. Which is smaller: d or 6?
d
Suppose 0*l - 5*l - 35 = -3*o, -2*o = -5*l - 30. Suppose -t = 2*t - 2*f + 204, -4*t = 5*f + 272. Let q be 8/56 - t/14. Is q > o?
False
Let m be (-3 + 1)*(-153)/34. Let t(h) = h**3 - 9*h**2 - h + 10. Let o be t(m). Which is greater: 1/13 or o?
o
Let q(t) = t**3 - 8*t**2 - 4*t + 4. Let o be q(9). Suppose n - o = 1. Suppose -4*v + 47 = 5*x, 9*x - n = 4*x - 5*v. Is -1/2 greater than x?
False
Suppose -5*u - 324 = -z, 5*z + 121 + 209 = -5*u. Let j be (1 + 0)*20/u. Are j and 0 non-equal?
True
Let d be (12/72)/(3/558). Is 149/5 equal to d?
False
Let q = -33/52 + -3/26. Suppose -r - 9*r - 20 = 0. Which is bigger: q or r?
q
Let c be 57/18 + 2/(-3). Suppose 5*d + 0*b + 3*b - 72 = 0, 3*d - 5*b = 16. Suppose d = -0*u + 6*u. Which is smaller: u or c?
u
Let d = 18 + -15. Suppose d*i = -n - 4*n - 11, -6 = 2*i + 3*n. Suppose i*z - 30 = -0*z. Is z at least as big as 11?
False
Suppose -2*t - 8 = -10*t. Suppose 53 = -6*m - t. Which is smaller: m or -11?
-11
Let z = 220.99 + -221. Does -0.6 = z?
False
Let x = 42.69 + -43. Let n = x + 0.41. Let r = -0.64 - -0.04. Is n at most r?
False
Let j(p) = -p**3 + 3*p**2 + 6*p - 4. Let u be j(4). Suppose -2*c = q - u - 1, -3*q - 15 = 0. Suppose 0 = -6*r + c*r - 1. Which is smaller: r or -2?
-2
Let o(a) = 17*a - 8. Let x(g) = -4*g + 2. Let j(h) = 2*o(h) + 9*x(h). Let s be j(-4). Suppose -4*n + 4*k - 36 = -92, -4*k - 2 = 2*n. Which is greater: n or s?
s
Let a = 33.4 - 0.4. Let x = a - 29. Which is smaller: x or -0.09?
-0.09
Let q(g) = -g**2 + 5*g - 1. Suppose -6*z - z = -35. Let r be q(z). Is -3/14 not equal to r?
True
Let r = -1980 - -1980. Which is bigger: r or 352?
352
Let a(s) = s**2 - 2*s + 33. Let p be a(0). Suppose 3*f + 22 = 3*g - 2*f, -4*g = -3*f - p. Is g >= 11?
False
Let q = -9 - -32. Let a = -22 + q. Which is bigger: -2 or a?
a
Let i = 6293 + -365003/58. Which is smaller: i or -1?
-1
Let u = 235 + -225.68. Let c = u - 9.3. Is -1 > c?
False
Let u(t) = -t**2 - 7*t + 1. Let c be u(-6). Let d = 5 - 5. Suppose d = 4*k - 2*w - 14, 3*k - 2*k + c = -3*w. Is 0 at least k?
False
Let h = 65/87 - 7/87. Which is bigger: h or -601?
h
Let c = -105 - -117.9. Let v = c + -16. Let s = -3 - v. Is -2 >= s?
False
Suppose 4*n + 3*j = 25, 3*n - 3*j - 50 = j. Suppose 0 = 2*s - 21 - 23. Let k be 1/(-2) - s/(-28). Is n less than k?
False
Suppose -14*t - 8235 + 1627 = 0. Which is greater: t or -471?
-471
Suppose 0 = -u - 4, -5*u + 3*u + 40 = 4*g. Let k = 27 - g. Which is smaller: k or 17?
k
Let d = 229 + -262. Is -35 equal to d?
False
Suppose 60*p + 64*p = 102*p - 1056. Suppose -2*r - 97 - 1 = 0. Is r less than or equal to p?
True
Let m = -49 + 246/5. Let g be ((-2)/1 - 1) + 3088/704. Let w = -18/11 + g. Which is greater: m or w?
m
Suppose 5*a = 6*a - 2. Let c = 9 + -8.5. Let z = 0.6 - c. Do a and z have the same value?
False
Let k = 30.2 - 27. Let x = k - 2.2. Let p = -9 + x. Which is bigger: p or -1?
-1
Let w be (-1850)/(-7215)*(-1)/((-5)/12). Suppose 5*m - m = 8. Which is smaller: m or w?
w
Let b be 6*1/(1 + 1). Let t be 3/b + 1 + 0. Suppose 0 = -5*i + t*f + 69, -4*f + 42 = 2*i. Is i at most 16?
True
Let a(s) = -8*s**2 - 244*s + 16. Let o be a(-32). Which is smaller: o or -370?
-370
Let t be 166/3 - (-4)/(-12). Let f be (-1)/(((-4)/28)/(162/21)). Which is smaller: f or t?
f
Let j = -5 + 14. Suppose 0*c - c + 2 = -h, -3*c + 5*h + 8 = 0. Are j and c unequal?
True
Let o = 71 - 68.1. Let t = -2.8 + o. Is 8 <= t?
False
Let v = -340036/185 - -1838. Which is smaller: 1 or v?
v
Let l be 2 - (-11)/((-33)/(-12)). Let o = 371/2 - 715/4. Does o = l?
False
Let o = 22 - 16. Let b be 3 + 6/(-9)*o. Let u(c) = c**2 - 1. Let w be u(b). Are 3 and w unequal?
True
Let n = 4 + -8. Let d be n + 1 + (-6 - -6). Let k be (-2)/((-6)/(-21)) - d. Is k > -4?
False
Let o = -559 - -559.02. Let n = 33 + -32.83. Let b = o - n. Which is greater: b or -1?
b
Let l = 4/3791 - -3538/3832701. Is l at least as big as 1?
False
Let a be (0 - 0)/(11 - 12). Suppose -2*g + a*g - 6 = 0. Which is smaller: -14/5 or g?
g
Suppose -5*j = -6*j + 2*j. Which is smaller: 0.056 or j?
j
Let y = 276097/546 - 1517/3. Which is greater: y or -1?
y
Let g = 126 - 452/3. Is g at least as big as -25?
True
Let i = 6 + -2. Suppose -11 = -5*j - 4*y, -2*y + i*y = 5*j + 13. Which is bigger: j or 1.1?
1.1
Suppose -66 = -16*m + 1598. Is 105 > m?
True
Let a = 2197.8325 - 2198. Is a greater than -1/3?
True
Let x(i) = -i**3 + 4*i**2 + 4*i. Let q be x(4). Let p be (-4)/5*q/(-128). Are 1 and p equal?
False
Let c be (-2*1/10)/((-34)/170). Which is smaller: c or -12/67?
-12/67
Suppose -29*m + 10*m = 15*m. Is -2/205 at least m?
False
Let a = 2.5 + -6.5. Is 0.69 less than a?
False
Suppose 0 = -0*y + y - 6*y. Let r be (-1)/4 - (-1)/2. Which is greater: r or y?
r
Let y = -98 + 98.1. Let m = 4.2 - 4. Let t = m + 0.1. Which is greater: t or y?
t
Suppose 1514*q - 5 = 1519*q. Which is greater: q or -1/5?
-1/5
Let w = -34 - -40. Suppose -7*v - 3 = -w*v. Let p(u) = -u**3 - 5*u**2 + 2*u + 6. Let s be p(-5). Is v bigger than s?
True
Let o(w) = -3*w - 9*w + 22 - 11 + w**2. Let y be o(12). Which is smaller: y or 2/3?
2/3
Let h be (-2 - (-4)/6)*(-615)/(-574). Which is smaller: h or -2?
-2
Let u(l) = l**3 - 10*l**2 - 12*l + 13. Let k be u(11). Let d = 167 + -167. Let g be k + d - 15/4. Which is smaller: g or 0?
g
Suppose -4*r + 15 = -5. Suppose -19 = r*z + 16. Is z equal to -7?
True
Let c = 8 + -3. Let m be ((8 - 1) + 1)*(-8)/(-16). Let g(p) = -p**2 + 4*p + 6. Let h be g(m). Which is bigger: c or h?
h
Let y = -3.19 + 3.29. Which is smaller: -1.1 or y?
-1.1
Let v = -1.41 - -1.28. Which is smaller: v or 2?
v
Suppose 3*n - 10 = 2*y - 1, -n = 5*y - 20. Suppose -45 = -n*p - 5*v, 0*p = p + 4*v - 24. Which is smaller: p or 20/7?
20/7
Let t be 6*3/(-66) - 2/(-6). Let k = 61/99 - t. Are k and 0 unequal?
True
Let q = -703.2 + 703. Is 2/9 at most q?
False
Let x(i) = i + i + 6 + 1 - 3*i. Let l be x(8). Let k = -7/33 - -6/11. Which is greater: k or l?
k
Let d = 60 + -60. Let g(f) = -f**3 + f**2 - f + 1. Let q be g(d). Which is smaller: -6/25 or q?
-6/25
Suppose -3*i + 2 = -13. Suppose i*z = 43 + 187. Is 46 smaller than z?
False
Suppose -4*a + 5*g + 152 = 0, -62 = -4*a - 2*g + 90. Let r = a + 21. Which is bigger: r or 60?
60
Let x be 1/4 + 20/48. Let m = 1 - -10. Suppose 9*r = m*r - 4. Which is greater: r or x?
r
Let k = -37.3 - -53.2. Let l = 2.1 + k. Let u = l - 19. Are -6 and u equal?
False
Let j = 5.78 - 6.2. Let t = j - -3.22. Which is smaller: t or -1/3?
-1/3
Let i(d) = -d**3 - d**2 + d + 1. Let c be i(-2). Suppose -c*m - 28 = 4*m. Which is smaller: m or 1?
m
Let l be ((-104)/124)/((-2)/(-4)*-1). Does l = 1?
False
Suppose 10 = 3*s - 2. Let b = s - 2. Let a be (-2 + 3)/(b/(-2)). Is a equal to 1?
False
Let q = -388 - -123. Are q and -266 non-equal?
True
Suppose -8*g - 12 = -10*g. Suppose -g - 2 = -4*l. Let b be ((-12)/(-36))/(l/(-4)). Is -13 at most as big as b?
True
Let h = 697.27 + -697. Are h and -8 nonequal?
True
Let w be 3/17*(-4)/6. Suppose 15 = -5*f + f - 5*x, 5*f = -x - 24. Let h(y) = y**3 + 5*y**2 - y - 6. Let p be h(f). Is w >= p?
True
Let s = 8 + -26. Let v = s + 54. Let d be (-16)/10 + v/60. Which is greater: d or -9/5?
d
Let w = -1.649 + 38.619. Let d = -0.03 - w. Is 0 at most as big as d?
False
Let j = -24 + 44. Suppose -2*p + 4*k = k - 37, 0 = -p - 4*k + 24. Is p at least j?
True
Let m = -15697/1560 + 463/40. Let w = -2/13 - m. Let y = -125 - -123. Which is bigger: y or w?
w
Let m be (28/4 + 0)*1. Suppose 6 = -4*y + 26, 2*r + 5*y - 37 = 0. Let u = r - -3. Which is bigger: m or u?
u
Let p = 1.14 + -0.14. Let z = 0.4 + 0. Let m = -0.6 + z. Which is bigger: p or m?
p
Suppose 3*u - 4*j - 1 = 0, -8 - 3 = -5*u + 2*j. Let r be 121/(-4) + u + 1/4. Which is greater: r or -26?
-26
Let n = 129205/87 - 1485. Are n and -1 nonequal?
True
Let c = 14 + -12. Let v = 12 - c. Let p = v - 10. Which is smaller: -2/11 or p?
-2/11
Let z = 762 - 761. Which is greater: 3/50 or z?
z
Let b be 3/((-105)/(-955)) + (-4)/14. Suppose 3*q = -b + 57. Let s = -3 + 13. Is s at m