))*(-6)/(-4). Is -1 bigger than x?
False
Let n be (8/12)/(42897/(-3297) - -13). Which is greater: -62 or n?
n
Let g = 1656 - -934. Suppose 7*y - g = -28*y. Which is smaller: y or 77?
y
Let d(z) = -2*z**2 + 2*z + 30. Let l be d(9). Suppose 4*h - 74 = -2*t - 308, 0 = -5*t + 4*h - 571. Do l and t have the same value?
False
Suppose -b = -5*j + 3408 + 6814, -2*b - 20465 = -3*j. Is -10238 smaller than b?
True
Suppose -5*i = -11 + 1. Let l = -564 + 1233. Let r = -4667/7 + l. Which is greater: i or r?
r
Suppose -285 - 179 = -2*j. Let x = 4579 - 4570. Suppose x*r = -29 - j. Which is smaller: r or -30?
-30
Let u(m) = -10*m - 34. Let o be u(-5). Let y be ((-156)/o)/((-2)/(-32)). Is -156 less than or equal to y?
True
Let u = -15 - 2. Let m = 33 + u. Let l = -28.83 - -29.83. Which is bigger: m or l?
m
Let g(j) = -j**3 + j + 6. Let h be g(0). Let w = 2335 + -138. Let u = 13217/6 - w. Which is smaller: u or h?
u
Let j(n) = n**2 - 15*n + 36. Let a(p) = -p**3 - 10*p**2 - 10*p + 3. Let i be a(-9). Let u be j(i). Which is greater: u or 1/179?
1/179
Let d = -6913 - -6911.86. Suppose 4*l + 0*u - 24 = 4*u, 2*l + 5*u = -16. Which is smaller: d or l?
d
Let x = 367 - 1042. Let c be (-2 - -1)/((-690)/x - 1). Which is smaller: -131/3 or c?
c
Let y = -0.2936 - -0.2899. Which is smaller: y or 1?
y
Suppose -616 = -27*c - 22. Let p(x) = -x**3 + 21*x**2 + 22*x. Let m be p(c). Do -7/23 and m have different values?
True
Suppose -5*l - 3*d + 6 = 0, 7*d = -3*l - 4 + 18. Which is bigger: -27/175 or l?
l
Let l = -140 - -139.5. Let p = l - 8.5. Which is smaller: 2/17 or p?
p
Let v = -392 - -2. Let t = -379 - v. Let q be ((-2)/4)/(2/(-44)). Is t greater than or equal to q?
True
Suppose -2*u + 374 = 2*f, 174 = f + 5*u - 33. Which is greater: f or 1467/8?
1467/8
Suppose 5*m + 21 + 36 = 2*c, -54 = -3*c - 3*m. Let f = -2 + c. Suppose -f*u + 14*u = 0. Which is smaller: 2/187 or u?
u
Let q be 3118/6 - 115/69. Let a = q - 514. Is a bigger than 13/4?
True
Suppose -10*p + 63237 = -90643. Is p > 15390?
False
Let n be -623 + 17 + -4 - (1 + -2). Do -608 and n have the same value?
False
Let n = 36 + -44. Let r(d) = -d**3 - 9*d**2 - 9*d - 18. Let m be r(n). Let k be 152/(-126) - m/(-45). Is k greater than -2?
True
Let q be (-21 + 22)*(-3 + 1136/12). Is q not equal to 92?
True
Let j(x) = -24*x + 1031. Let r be j(43). Which is bigger: r or -50/49?
r
Suppose -5*d = -4*v + 2160, 0*v = 3*d + v + 1279. Let l be ((-7)/(21/(-6)))/(d/(-3)). Do l and 1 have the same value?
False
Let w = 775/9 - 1414384/16425. Do w and 0 have the same value?
False
Let g = 590/2843 + 71899846/25587. Let w = 2807 - g. Which is smaller: w or -3?
w
Suppose -17441 = 178*h - 285*h. Which is smaller: 4 or h?
4
Let d = 2911342/23 + -126541. Is 1 greater than d?
False
Let p(r) = -7*r**2 + 54*r + 22. Let m be p(8). Let k = 151/30 - 8/15. Which is bigger: m or k?
m
Let v = -0.3285 - -356.1285. Let s = v - 356. Which is bigger: s or -6/35?
-6/35
Let h = 117.5 + -0.5. Let w = 275 + -392.4. Let v = w + h. Which is greater: v or 4?
4
Suppose 2324 = 7*v + 1428. Let u(g) = 6*g**2 - 5*g + 3. Let d be u(5). Is d bigger than v?
False
Let n be -9 - ((-1640)/135)/(8/4). Which is smaller: n or -3?
-3
Suppose -4*n - m - 139 = 0, 74*n - 77*n - 114 = 4*m. Which is greater: n or -131/4?
-131/4
Let d = 102 + -97.1. Let t = 5 - d. Let k be (-2 - (-384)/208) + (-4)/143. Which is bigger: t or k?
t
Let d(g) = -5*g**2 - g - 24. Let a(b) = -26*b**2 - 6*b - 120. Let s(w) = -3*a(w) + 16*d(w). Let j be s(-15). Is -503 != j?
True
Suppose 57 = -3*a - 93. Let z be 40/a*15/2. Let j be (6/24)/(3/z). Is j greater than -8?
True
Let y = -59 - -99. Suppose 7*z - 3*z = -y. Let x be (-1)/5 + (-42)/z. Is x at most 6?
True
Let h = -20220 - -261502/13. Let z = -104 - h. Suppose 2*b = 3 - 1. Is b less than or equal to z?
False
Suppose -2*t + 1 = -11. Let p(i) = 6*i - 7*i**2 + 0*i**2 - 5 - 17*i**3 + 2 + 1 + 18*i**3. Let v be p(t). Which is bigger: -7/4 or v?
-7/4
Let d = 12.99 + -9.99. Let t(w) = w**3 - 2*w**2 - w + 1. Let l be t(3). Which is smaller: l or d?
d
Let r be 32/(-80)*10/12128. Which is greater: r or 1?
1
Let g be (-60)/63 + (-6)/(-9). Let l be (6/(-4))/((-2)/(-4)). Let f be (4/(-12))/(l/9). Which is smaller: g or f?
g
Let w = -16346/18511 - -156/173. Are w and -1/114 equal?
False
Suppose -8*n + 209 + 215 = 0. Suppose -49*f + 12 = -n*f. Which is greater: f or -9/5?
-9/5
Suppose -27 + 22 = -60*i + 55. Is i less than -1/19027?
False
Let s = 11847 - 11838. Which is smaller: s or -256?
-256
Suppose 3*f + 39 = -5*o - 17, -o + 68 = -3*f. Let r be f - -10 - (-6 + -3). Let h = 5 - 18. Which is smaller: h or r?
h
Let m(x) = 2*x**2 + 17*x + 43. Let b be m(-3). Suppose 0 = -b*p + 19*p. Which is greater: p or -10/21?
p
Let y be 3 - (4 - 4)/(-2 - -4). Suppose 164 = -s - y*s. Let c = s + 39. Is c at least 3?
False
Let o be (-4 + -8 + (-2004)/(-168))*12. Suppose 5*g - 6 + 1 = 0. Let r = g - 2. Do o and r have the same value?
False
Let d be -4 + (3/9)/(351/180 - 2). Are 0.08 and d non-equal?
True
Let m be (-7)/(-196)*(2 - 5). Let r = -12 + 8. Let j be ((-10)/r)/5*-2. Which is bigger: j or m?
m
Let g(t) = -t**2 + 9*t + 38. Let m be g(10). Let i be -2*((-16)/56 + (-146)/m). Suppose 10 = h + i. Is h not equal to -1/19?
True
Suppose c = -c - 0*c - 1394. Let w(u) = -u**3 - u**2 + 14*u - 13. Let p be w(9). Is p < c?
False
Let f = -2 + 4. Let q = 79.09 + -31.09. Are f and q unequal?
True
Suppose 0 = -2*g - k + 23, -3*g - 11*k = -9*k - 36. Let b be (303/1010)/((-846)/g). Which is smaller: b or 1?
b
Let d be 11185/(-560) + 13 + 7. Is d equal to 0?
False
Let v be 1794/(-447) - 4*-1. Let z = 914 + -913. Which is bigger: z or v?
z
Let l be 10/5*(4 - 30/12). Suppose 3*y = 3*r - l, 7*y + 4 = -2*r + 3*y. Is -2/347 > r?
False
Let q be 1645*(3 - (11 - 9)). Which is smaller: q or 1644?
1644
Suppose 2*m - 5 = 7. Suppose 7*z = m*z + 15. Suppose 3*y - 7 = -t - 0, z = -y + 4*t. Is y bigger than 7/10?
True
Let t(n) = 2*n**3 + 17*n**2 + 5*n - 23. Let g be t(-8). Let u be (-2)/(-11) + 457/(-1001) - 18/(-126). Which is greater: u or g?
g
Let k = -30671 + 3005749/98. Let x = 17 + -16. Which is greater: x or k?
x
Let i = -44437/155456 - -3/22208. Let v(w) = w**2 - 4*w - 2. Let a be v(-5). Is a < i?
False
Let o be -14 + (-5 + 6)*125. Which is smaller: 110 or o?
110
Let x = -54424/7 - -7775. Is -0.559 != x?
True
Suppose -5*d = 116*a - 121*a - 12955, 5*a - 13015 = -5*d. Is d less than or equal to 2597?
True
Let j be 8/4236*(2 + -1). Let x = -953/56127 - j. Is x >= -0.1?
True
Let j = -0.0146 + 11.0146. Which is smaller: j or -58?
-58
Suppose 4*t - 11*t = 686. Let l = t - -95. Let x be 33/10 + 0 + l. Which is smaller: -1 or x?
-1
Let a = 4363 - 4362. Are a and 36/109 non-equal?
True
Let q be 0 - (0 + 4/6). Let d be (66/(-132))/((-2)/(-504)). Let g be 21/d - (-111)/18. Which is greater: q or g?
g
Let p = 5936 - 5126. Are 810 and p non-equal?
False
Let g be (-6 + 346)/(-17) - 1072. Is -1094 equal to g?
False
Suppose 3*r = 3*m + 18, 3*m + 0*r = -r - 34. Let w be (-240)/672*(-12)/m. Suppose 0 + 4 = -2*k. Are k and w unequal?
True
Suppose -5*f + 3 + 27 = 0. Suppose 0 = -5*v - 4*q - 5, 0 = -3*v - 4*q + 2*q - 5. Let z be 1*15*v/(-15). Which is greater: f or z?
f
Let v be -2 + 4/(20/(-3)) + 179916/(-290). Is v not equal to -623?
False
Let g(z) = -21*z + 57. Let i be g(19). Do -344 and i have the same value?
False
Suppose 83*i = 77*i + 588. Let y = 147 - 50. Which is smaller: i or y?
y
Let s = 5 + 10. Let h = -1093 + 3623/3. Let q = 114 - h. Which is smaller: q or s?
q
Let v be 590/(-120) + 5 + -1. Let d be -5 - (0/(-1) - 4). Which is smaller: d or v?
d
Let y = -33398 + 86400628/2587. Are y and 1 equal?
False
Let h be ((-1)/(-13) - (-88)/(-1144)) + (-15035)/(-7). Is h <= 2149?
True
Let q be (-61013)/(-188367) - ((-50)/(-15) - (3 + 0)). Is q bigger than -1?
True
Let r(d) = -11*d**3 - d**2 - 2*d - 3. Let z be r(-1). Suppose -4*t + z = 17. Let f be (3 + (-4)/t)*4. Is 22 <= f?
False
Suppose -2*q + 12 = 4*p - 0, 6 = -2*p. Let c be (-12)/(-9) + -1 + 25/15. Suppose c*j + 40 = 4*w, 20 = 2*w - 2*j + 4. Is w greater than q?
False
Let w be -21*(6/(-9))/(-1). Let y be 26/w + (-36)/252. Let a be ((-5)/40)/(2/30). Which is smaller: y or a?
y
Let i be 2 - (5 - -1)*1. Let u(l) = l**2 - 40*l + 81. Let g be u(39). Suppose -k + g = 2*c