1?
c
Let n = 5736 - 34415/6. Is 132/5 at most n?
False
Let l be -8*(-3 + 195/66). Let t = 2.84 - -3.06. Let h = -5.4 + t. Which is smaller: h or l?
l
Let a = -24728.9 - -24729. Which is greater: a or 2955?
2955
Suppose -5*z + 17*z - 1512 = 0. Let d = z + -628/5. Let q = -5987/15 - -399. Are q and d non-equal?
True
Let c = 1.2644 - 1.2644. Let t = -0.559 - -230.559. Is c <= t?
True
Let h be (-9*5)/(0 - (-9)/(-6)). Let g = -212/7 + h. Suppose 0 = 2*l - 3*w + 2 - 1, -w = 3*l - 4. Which is bigger: g or l?
l
Let a = 4254 - 4253.7968. Is a <= -0.1?
False
Let b be 2 + (2 - -2) + 358684/11664. Let w = b - 1/729. Are w and 36 non-equal?
True
Let x be (12*(0 + -2))/(9/(-6)). Suppose x*i - 709 = 699. Is i <= 87?
False
Let p(i) = -i**2 - 231*i - 11188. Let f be p(-71). Suppose 6*q - 860 = q. Do q and f have different values?
False
Let c(i) = 49*i - 51. Let q(d) = 25*d - 26. Let h(x) = 3*c(x) - 7*q(x). Let y be h(1). Is y at most -5/148?
False
Suppose -48 = -84*i + 76*i. Suppose 178 - 274 = -i*j. Which is greater: j or 12?
j
Let s = -0.0093 - 257.9907. Let c = s - -239. Suppose 0 = -3*k + 5*k - 4. Which is bigger: c or k?
k
Suppose 4*m = -2*p + 12, -3*p + 5426 - 5420 = 2*m. Which is bigger: -17/231 or p?
p
Suppose 129*n + 19954 = 8*j + 131*n, -7497 = -3*j + 4*n. Which is smaller: -2 or j?
-2
Suppose 2*o - o = -14. Let g be 5/(-90)*2 - ((-145)/(-45) - 3). Which is bigger: o or g?
g
Suppose 17 = -5*y + 47. Let n = 1225/3 + -401. Which is greater: y or n?
n
Let f = 2773.9 + -2774. Let s = -5.986 - -0.086. Let r = f + s. Does -1 = r?
False
Suppose 3*t = -4*u + 29, 0 = t + 4*t + 5*u - 40. Suppose t*l + 1 - 7 = 0. Let j be (3/13)/(-1*(l - 0)). Which is smaller: -1 or j?
-1
Let t = 58 + -134. Let c be (-15371)/t + 10/(-8). Is 201 at least as big as c?
True
Suppose 318*h - 37 - 5 = 332*h. Which is greater: h or 211?
211
Let q = -37504 - -37560. Which is smaller: q or -8/3?
-8/3
Let t be (-2650)/8 - (-6)/24. Let g = t - -1955/6. Let h = g + 205/42. Is -0.036 >= h?
True
Let i(g) = -g**3 - 5*g**2 - 10 + 9*g**2 + g - 7*g**2. Let m be i(-4). Let j be 1/(33/15 - m). Which is greater: -5 or j?
j
Let h = 64 - 43. Let c = h - 21.14. Let k = 6.14 + c. Which is smaller: 1 or k?
1
Suppose 0 = 3*d + 4*p + 7, 0 = 5*d + 3*p - 22 + 30. Is -2/3313 at most as big as d?
False
Let w = -2157 + 2200. Which is bigger: w or 50?
50
Let q(w) = -6*w**2 - 166*w + 190. Let t be q(-28). Do -4/39 and t have different values?
True
Let m be -1 + 1/55 - -1. Let u = 16/2145 + m. Let z = 439929 - 439928. Which is smaller: z or u?
u
Suppose 132 = -41*g + 9. Let d = 137/1400 + -1/56. Is d at most g?
False
Let l = 16510 - 16637. Which is smaller: 30 or l?
l
Let r(j) = 12*j - 16. Let i be r(1). Let p(o) = o**2 + 5*o + 15. Let y be p(i). Let l be (9 - 6)/((-5)/(-16)). Which is smaller: y or l?
l
Let x = 1073099029/6387 - 168013. Is 1 greater than x?
True
Let o = 5369/90 - 298/5. Is o smaller than -11?
False
Let h be ((-9)/6)/(4/(-56))*2/3. Which is smaller: h or 276/19?
h
Let k = 58418/5121 + 21/569. Which is greater: k or 10?
k
Suppose j = 3*j + 10, 1725 = 2*c + 3*j. Let h be c/(-120) + 2/8. Are -38/5 and h non-equal?
True
Suppose -3*f = 4 + 8. Let j be (0*f/(-4))/(-3 - -4). Which is greater: j or 1/22?
1/22
Suppose 4*n - z = -0*z + 4, -5*z - 20 = 4*n. Let j = 5895579 - 277104948/47. Let b = j + 271. Which is smaller: n or b?
n
Let s be 1/(1230/240 + (-10)/2). Let f be -10 + 645/35 - s/(-14). Suppose 0*x - 4*x = -40. Which is bigger: f or x?
x
Suppose -3*u - u = -5*x + 110, -3*u = 5*x - 110. Let q(p) = 6*p - 3. Let j be q(11). Let i be ((-6)/(-14))/(-3) + 1458/j. Which is smaller: x or i?
x
Let g = 481 + -475. Let b(f) = -21*f + 78. Let d be b(g). Is d less than -48?
False
Suppose 3044 = 4*l + 4*c, -269*l + 4*c + 766 = -268*l. Which is smaller: l or 764?
l
Let g(m) be the first derivative of m**4/4 - 35*m**3/3 - 31*m**2/2 - 53*m - 59. Let b be g(36). Is 129 greater than b?
True
Let h = -5400 + 6246. Do h and 852 have different values?
True
Let t = 113/2870 - -1/287. Let l be 6/16 + 980/(-224). Let j be (1 - -1)/(5/(10/l)). Which is smaller: t or j?
j
Let j = 41 + -41. Suppose j = 9*d - 7*d - 5*i - 15, -5*i = 5. Let m = 3 - -4. Which is bigger: m or d?
m
Let q be ((-4)/16*1)/(-6*(-3)/(-137304)). Which is bigger: q or 1909?
1909
Let j be 100/1052*(126/(-567))/((-4)/9). Is j not equal to 0?
True
Suppose -3*v = 3*s, 10 = 5*v + s - 2. Let o = -3 + v. Let r be (-7)/35 + (-1)/20. Is o greater than r?
True
Let v(u) = 5*u - u**3 - 7 - 2*u**2 + 7 + 4 + 1. Let z be v(-3). Let n be 3/(-48)*10 - -1. Which is smaller: n or z?
z
Let d = -355.35 + 355.65. Which is bigger: -92/9 or d?
d
Let j be (-3 - -5 - 3) + 15/((-145365)/(-9692)). Is 0 < j?
True
Let i = 37132 - 34143. Are i and 2989 nonequal?
False
Suppose -17*p + 21*p - 220 = 0. Let g(z) = 2*z**2 + 5*z - 4. Let b be g(1). Suppose -r = -b*u - 46, -u = -4*r - 5*u + 232. Is r greater than or equal to p?
True
Let v = -5.808 - -5.5. Let u = v - -0.208. Is 0.052 at least u?
True
Let v = 170 + -168.05. Let m = -1.85 + v. Is -45 not equal to m?
True
Let f be (-112)/3*(9 - (145 - -2 - 9)). Is 4817 <= f?
False
Let u = 358889/70 + -5127. Do -1 and u have the same value?
False
Let y = -238.575 - 0.425. Let t = y - -254. Which is greater: -13 or t?
t
Let b = -663.717 + 664. Let t = b + -0.183. Is 74 at most as big as t?
False
Let t = -29257/3 + 9753. Which is smaller: 2/2785 or t?
2/2785
Suppose 25*r - 13434 = -20*r + 21. Do 2397/8 and r have the same value?
False
Let c = 68891 - 1171479/17. Which is bigger: c or -20?
c
Let y = 84800/7 + -12158. Is y at least as big as -45?
True
Let t = 3294 + -589637/179. Which is greater: t or -1?
t
Let i = -340 - -256. Let a = -14.2 - -95.2. Let q = a + i. Is -1 >= q?
True
Suppose 0 = -2*o + g + 81, 5*g + 28 - 3 = 0. Let m = 58 - o. Let w be (-114)/(-10)*m/6. Is 37 >= w?
False
Suppose -1111 = 4*p - 5*t, -19*p = -17*p - 4*t + 560. Let b be (3 + -1)*p/14. Which is smaller: -39 or b?
b
Suppose 5*z = -2*r + 10 - 3, -5*r = 2*z - 7. Let n be (-499)/(-468) + r + 1/(-4). Let v = n - 27/26. Is v < 0?
False
Suppose -d = 2*d - 2*j + 2340, -5*d - 3862 = 3*j. Which is smaller: d or -777?
-777
Let n = 2/140339 - -11367247/14875934. Let o = n + -3/212. Is 7/9 at most o?
False
Let o = -45 + 52. Suppose 0 = -3*i + o*i - 2*a + 200, 4*i = 3*a - 202. Let q = -145/3 - i. Which is greater: q or 11?
11
Let d(p) = p**2 - 14*p + 23. Let q be d(11). Which is smaller: q or 133?
q
Let v(h) = -h**2 - 9*h - 15. Let f be v(-4). Suppose -256 = -5*t + f*u - 4*u, -t - 2*u + 49 = 0. Is t at most 52?
True
Let i = -9 + 17. Let k be (18/8)/(6/i). Suppose k*n = s + n + 30, -3*n = s + 50. Is s not equal to -39?
True
Suppose 3058*d - 84 = 3051*d. Suppose -5*h - 2 = 13. Let w be ((-1)/h)/(4/d). Which is greater: 1/6 or w?
w
Let v(r) = r**3 - 2*r**2 - 14*r + 22. Let a be v(4). Let w be 1 + a + (-946)/(-215). Which is greater: w or 2?
w
Suppose 6*o = 3*c + 3*o, 0 = -3*c - o + 12. Suppose 2*i = 1 - c. Which is greater: -2/53 or i?
-2/53
Suppose -2*b = -7*b - 5*q + 225, -3*q + 3 = 0. Let m be (-15)/(-2) - (6 + b/(-8)). Which is bigger: m or 9?
9
Suppose -80 = -2499*d + 2519*d. Let f(o) = 3*o + 1. Let z be f(-3). Let g be (d/z)/((-16)/(-12)). Which is smaller: g or 0?
0
Let n = -578 - -2833/5. Are -0.1 and n unequal?
True
Suppose -60 = 4*a - 19*a. Suppose -8 = a*w - 20. Suppose 2*x - 5*t = 17, -2*x - w*t = x + 6. Which is bigger: 3 or x?
3
Let o = -332 - -339. Suppose 5 = x - o. Which is smaller: x or 57/5?
57/5
Suppose -45*c + 38*c = -77. Suppose g + c = 12. Which is bigger: g or 18/13?
18/13
Suppose -5*z = 0, -11*d + 30 = -6*d - 2*z. Let i be (-3)/d + (284/(-528))/(-1). Is 0 at most i?
True
Suppose -129*q + 16 = -125*q. Which is smaller: -2 or q?
-2
Let r = -208.1 - -208. Suppose -7*g = -10*g - 180. Let y be (-4)/16 - (-1)/g. Which is bigger: y or r?
r
Let g(c) = 5*c + 304. Let j be g(0). Let w be (6/7)/((-16)/j). Let l = 435/28 + w. Is 0 <= l?
False
Suppose 3*g + 232 = 2*g. Let s be 4 - g/(-5) - 6/10. Let l(m) = -2*m**3 + 2*m**2 - 2*m - 1. Let u be l(3). Is u < s?
False
Suppose 0*q + 11*q = 242. Let l(j) = -j - 5. Let g be l(-6). Let u = g + 21. Are q and u non-equal?
False
Let y = -2849423/9204 - -3715/12. Which is smaller: -1 or y?
-1
Let y = -8541.4155 - -8541. Which is greate