 than i?
True
Let j = -4 - 2. Let b = j + 6.4. Let v(l) = -2*l**3 + 11*l**2 - 30*l + 123. Let p be v(5). Which is greater: b or p?
b
Let u be 33/((-495)/(-10)) - -2*322/(-696). Are u and 0 equal?
False
Let k = -0.497 - -0.42. Let p = 0.207 + k. Which is bigger: 0 or p?
p
Let r(c) = c**3 - 5. Let x be r(0). Let i be -4 - (-6 + -12) - 4. Suppose -8*v - i = 38. Is v greater than or equal to x?
False
Suppose 2*v + 138 = -4*n - 126, n + 5*v + 48 = 0. Which is smaller: n or -108?
-108
Let c(f) = -f**2 + 85*f - 1105. Let j be c(69). Is j smaller than -55/59?
True
Let x = 1347 - 1150. Is x bigger than 1375/7?
True
Let j = -33724/15 + 2246. Suppose -24*d = -2*n - 11*d - 41, 5*d = 2*n + 17. Which is smaller: n or j?
j
Let u(j) = -379*j**3 + 4 + 188*j**3 + j**2 - 5*j + 192*j**3. Let t be u(-3). Which is smaller: t or 17/21?
17/21
Let g = -89 - -90. Let u be 1 + -6 - (-2 + g). Let m be (u/22)/((-4)/(-36)). Do 1/2 and m have different values?
True
Let q(y) = -5*y**2 - 4*y - 5. Let p be q(5). Let w be 1/(-3)*-2 - (-5945)/p. Let g = 116/3 + w. Is 1 at least as big as g?
True
Let p be 214928/(-144) - -8 - 8/18. Which is greater: -1 or p?
-1
Let h = 21 + -13. Let p be (-345)/(-3) - (6 + 5 + -4). Let q be ((-1)/p)/(h/(-16)). Which is smaller: q or -1?
-1
Let l be (83 - 1) + 2 + -1. Suppose -j - 6*o + 2*o - 33 = 0, -3*j + 4*o = l. Let i = -53 - -23. Is j < i?
False
Let d = -423571/16 + 26491. Is d > 19?
False
Let h = -793 + 1141. Let z = -365 + h. Let i = -0.2 - -0.1. Which is greater: z or i?
i
Let j be 0 - 17/(38760/16). Let z be (7/35)/(2/10). Which is greater: z or j?
z
Let k = -117 - -109. Let x(v) = -3*v**2 - 18*v - 21. Let t be x(k). Let p be (432/t)/(-4) - 2. Which is bigger: 0 or p?
0
Let g = 616 + -877. Let s = 265 + g. Is 1 less than or equal to s?
True
Let t = 53 - 34. Suppose 3*a = 2*j - 28, 200*j + 14 = 201*j - 2*a. Which is bigger: t or j?
t
Let q = -1986 - -1177. Let v = 808.91 + q. Which is smaller: v or -0.22?
-0.22
Let c = -0.463 - -0.523. Is -908 > c?
False
Let v = 20/9 + -68/63. Suppose 0 = 7*k + 2*k. Which is smaller: v or k?
k
Let f = 1389 + -698663/503. Is 1 < f?
False
Suppose -9*d - 13 = -58. Suppose d*t - 3*v + 29 = -58, -2*t = -2*v + 38. Is t at most as big as -17?
False
Let w = 126629 - 126983. Suppose 712 = -2*n - 2*i, 3*n = -2*n + 4*i - 1744. Is w > n?
False
Let v = 1403 + -2073. Let h = -652 - v. Is 17 >= h?
False
Suppose 41227*c = 41231*c + 65276. Is -16319 <= c?
True
Let k = -5128 + 5130. Let d = 377449/344589 - 2/16409. Is k greater than or equal to d?
True
Suppose -5 = 3*k - 14. Suppose 10 = 5*y - 4*r, 4 = -y + k*y - 2*r. Let c be (y/(-284))/(-2 + 81/36). Which is smaller: -1 or c?
-1
Suppose 2*j = j + g - 4, 5*j + 2*g = -6. Let c be 10/(-35)*((-4958)/4 + j). Let d = c + -354. Which is bigger: 1 or d?
1
Let j = -261644 - -261643. Let b = -28 + 20. Let g = b + 5. Which is smaller: g or j?
g
Suppose -125 = -5*x - 30. Suppose 15*d - 212 = 17*d. Let o = -87 - d. Is o bigger than x?
False
Let v = -16.6 + 0.4. Let b = v + 16. Suppose 15 = -17*a + 18*a. Is b less than or equal to a?
True
Let o = -235411/4 + 58363. Let d = o - -490. Which is smaller: -17/7 or d?
-17/7
Let j be (-1)/(15/106470) + 4/(-8)*-4. Which is bigger: j or -7098?
j
Let a = 8.21 + -0.21. Let k = 55 + -59.47. Let c = -6.47 - k. Is a at most c?
False
Let d be -2*(26/4 + -4). Let r be (d/(-2))/((-8)/(-192)). Suppose 5*t = 9*t - r. Which is greater: t or 14?
t
Suppose x - 3 = 0, 2 = l + 4*x - 14. Suppose 0 = l*g - 0*g, 2*b + 234 = 5*g. Is b < -117?
False
Let g(b) = -287*b - 2905. Let u(w) = -15*w - 153. Let m(y) = 4*g(y) - 77*u(y). Let l be m(-12). Is 77 greater than l?
False
Let w be 114/(-57) + 10 + -2 + -11. Which is smaller: -7 or w?
-7
Suppose -33*s = -27*s + 720. Let i = 602/5 + s. Is i equal to 81?
False
Let d = 203.811 + -231.8219. Let n = -0.0109 - d. Is 4 greater than or equal to n?
False
Let c = -554 - -555. Let s = -58/2133 - -8/79. Let i = s + 202/189. Is c greater than i?
False
Suppose -928 = 9*v - 1504. Which is smaller: v or 70?
v
Let d = -419 + 419. Suppose d = -4*v - 52 + 52. Which is bigger: 4/21 or v?
4/21
Let k be ((-6)/16521*(-36)/24)/6. Which is smaller: 0 or k?
0
Let n = 0.211 + -0.435. Let p = n - -0.264. Let k = 0.01 - -0.99. Which is greater: p or k?
k
Let s = -5600 - -2251201/402. Suppose 0 = 3*h - 3 + 6. Which is bigger: s or h?
s
Let a(l) = 16*l - 143. Let c be a(8). Let z be 0/(21/(8 + c)). Which is bigger: z or -5/57?
z
Let y = 125.79 - 239.79. Is y equal to -20?
False
Let f(i) = 2*i**2 + 2174*i - 10920. Let q be f(5). Let u be 1/3 + 16502/31692. Let x = u - 33/38. Is x bigger than q?
False
Suppose 110*c - 114*c + 5*r = 31682, -2*c - 2*r - 15868 = 0. Is -7928 at most as big as c?
True
Suppose 73725 = -102*q - 96*q + 213*q. Is 4916 > q?
True
Let f = 198 - 213. Let l = f + -12. Does l = -9?
False
Let j(w) = -3*w + 9. Let o be j(-15). Let d = o + -53. Let i = 64/3619 + -3/77. Which is greater: i or d?
d
Let y = -23/7298 - -60814303/21894. Is 2777 <= y?
True
Let j be 3/(-215) + 2/10. Suppose -4*r + 3*c - 11 + 22 = 0, -5*r - 4*c = 25. Which is bigger: j or r?
j
Let b = 87 - -30. Let z = b - 106.7. Which is bigger: 0 or z?
z
Let p = -31 + 58. Suppose -p*n = -25*n - 2. Let x = n - -1. Which is smaller: 3 or x?
x
Suppose -5658 = -216*b - 15594. Which is smaller: -54 or b?
-54
Let q be 645/(2 + 3) - -4. Let n = 144 - q. Let f be 12/(3*(-3)/(-9)). Is f >= n?
True
Let c = 54075989 + -304285593447/5627. Let m = 2/331 + c. Let x = -12 + 12. Does x = m?
False
Let x = 1470 + -1459. Which is greater: x or 21?
21
Let h = -655817/40 - -110589/8. Which is bigger: -2572 or h?
h
Let c = -238.3 - -526.3. Is -0.1 greater than c?
False
Suppose 0 = 3*q + 3*a + 9, -6*a - 15 = -a. Let k = 32182 + -32078. Which is smaller: q or k?
q
Suppose -15*v = -18*v + 9. Let y be (46/(-115))/(v/1110). Do y and -147 have different values?
True
Suppose 4*w = r + 2, -4*r = -r - w - 5. Let p be r*1*(-3)/36. Let b = 0 + p. Do b and 1 have different values?
True
Let h = 5097 + -963313/189. Let d = 26/27 - h. Is 0 greater than d?
False
Let f be (6 - 126/(-36))*938. Which is smaller: f or 8912?
f
Let a(k) = k + 2. Let h be a(-2). Let y be (-3 - (-56)/18)*(h - 8). Let r = y + 74/63. Which is smaller: 20 or r?
r
Suppose 5*a - 4*j + 59 = 0, 0 = 3*a - j + 44 - 10. Let d(g) = -g**3 - 8*g**2 - 15*g + 26. Let k be d(a). Are 555 and k unequal?
True
Let g be 18192/9132 + (-10)/5. Do g and -1 have different values?
True
Let g(p) = -3*p**2 + 34*p - 4. Let h be g(11). Let k(f) = f**3 - 7*f**2 - 3*f + 20. Let c be k(h). Let y = 74 + 1. Which is smaller: c or y?
c
Suppose 5*z - 29 = -5*c + 51, 3*z + 4*c - 46 = 0. Suppose -z*g - 5 = -13*g. Which is greater: -5 or g?
g
Suppose -5*a + 18 = -7. Suppose 4*q - 5*o + o = 80, a*o = 3*q - 70. Let t be (-70)/q*(-6)/5. Is t <= 6?
True
Let t be ((-275)/110)/((3/3)/122). Is t != -303?
True
Let q = -71.8799 - -72. Let c = -0.3929 - q. Let o = c - -0.013. Which is greater: o or -2/7?
-2/7
Let a = 7.41 - 609.41. Let u = 601.8 + a. Is u less than 116?
True
Suppose -66 + 750 = -19*d. Let t(y) = 4*y + 143. Let w be t(d). Which is bigger: w or 0.209?
0.209
Let i = 14399/6 - 2394. Let t = -121/6 + i. Is -15 >= t?
False
Let r = 350 + -87. Suppose -257 - r = -4*c. Let w = c - 132. Are -2 and w non-equal?
False
Let d = -20 - 14. Let z = -35 - d. Let p = -7 + 3. Which is smaller: p or z?
p
Let a = -3989 - -123643/31. Suppose 79 = -4*p + 71. Is p less than or equal to a?
True
Let v(i) = 386*i + 34 - 8 - 396*i - 4*i**2 + 7*i**2. Let m be v(9). Is m at most as big as 0.1?
False
Let p = 333 + -327. Suppose 5*s = -y - p, y = -2*s - 2*s - 5. Is s bigger than -3/475?
False
Suppose -4*n - 1019 = -327. Let p = -2805 + 2631. Which is smaller: p or n?
p
Let o = -22646 + 22618. Do o and -273/10 have the same value?
False
Suppose 9*o - 20 = 12*o + 2*c, 4*o = c - 23. Let u = -34 - -8. Which is smaller: o or u?
u
Let m be -3 + 3 + (-4349)/(-1*1). Let n = m - 1074205/247. Which is smaller: -1 or n?
-1
Let r be (4 - 913/187)/(1/(-15)). Which is bigger: r or 13?
r
Let i = 254 + -251. Let s(o) = -o**3 - o**2 - 4*o + 10. Let d be s(i). Are d and -38 equal?
True
Let a = 56.91 + -0.91. Let w = 26 - a. Let q = -261.55 - -260.55. Is w less than or equal to q?
True
Let h = 57.46 - 24.46. Is h