51*r**2 - 75*r - 61. Let d be l(75). Is d at most as big as -69?
False
Let j = 7.434 + -0.134. Let v = 7 - j. Which is smaller: v or 1?
v
Suppose 0 = -5*t - 5*z + 6*z + 14, 4*t - 5*z - 28 = 0. Suppose 29 = l + d, -l = -2*l + 5*d + 11. Let m = l - 49/2. Is m greater than or equal to t?
False
Suppose 0 = -2*k + 16 - 4. Suppose -o - 165 = -k*o. Is o > 33?
False
Let q be (18/27)/(2/(-201)). Does -465/7 = q?
False
Suppose 4 + 12 = -v. Let h be v/(-24)*99/6. Suppose -h*s - 5 = -16*s. Which is bigger: 0 or s?
s
Let v be (-4)/2*(-9)/6. Suppose -10 = -v*x + 5*r, 0 = 3*x - 2*r + 4*r + 25. Do x and -5 have different values?
False
Let n = 0.117 - -0.02. Which is greater: n or 0?
n
Let m(h) = 31*h + 12. Let f be m(-1). Suppose 2*d = a + 4, -2 = -2*a + 3*d - d. Suppose a = 5*j + 1. Is f < j?
True
Suppose 4*f + 2*w = -64, 3*f + 5*w + 38 = w. Let s(q) = -q**2 + 64*q - 347. Let n be s(58). Which is bigger: n or f?
n
Let i = -4 - -1. Let d be (i/1*5)/1. Let q = -14 - d. Which is bigger: 7 or q?
7
Let y = -0.17 - 12.83. Let l = -5 + y. Which is smaller: 2 or l?
l
Suppose -2*b + 5*f = 276, -2*f + 5*f + 6 = 0. Are b and -144 non-equal?
True
Suppose 2*m = -2*u + 46, 2*m = 4*m + 3*u - 51. Let n be (-1)/(-2)*16/m. Is 1 greater than n?
True
Let f = 228 - 230. Which is bigger: f or 4?
4
Let z be (4/7)/(6/21). Let f(c) = -c**2 - 8*c + 13. Let p be f(-9). Let j be (1 - -6)*p/7. Which is smaller: z or j?
z
Let l(a) = a**2 + 26*a + 59. Let s be l(-7). Is s < -69?
True
Suppose s + 0*s - 5*y - 139 = 0, -5*y = 2*s - 293. Suppose 6*j + s = 60. Which is greater: j or -12?
-12
Let n = 19 + -13. Let l be (24/(-20))/(n/30). Which is greater: l or -8?
l
Let u = -306 - -556. Let m be (8/10)/((-20)/u). Suppose 0*v - v - 10 = 0. Is v less than m?
False
Let m = 1 + -1. Let h be (-34)/(-28) - (118 - 117). Is m at most h?
True
Let c = 1.1 + 0.3. Suppose 0 = 6*x - 36 + 48. Which is greater: x or c?
c
Let z = -30 - -28. Let r(n) = -n**2 + 5*n - 4. Let m be r(6). Let j = z + m. Is -12 less than or equal to j?
True
Suppose -4*j - 4*g = -1644, -j = -111*g + 113*g - 407. Which is smaller: 416 or j?
j
Let z(y) = y**2 + 7*y - 4. Let g be z(-7). Let i(p) = -p**2 - 3*p + 2. Let k be i(g). Let u(d) = d**2 + 2*d - 7. Let c be u(-3). Are k and c non-equal?
True
Let j = -0.7914 + 42.6014. Let v = j - 42. Let n = v + 1.19. Which is smaller: -1/5 or n?
-1/5
Suppose -5*q + 15 = -2*q. Let l be 2/7 + -2*q/35. Is l greater than 17?
False
Let d = -1714 - -130267/76. Which is bigger: 1 or d?
1
Let a be (3 + -1)*(-1 + (-3)/(-2)). Which is smaller: a or 3/86?
3/86
Suppose 5 + 3 = 2*h. Suppose u + 4*l + 4 = -u, 0 = -5*u - 2*l + 22. Which is greater: u or h?
u
Suppose -5*n = -4*f + 475, 13*f = 16*f + 4*n - 333. Let r(t) = 3*t**2 - 5*t + 3. Let g be r(7). Is f greater than g?
False
Let k be ((-20)/(-6))/(-6 - 762/(-126)). Let t be 2/3 - (-1)/3*k. Is 24 less than or equal to t?
True
Suppose 11*v - v = 0. Let l(z) = -z. Let r be l(3). Let m be 0 + 0 + (1 - r). Are m and v non-equal?
True
Let t be (-894)/6384 - (-1 + (-7)/(-8)). Do 0 and t have different values?
True
Let a(h) = -h**3 - 8*h**2 + 3*h + 11. Let u be a(-8). Is u less than -105/8?
False
Let g = -995 + 995.2. Which is greater: 251 or g?
251
Let b be 1/9 - ((-5434)/923 - -6). Which is smaller: 1 or b?
b
Let v = 4 - 3. Suppose 3*g + v = 2*g, -4*g - 3 = q. Let f be ((-7)/(-83 + 13))/(9/(-15)). Which is greater: q or f?
q
Let u = 59 - 91/2. Let q = u + -14. Let b = 1 + -2. Which is greater: q or b?
q
Let t(b) = -7*b**2 + 42*b - 82. Let i be t(2). Is i greater than 3?
False
Let n = 7784 + -4257846/547. Which is bigger: n or 3?
3
Let q be ((-5)/((-50)/4))/((-18)/15). Let l = -24 - -25.9. Is l bigger than q?
True
Let o = 10776 - 21141/2. Which is greater: 207 or o?
207
Let i = 312 - 962/3. Let n = i + 8. Suppose -4*f - f = 5. Is f bigger than n?
False
Suppose j = u + 9, -6*j = -4*u - 4*j - 36. Let s(y) = y**3 - 6*y**2 - 3*y + 8. Let q be s(6). Is u > q?
True
Let f = 259692 - 7531846/29. Let u = f + 82880/2871. Let a = u - 20/11. Is 0.1 bigger than a?
False
Let v = 52 - 49. Suppose v*j + k - 3 = -1, 0 = -3*j - 2*k + 4. Are j and 4/3 nonequal?
True
Let t be (-351)/12 - (-10)/(-6). Let b = t + 31. Is 3 at most b?
False
Let j = 72 - 202. Let r = -100 - j. Which is bigger: r or -0.2?
r
Let y be (-2 - -1)/((-1)/12). Let w(a) = -a + 1. Let f(k) = -3*k - 9. Let j(m) = f(m) - 4*w(m). Let g be j(y). Is 3 bigger than g?
True
Suppose 3*k + 48*s - 489 = 51*s, -4*k = s - 637. Which is bigger: 157 or k?
k
Let i = 2180/1879537 - 6/10051. Which is smaller: -1 or i?
-1
Let s = -1484 - -1556. Is -1/8 not equal to s?
True
Let s be 6/573*1/(-1). Suppose 7*f - 14*f = -6*f. Which is smaller: f or s?
s
Suppose 172 = -12*c + 1480. Is 108 less than c?
True
Let i = 577/9 - 64. Let o be (-2)/(5/((-150)/(-1))). Let l be 10/o + 2/12. Is i bigger than l?
True
Let h = 25 - 32.5. Let w = h + 8. Is w greater than 1/2?
False
Let c = 0.101 + -5.401. Let t = -5 - c. Let p = 0 + t. Is -1 <= p?
True
Let k(f) = f**3 + 7*f**2 - f - 8. Let h be k(-7). Let t = 938/1325 + -46/53. Which is bigger: t or h?
t
Let f = 0.342 + 0.858. Is -6 < f?
True
Let g = -12.049 + 0.049. Let j = -11.1 - -11. Which is bigger: j or g?
j
Suppose 4*u + u = 25. Suppose -u = 3*o - 167. Let f be (-1)/6 - 15/o. Which is smaller: 1 or f?
f
Suppose -b - u - 253 = -5*b, 4*b + 4*u = 268. Is b >= 66?
False
Let o = -34 + 5. Let r = -40 - o. Is r > -13?
True
Suppose -5*o - p + 3*p + 26 = 0, 0 = 5*o + p - 17. Suppose -5 - 3 = -b + o*s, 10 = -5*s. Which is smaller: b or 2/33?
b
Suppose 0 = 17*t - 15*t. Let o be t - 4/(-8)*4. Suppose -s - 4*q = -5*s + 8, -5*q + 35 = 4*s. Which is smaller: s or o?
o
Let b = -201 + 90. Does b = -113?
False
Let h(k) = k**3 - 9*k**2 + 9*k + 14. Let v be h(9). Do v and 95 have the same value?
True
Let t be (15/110)/(114/(-8)). Do -2/3 and t have different values?
True
Let z(l) = -18*l + 55. Let q be z(3). Which is bigger: q or 8/27?
q
Let d be (-13896)/(-30) - -1*3/(-5). Let r = d + -464. Is -1 != r?
True
Let q = -750 - -508. Is q less than -242?
False
Let m = -1/136 + 157/2856. Suppose 0 = -0*q - 2*q - 2. Which is smaller: q or m?
q
Let l = -836 + 837. Which is greater: 5/56 or l?
l
Suppose 7*s - 5 = 9. Let n = 3 + 3. Let w be 4/n - 4/(-3). Is s < w?
False
Let y(n) = n + 0 - 1 + 5*n**2 + 0. Let k be y(1). Let v = 1759 + -1756. Do v and k have different values?
True
Let h = 135 - 70. Suppose 5*b + 3*z = -h - 16, -5*b - 4*z = 83. Suppose 2*i + 16 = -2*i, 0 = -2*f - 4*i - 48. Which is bigger: b or f?
b
Let z(m) = 5*m - 2. Let u be z(1). Suppose 0*h + u*h = 27. Do 9 and h have different values?
False
Let a be (3/9)/((-2)/18). Suppose -20 = g + g. Let n be (-8)/6*(-12)/g. Which is bigger: n or a?
n
Suppose -4*i + 6*i = 8. Suppose 5*u - 5 = -5*n, -n = -i*n. Which is bigger: 1/60 or u?
u
Let i(f) = -3*f**2 - 8*f - 8. Let v be i(-6). Let g be v/189 + 8/28. Let m(x) = x**2 + 6*x + 6. Let a be m(-5). Which is smaller: a or g?
g
Let n be 2 - (2 - 9) - 3. Let j(p) = -p + 5. Let l be j(n). Let z = 29 + -27. Which is bigger: l or z?
z
Suppose 0*y + 15*y = -315. Which is greater: y or -5?
-5
Let x be (-3)/(-1)*(-5 + 4). Let w be (-4)/x*(-6)/20. Is w greater than or equal to 0?
False
Let j be 3/4 - (-5551)/(-468). Which is bigger: j or -12?
j
Let y = 18.91 + -19. Let f = y - 0.07. Let q = f + 0.16. Does q = -0.8?
False
Let y be 9/(-3) + (-105)/(-33). Let c(s) = 2*s**2 - 4*s - 1. Let p be c(3). Suppose -9 = p*i - 4*x + 16, x - 6 = i. Which is smaller: i or y?
i
Let l = 1204 - 1203.879. Which is greater: 0 or l?
l
Suppose 5*r + 8 = 18. Let l(a) = a**3 - 3*a**2 + 2*a + 2. Let m be l(r). Let p be 1 + (-1*9 - m). Is p greater than -10?
False
Let o(g) = -27*g - 2. Let x be o(-4). Let m = 741/7 - x. Suppose -5*z = -2*i + 13, 5*z - 1 + 19 = -3*i. Which is greater: i or m?
m
Let n be (1 - 11/10)*(-38)/(-247). Is 1/2 at least n?
True
Let z = -3 + 3.01. Let y = -9.99 - z. Let j be (1/(-2))/(0 + 10/(-8)). Which is greater: j or y?
j
Let y(a) = 14*a**2 + 2*a + 5. Let p be y(3). Let x = p + -89. Which is smaller: -1/3 or x?
-1/3
Suppose 4*h - 9 + 17 = 0. Let m be (h/325)/((-14)/70). Is m at most as big as 0?
False
Let j be 146/8 - ((-15)/12)/(-5). Let s be 14/((3/6)/(3/5)). Are j and s unequal?
True
Let w = 0.441 - 0.3. Let g = w + -0.24