= 362272/121 + q. Is c < 1?
True
Let q = 84 + -79. Let v be (q/(-1))/(10/(-4)) + -76. Which is greater: v or -75?
v
Let k(d) = d**2 - 10*d + 11. Let a be k(8). Let t be ((-25)/2)/a - 1. Let w(x) = x - 8. Let y be w(10). Does t = y?
False
Let s be (-37)/111 + 494/6. Do s and 82 have different values?
False
Let s = -116 + 115.6. Let f = 0.07 + 13.93. Let h = f - 12. Which is smaller: h or s?
s
Let h be (-9 - (-56)/(-4))*-5. Which is greater: h or 117?
117
Let l = 188 - 434. Which is smaller: -247 or l?
-247
Let w be (14/(-161))/((-2)/(-9)). Is w != -1?
True
Suppose -k + 2*w - w = 7, 2*k = 3*w - 18. Let s be k - (176/(-58))/1. Is s at most 0?
False
Let f(j) = -j + 1. Let d be f(-6). Let q be 2*-1 + 35/d. Suppose 4*n + 3*a + 3 = 0, 5*n + 3*a = -0*a - q. Which is smaller: -1/11 or n?
-1/11
Let b = -18 - -18. Let m = b + -6. Let k be (2/(-6))/(6/m). Is k at most -2?
False
Let h(g) = g**3 + 2*g + 3. Let s be h(0). Let x be 63 + (3/s - 4). Let f be ((-4)/186)/(80/x). Is 1 at most as big as f?
False
Let u be 40/6*-1*33/242. Is u at most -4/5?
True
Let k(v) = v**2 + 2*v + 9. Let z be k(-6). Suppose 20 = u + 3*u, 0 = -4*g - 5*u + z. Let j be (5/3)/(((-25)/5)/(-15)). Which is smaller: g or j?
g
Suppose -8 = -4*p - 5*i + 7, p - 8 = 3*i. Let x be (-4)/(-3)*(-9)/(-2). Suppose -p*c = -x*c. Is c != -3/10?
True
Let t be 4/(-10)*3/(-6). Let u = 380 + -374. Is u greater than t?
True
Suppose 2*m + m + 0*m = 0. Suppose 3*l + g = m, 3*l - l - 4 = -2*g. Which is smaller: -2/203 or l?
l
Let u(m) = -m**3 - 7*m**2 - 5*m + 9. Suppose 0 = -3*i + 6*i + 18. Let q be u(i). Which is greater: 0.1 or q?
q
Let i be (0 + 21/(-6))*16/(-5068). Which is greater: 0 or i?
i
Let i = -38 + 37.934. Let u = i - -1.466. Which is smaller: 2 or u?
u
Let s(b) = -10*b**2 - 3*b - 2. Suppose 20*m - 24*m = 4. Let r be s(m). Is r equal to -10?
False
Let q = -18 - -17.68. Let s = -28.78 - -29. Let k = q + s. Are 1.2 and k equal?
False
Let w be 375*(-26)/1014 + -1 + 5. Which is greater: w or -6?
w
Let g(r) = r**2 + 12*r - 4. Let w be g(-13). Suppose -2*a - z = -w, 21 = 3*a + 2*a + 2*z. Suppose n = 4 - a. Are -2 and n equal?
False
Suppose 10*v - v = 27. Let l = -18 - -30. Suppose l = 3*h + v. Which is smaller: 5 or h?
h
Let q be ((-117)/78)/(3/2). Let a = -15 + 15.23. Is q at most a?
True
Let v = 11 - 133. Which is greater: -121 or v?
-121
Let a = -1.64 - -1.84. Which is smaller: a or -218?
-218
Let k = 3 - 9. Let v(x) = -10*x**2 - 2*x - 1. Let o be v(-1). Let h = o - k. Is h equal to -3?
True
Suppose -8*j + 0*j = 0. Is -2/1933 not equal to j?
True
Suppose -v + 34 = 3*w - 28, w = -2*v + 24. Suppose 5*u - 9*u - w = 0. Suppose 4*z + 32 = -5*a + 3, -5*z = -2*a + 28. Is z not equal to u?
True
Let c = 1.22 + -0.22. Let f be 0*(1 + (2 - 4)). Let y be (f - 3) + 7/2. Are y and c equal?
False
Suppose -144 = 6*n - 90. Suppose 4*u + 0*u + 36 = 0. Let p = u - n. Which is bigger: -2/3 or p?
p
Suppose 0 = 5*h - 15, 11*v - 6*v + h - 98 = 0. Which is greater: v or 18?
v
Let p be (-12)/(-6 - 133/(-21)). Which is bigger: p or -40?
p
Suppose 2*w = -3*w + 15. Suppose -4*d - 18 = 3*v, -d - 4*v + 1 = -6*v. Let i be 3*w/54*d. Is -2 greater than or equal to i?
False
Let t = 1301/28 + -271/7. Suppose 0 = 2*s + 5*h - 1, 5*s - 5*h - 55 = 0. Do s and t have different values?
True
Let j = 711 - 713. Let k = -3836/4675 + 1/425. Is k greater than j?
True
Let t = -43 + 43. Is 5/113 less than or equal to t?
False
Let t(r) = 2*r - 10. Let y = -8 + 11. Let u be t(y). Let d = -4 + 1. Is u bigger than d?
False
Let g = -1029 + 1177. Which is smaller: g or 147?
147
Let b = 6.964 - 0.164. Which is smaller: b or 1/5?
1/5
Let g = -624 + 624. Is -2/75 > g?
False
Let t = 299 - 274. Which is smaller: 0.7 or t?
0.7
Let g = -86/377 - 38/29. Which is smaller: -1 or g?
g
Suppose 6*u - u = 20. Suppose u = -4*m - 4*x, m = x - 4*x - 7. Let j be m/(-8) - (-115)/140. Which is smaller: j or 0?
0
Suppose 3*a + 105 = -x, 5*x + 32 = -3*a - 505. Is x greater than -106?
False
Let p be -6 - (-20)/4 - -2. Let j be 1/4 - 498/1928. Is p greater than j?
True
Let o = 1724 - 2914. Is o at most as big as -2/7?
True
Let i be ((-10)/6 - -2)*(82 + -83). Is i at least -374?
True
Let h be (-3)/6 + 18/4. Suppose -h*d - 15 = -2*a + 7, 7 = d + 2*a. Let j be ((3 + d)/(-1))/2. Which is smaller: j or -2?
-2
Let m = -2.3 + 2.4. Is 178 < m?
False
Let w(y) = y - 1. Let x be w(1). Let s = 0.4558 + 82.5442. Is x at most as big as s?
True
Suppose -2*f = -5*b + 29, b + 20 = 5*b. Let s be f*((-2)/(-2) - 0). Which is smaller: -1/2 or s?
s
Suppose 0 = 2*q - 3*j + 25, 0 = 5*q - 4*q - 3*j + 17. Let h be (0 + 3)*(q/(-204))/(-2). Is h not equal to 1?
True
Let p = 142 + -100. Let r be (2 - p/5)*5. Let j be ((-4)/(-8))/(2/r). Which is bigger: 1 or j?
1
Suppose 2*s - 2 = 4*s. Which is greater: -2/1221 or s?
-2/1221
Let u(b) = b**3 + 9*b**2 - 4*b + 10. Let y be u(-9). Let s = y + -63. Is -16 > s?
True
Suppose -76 = 11*n + 254. Let a = n + 43. Is a at least 13?
True
Let o be (3/(-4))/(25/20). Suppose 0 = 2*f - 0*f. Suppose f = -4*i - 0*i - 8. Which is smaller: i or o?
i
Let x = 112 - 307. Let q = 954/5 + x. Which is smaller: 1/2 or q?
q
Let a = 3 - -6. Suppose -3*q = a - 3. Let y be 3/(-1) + q + 4. Are -3/2 and y unequal?
True
Let b(u) = u**3 + 2*u**2 + 3. Let g be b(0). Suppose 52 = g*h + 49. Which is greater: h or -16/7?
h
Let z(c) = -c**3 + 3*c**2 + 3*c + 4. Let w be z(4). Suppose 0 = 4*s + j - w*j - 59, j - 43 = -3*s. Let d be s/7 + (-10)/5. Is -1 greater than or equal to d?
False
Suppose 0 = -d - 5*x, -2*x + 0*x + 69 = 5*d. Let g = d + -16. Is 1 not equal to g?
True
Let g = 28 + -35.4. Let x = g - -7. Let m = -0.5 - x. Are m and -0.1 unequal?
False
Let t be (((-3)/(-20))/1)/((-22)/368). Let d = t + 32/11. Suppose 1 = 2*k - 1. Is k at most as big as d?
False
Let o be (-938)/(-714) - (-6)/(-9). Is 2 smaller than o?
False
Let l be (-6)/10 + 1452/20. Let y be -3*1 + l/9. Suppose y*p - 1 = 4*p. Which is greater: 1/10 or p?
p
Let c = 26.82 + -26.94. Is c less than 2?
True
Let h(f) = f**3 - 11*f**2 - 29*f + 32. Let p be h(13). Which is smaller: p or -108/19?
p
Let y = 533.7 + -530. Which is greater: y or 2?
y
Let r(k) = -k + 15. Let p(j) = -1. Let u(g) = -4*p(g) - r(g). Let t be u(11). Suppose -4*y - 20 = -t*y. Is -5 < y?
False
Let j = -558 + 924. Which is bigger: j or 367?
367
Let w be (6/9)/(-2) - (-22)/(-6). Let q be (w/(-9))/(2/9). Which is bigger: q or -0.13?
q
Suppose -y = -0*y - 1. Let s = -37 + 37. Suppose s = -9*z + 6*z + 6. Is y less than z?
True
Let l = -8 - -9. Suppose u - 20 = -3*u. Suppose r - 2*k - 3 = -3*k, -r + 9 = -u*k. Which is smaller: l or r?
l
Let c(t) = -3*t**2 + 15 - t + 0 + t**2 + t**3 - 2. Let m be c(0). Let j = -26 + m. Is -12 at most j?
False
Let g be (3 - 165/25)*50/(-3). Let h = 60 - g. Let y be (-3)/35*(-6)/9. Which is bigger: y or h?
y
Let w = -917 + 917.08. Is -0.01 smaller than w?
True
Suppose -3*c + 0*c = 0. Let x = 296/15 - 10922/555. Which is bigger: x or c?
x
Let l(y) = -16*y - 101. Let z be l(15). Does z = -341?
True
Let w = 2 + -1. Suppose -149*d + 152*d = 0. Let r = w - d. Which is greater: -1/5 or r?
r
Let g(o) = -o**2 + 4*o + 2. Let k be g(4). Suppose -24 = k*b - 44. Is b greater than 14?
False
Let c = -1594 + 1573. Is -37 < c?
True
Let j = -10 - -11. Let f be 3 + -1 - (-132)/(-3). Let o be f/36*4/(-35). Which is smaller: j or o?
o
Let y = -1/794 - -92111/5558. Which is smaller: y or 17?
y
Let i = -198 + 201. Which is smaller: i or -9?
-9
Suppose 3*s - b - 33 = 6*s, -s = -4*b + 24. Let w = s + 15. Let y = w - -3. Is y > 7?
False
Let w be 0 + ((-567)/(-141) - 4). Let i(n) = -9*n - 64. Let g be i(-7). Does g = w?
False
Let d = -1.8 - -3.1. Let i = 2.9 - 5.2. Let f = d + i. Is 2/3 < f?
False
Let k = 722 - 709. Let x(v) = v - 15. Let b be x(8). Let c be 2/b + 48/70. Which is bigger: c or k?
k
Let z be (-9)/4*(-280)/(-15645). Is 1 less than z?
False
Let r = 3 - 3.17. Let c = -19.83 + r. Let h = -12 - c. Is h != -1?
True
Let c(z) = -z**3 + z**2 + 74. Let h be c(0). Let b = 75 - h. Do -1/22 and b have different values?
True
Let i = 4 - -2. Suppose 28 = -i*a + 2*a. Let o be -7 - 0/(6/(-2)). Are o and a non-equal?
False
Suppose 5*f + 2*t = 5, 3*t = -2*f + 16 - 3. Which is bigger: 2/917 or f?
2/917
Let i = 10.3037 - 0.1137. Let r = i + -0.19. Which is greater: 