r?
3
Suppose 37*q = 36*q + 4*m + 172, 5*q = -5*m + 810. Which is greater: 1 or q?
q
Let y be ((-94)/(-3))/((-54)/(-81)). Suppose 42*f = y*f - 90. Which is greater: f or 5?
f
Let f = 205 + -195. Do -7 and f have different values?
True
Let a = -697 - -387. Let f be (2 + -1)/(a/65 - -5). Which is smaller: 0 or f?
0
Let a = 51 + -50. Let r be -1 + (-2)/(a + -2). Is r not equal to -3/128?
True
Let f = 123 + -179. Which is smaller: -1 or f?
f
Let i(q) = q + 4 + q**2 - 3*q**3 + 2*q**2 + 3*q**3 - q**3. Let x be i(3). Let z be 8/6*3*2. Do x and z have the same value?
False
Let u be -4*1*(-27)/1728. Is u >= -1?
True
Let c = 6147263 - 5108376655/831. Let y = 2/277 - c. Let r = 8/15 - y. Which is smaller: -1 or r?
-1
Let v be (-288)/160 + 9/5. Let x be 50/(-58) - 1*-1. Is x less than or equal to v?
False
Let s = -3/25 - 29/175. Let i(o) = o**3 + 3*o**2 - 12*o - 5. Let m = 28 + -33. Let j be i(m). Which is bigger: s or j?
j
Suppose -99 = -9*t + 63. Let w = t - -39. Is w bigger than 57?
False
Suppose 2*r - 12 = -5*n + 7, -4*r + 3*n + 25 = 0. Let i = -28 + 33. Suppose 2*s + s - 19 = q, 3*s - i*q + 1 = 0. Are s and r nonequal?
True
Let z = 275 - 509. Is -3 != z?
True
Suppose 5*a + 21 = -3*f + 18, 0 = 5*f + 2*a + 5. Is -8/77 <= f?
False
Let u be ((-9)/(-6))/((-120)/(-4)). Let c be (36/(-15) - -2)*5. Let a = c - -2. Is a not equal to u?
True
Let a = -64010 + 447043/7. Let s = a + 147. Is s bigger than 0?
True
Let c be (-4)/(-12) - 131/(-3). Suppose -2*u + 9*l + 88 = 11*l, -4*l - 184 = -4*u. Which is smaller: u or c?
c
Let k(t) = -13*t**3 + 7*t**2 - 13*t - 10. Let x be k(3). Which is smaller: -339 or x?
-339
Let m be 6/452*24/(-126). Are 0 and m nonequal?
True
Let a be 269/((-15)/10 + 1). Let n be a*3/(-7770) - 3/15. Which is smaller: -1 or n?
-1
Let q(w) be the first derivative of 5*w**2/2 + 38*w + 2. Let r be q(-8). Which is bigger: 0.38 or r?
0.38
Let y = 15.36 + -0.36. Let g be (-1)/((13 - 10)*4/(-6)). Is y not equal to g?
True
Let m = -321/131 - -256361/104407. Do -1 and m have the same value?
False
Let z = 0.0381 + 7.9619. Which is smaller: -19 or z?
-19
Suppose 5*k = 4*j - 101, -23 + 69 = 2*j - 4*k. Is 2 != j?
True
Let y = -9 - -9.01. Let a = y + -0.09. Are a and -1/5 nonequal?
True
Let b be (9/6 + -1)*2. Let f(w) = -4*w**2 + 49*w - 13. Let s be f(12). Which is smaller: s or b?
s
Let j be -1*1 - 6/(-5). Let n = -107 + 125. Suppose 0 = 17*z - 1 + n. Does j = z?
False
Let j(k) = -k**3 + 49*k**2 + 51*k - 100. Let s be j(50). Which is greater: s or -44?
-44
Suppose 15 = 5*f, 9 = -2*l + 3*f - 0. Suppose 4*h - 3 = h, -k - 3*h + 6 = 0. Suppose l = k*r - 0*r - 18. Is 7 > r?
True
Let y = 319 - 361. Which is smaller: -2/27 or y?
y
Let k = 63.1 - 62.92. Which is bigger: -8 or k?
k
Let q(y) = 2*y + 3. Let l be q(-6). Let a be (-2)/l - (-3)/(-270)*26. Is -1 greater than a?
False
Let v be (7/(-21))/(1/(-27)). Let m(k) = k**3 - 10*k**2 + 16*k - 33. Let t be m(v). Which is bigger: 33 or t?
33
Let a = 37 - 1. Suppose 3*c - 6 = 0, -z - 4*c = -5*z - a. Is -7 at most z?
True
Suppose 3*o - 2*j + 25 - 26 = 0, -5 = o - 2*j. Suppose 4*l = -5*p - 0 + 3, 15 = -4*l + p. Is l bigger than o?
False
Suppose 0 = -5*x - 0 - 0. Let d = -3 + 6. Which is smaller: d or x?
x
Let v = -88 + 70. Let t be 27/(-27) + ((-35)/v - 1). Is t greater than or equal to 0?
False
Let p = 0.04 + -0.32. Let s be 128/(-896)*(9/(-6) + -2). Are p and s nonequal?
True
Let z(i) = i + 13. Let c be z(-12). Let l be c + 1*(0 - -14). Suppose -6 - l = 3*b. Which is greater: b or -6?
-6
Let u = -1 - -0.76. Let w = u + 0.14. Let h = -2.1 + 0.1. Which is smaller: h or w?
h
Suppose -13*g - 27*g + 76 = -2*g. Let d be 3 + 1 + 4/2. Let c be -1*2/d*-2. Is g bigger than c?
True
Let p = -765 + 1140. Let o = p - 358.1. Let c = o - 17. Which is bigger: -0.7 or c?
c
Let p = -27 - -32. Suppose 3*v - p*c = -v - 24, 5*v - 15 = -5*c. Is v at most as big as 1?
True
Let i be 20/35 - 32/7. Let c be 2/i + (-395)/(-10). Let f be 4/(-6) - (-26)/c. Is f smaller than 0?
False
Let u = 11/78 - 3/52. Let l = 2/103 + 95/412. Let a = l + u. Which is smaller: 12 or a?
a
Let x be (12/(-8))/(-3)*(-20)/(-5). Suppose x*z - 5*q = -2, 4*z - q = -4 - 0. Which is smaller: 7/24 or z?
z
Suppose -2*c + 6 = -4*c. Let x be 14/((-3)/c*-2). Is x at least -2?
False
Let c be (3/(-1))/(9/(-297)). Let i(a) = -92*a + 1. Let k be i(-1). Let b be -1 + (c/k - 0). Is 1 at most as big as b?
False
Let r(d) = d**2 - d - 41. Let l be r(-6). Suppose 3 = t - 2. Suppose 4*i - 54 = 5*z, 13 + 49 = -3*z - t*i. Is z > l?
False
Let u = 37 + -14. Suppose -2*l = 2*q + 7 + 3, 3*q + 5*l = -u. Is -2/5 >= q?
True
Suppose 2*h = -u + 2*u - 4, u - 5*h = 16. Which is smaller: -39/8 or u?
-39/8
Let m be (-3)/(-1)*1/3. Let z be ((-3)/12)/((-2)/(-8)). Let r be 1/z - (-7 - -8). Which is greater: r or m?
m
Let q(d) = -d**3 - 37*d**2 - 33*d + 113. Let c be q(-36). Let b be 3/((-9)/(-12)) + 1. Are b and c nonequal?
False
Let r = 118/1035 - 1/345. Which is smaller: 1 or r?
r
Let n be (-13 + 0 + 3)*1. Let p = n - -13. Suppose -2*c = -p*c. Which is bigger: 1/2 or c?
1/2
Suppose -35*s + 4 = -37*s. Let k be 2 - (-5)/(15/(-9)). Is k < s?
False
Let a(n) = n**3 - 13*n**2 + n + 18. Let q be a(13). Suppose 18 = -13*y + q. Is y at most as big as 2/47?
False
Suppose 59 = -3*n + 56. Which is smaller: n or -24/25?
n
Let c = -240 - -237. Suppose -5*l - 3 = -13. Let d = c - l. Are -5 and d equal?
True
Let h be (8 + -1)*(-15 - -14). Let o = 8 + h. Let b be (-32)/182 - 16/56. Which is bigger: b or o?
o
Let m = 764 - 28243/37. Which is smaller: m or 2?
m
Suppose 5*t + 0*t - 10 = 0. Suppose -6 = -t*w - 0. Suppose 3*r + 3*x = -r - 36, w*x - 18 = 5*r. Is -6 >= r?
True
Let j(m) = -2*m**2 + 4. Let l be j(3). Which is smaller: l or -21?
-21
Let l = -31 + -7. Let f = 38 + l. Which is greater: f or 5/17?
5/17
Let t = -8 - 6. Let c = 19 - 5. Let h = c + t. Which is greater: h or -0.2?
h
Let i = 44 + 41. Let a = i + -103. Which is bigger: -15 or a?
-15
Let m be -5 - (-2250)/35 - 6/21. Suppose 5*i - 2*j - 287 = 0, -2*i - 2*j + 122 = -j. Is m less than or equal to i?
True
Let c(f) = -2*f - 19. Let n be c(-17). Suppose -n*w = -17*w. Which is smaller: w or 4/15?
w
Let w = -26 + 26.05. Let m = 0.75 - w. Let q = -0.27 + 0.17. Which is smaller: q or m?
q
Let v = 283 + -603. Which is greater: v or -319?
-319
Let c be -4*(3 + 4/108 - 3). Let o = c - 10/297. Is -1 smaller than o?
True
Let y(x) = 5*x**2 - x - 2. Let p be y(-2). Suppose -3*b - p = -0*l + 2*l, -37 = 5*l + b. Let k(w) = -w**2 - 7*w + 1. Let d be k(l). Is 1/5 bigger than d?
False
Let s = 0.2 - 0.1. Let g = 8.1 - s. Let w = -6 + g. Is 0 smaller than w?
True
Let q = 72.5 + -70. Which is smaller: q or -1?
-1
Suppose 21 = -4*o + 3*j, 2*o - 4*j = -0*o - 18. Let b be (-2)/4 - (o/(-2))/3. Which is greater: 7/3 or b?
7/3
Suppose -3*k - 6 = -0. Let w be (k + (-30)/(-3))/7. Let c be (-216)/(-111) + (-24)/(-444). Which is smaller: c or w?
w
Let l = -55 + 54.988. Does l = 1?
False
Let n be -4 + 3 + (-27 - 3). Let s = n - -38. Let u be (1 - 3/6)*14. Are s and u equal?
True
Let i = -290 - -291. Which is smaller: -2/901 or i?
-2/901
Let y be 1 + 1 - 120/55. Let l(g) = -g**3 - 7*g**2 - 6*g. Suppose -2*j = -4*j - 12. Let f be l(j). Which is greater: y or f?
f
Let n = 32 - 50. Let k = n + -2. Let z = k - -13. Is 0.1 >= z?
True
Let u be (1 - 2)*(-4)/74. Suppose -41*d + 42*d - 1 = 0. Suppose 2*o + 4*l = -6, 2*l + 5 = -4*o - d. Which is smaller: o or u?
o
Let p = -13.3 + 0.3. Let j = 17.47 - -4.63. Let t = 22 - j. Which is greater: t or p?
t
Let t(v) = 4*v + 5. Let p be t(11). Suppose -3*d + 17 = h - p, 4*d + 82 = 2*h. Let x = -151/3 + h. Which is greater: x or -3?
x
Let m(q) = -q**3 + 19*q**2 - 36*q + 42. Suppose -d + 2*a + 9 = 0, -d + a + 0*a = -13. Let k be m(d). Which is bigger: 10 or k?
10
Let z(r) = -46*r - 184. Let f be z(-4). Is -6/23 less than or equal to f?
True
Let c = 79.1 + -12.1. Let g = c + -60. Is g != -3?
True
Let r be 3/(36/(-20))*18. Let g = -23 - r. Let x be (4 - 18/g)*7. Which is bigger: 11 or x?
11
Suppose s + 3*t = 18, -4*s + t + 4 = -3. Suppose h - s*h = -2*f, 0 = -f + 3*h + 4. Is f > -5?
True
Let h(u) = 9*u. Let j be h(0). Do j and 146 have different values?
True
Suppose 0 = -4*s + 12 + 16. Let b be 22/28 - 2/s. Let n = -7783 + 7776. Which is smaller: n or b?
n
Let f =