e 16/6 - 3 - (-4)/(-6). Let v be -1 - (-4 + j)*-1. Do -28/5 and v have the same value?
False
Let u = 11 + -8. Suppose -5*i + 15 = 5*w, 10 = -w + 2*i + 4. Let m be -3 + w + ((-15)/(-4) - 0). Is m less than u?
True
Let u = -2 + 2.2. Let f = u - 1.2. Which is bigger: -39 or f?
f
Let a(i) = i**3 + i**2 - i - 2. Let o be a(0). Let h = o - 23. Is h > -1?
False
Let l = 25 - 35. Let s be 2 - (-2)/l*0. Suppose s*c - 10 = 7*c. Which is smaller: c or -0.1?
c
Let j = -0.5 + 0.533. Let d = j - -49.967. Is d at most as big as -1?
False
Let q be (24/(-40))/((-4)/(-20)) + 3. Which is smaller: -15/13 or q?
-15/13
Suppose -22*r = -8*r + 42. Are -28/17 and r equal?
False
Let o(b) = b**3 - 14*b**2 + 16*b + 5. Let c be o(13). Suppose -9*h + 181 = -c. Is 25 not equal to h?
False
Suppose -864 = 6*j + 3*j. Let a = j - -482/5. Which is greater: a or -12/13?
a
Let q = -37.9 - -38. Which is smaller: q or -27?
-27
Let h be (-15)/45 + 451/120. Let b = h - 19/5. Suppose -5*p - 20 = -5*o, p - 3*p = o - 7. Is b equal to p?
False
Let j(q) = -2*q**2 - 6*q + 141. Let g be j(-10). Do 916 and g have the same value?
False
Let w be (-1054)/(-8)*4/(-7). Suppose t - 3*d + 37 = 124, 3*t - 2*d - 233 = 0. Let a = t + w. Is -8 <= a?
True
Let m = 0.23 - 18.23. Let t = 18.4 + m. Which is smaller: t or 1/2?
t
Let v be -23 + -3 + -1 + -1. Let u be 2348/v - (-10)/(-5). Let z = 86 + u. Do 1 and z have different values?
True
Let a = 0.1174 + -0.0174. Let q = -1.3 + 16.3. Which is bigger: a or q?
q
Suppose 630 + 346 = 8*y. Which is smaller: y or 124?
y
Suppose 0 = y - 0*y + 28. Let t = 2 - y. Suppose -f + 4*c + 20 = 0, -3*f - 4*c - t = -10. Are 0 and f unequal?
False
Let g = 1 + -7. Let u(m) = -m**3 - 4*m**2 + 5. Let t be u(-4). Let o(n) = n**3 - 5*n**2 - 3*n + 8. Let s be o(t). Are g and s nonequal?
True
Let a = 4/13 - -1/39. Let u = -16 - -31. Let k = -15 + u. Which is smaller: k or a?
k
Let d = 2.19 + -0.19. Let f = d + -1. Is f smaller than 9/4?
True
Suppose 2*o + 6 = -2, -2*u - 2*o = 24. Let w be (-2)/u + 268/144 + -2. Suppose v + 4 = 5*v. Is w equal to v?
False
Let p = -13441 - -13556. Let f = -60 + 175. Is f at least as big as p?
True
Let l be 2/(-13) - 369/(-117). Let h be 196070/50646 + (-1 - l). Let j = -2/1101 + h. Is j > 1?
False
Let v = 56 + -26. Let y = -30 + v. Which is smaller: y or -2/25?
-2/25
Let f(q) = -1196*q**2 - 13*q - 10. Let d be f(-1). Does d = -1193?
True
Suppose -55 = 11*c - 9*c + 3*v, 5*v = -5*c - 140. Which is smaller: c or -20?
c
Let b = -37 - -37. Let x = 411 + -21371/52. Is b at least x?
False
Let z = 72 - 72.09. Let d = 13 + -13.11. Let c = z + d. Do c and 1/2 have different values?
True
Let q = -1250 + 316. Let j = 32687/35 + q. Which is bigger: j or 1?
1
Let f be (16/4 - -78)/((-1564)/10). Let h = f - -8/23. Is -0.3 at most h?
True
Let i = -8.38 + 9.3. Let l = 0.08 + i. Are l and 5/3 non-equal?
True
Let a(w) = -3*w**3 + 5*w**2 + 13*w - 22. Let d be a(5). Which is greater: d or -413/2?
-413/2
Let q = -20.7 - -20.21. Which is smaller: 0.06 or q?
q
Let i = 6 - 15. Let l(y) = -y**3 + 10*y**2 - 18*y - 20. Let a be l(7). Which is smaller: i or a?
i
Let w = -8 + 7.3. Let q(m) = -m**2 + 2*m + 10. Let t be q(4). Which is bigger: t or w?
t
Let q be ((-1)/(-12))/(16/48). Is q >= 18?
False
Let k = -1997 + 2003. Is k at most 154/29?
False
Let r be (-8)/32 - (-23)/(-36). Suppose 7 = 5*q + 2*k + 21, 10 = -5*k. Is q smaller than r?
True
Let q be ((-72)/(-15) - 4)*(-45)/(-81). Is 0.063 greater than q?
False
Let r = -24 + 22. Let p be (r - (0 - 0))/(-2). Which is greater: 4 or p?
4
Let p = 3/22 + -17/44. Let v = 1.4 + -2. Which is greater: v or p?
p
Let t be -4 + -3 - (4 + -11). Which is smaller: -4/133 or t?
-4/133
Let r = 445 - 333. Which is bigger: r or 115?
115
Let p = 328 + -366. Which is smaller: -272/7 or p?
-272/7
Let g = -240 + 233. Which is smaller: g or -1/5?
g
Let l = 2216 - 2208. Which is smaller: l or -16?
-16
Let x = 6/113 + -155/791. Which is smaller: x or -17?
-17
Let t = -2.8 - 2.2. Let j = 2 + t. Let o = -12 - j. Is 0 != o?
True
Let q be 90/(-126) + 6/(-21). Which is bigger: q or 1/450?
1/450
Let m = 1.35 + 0.35. Let q = -1.61 + m. Which is greater: q or 0?
q
Let z = -411 - -333. Which is greater: -77 or z?
-77
Let b(f) = 207*f**3 + 2*f**2 - 3*f + 3. Let y be b(1). Which is smaller: y or 207?
207
Let d = -114 + 108.9. Let p = 5 + d. Is p <= 1/30?
True
Let s = 359 - 689/2. Let a = s + -315/22. Let q = -4/35 + -2/7. Which is bigger: q or a?
a
Let j = -382 - -417. Is j at most as big as 174/5?
False
Suppose -2*u + 3*q + 12 = 0, -5*q + 29 = -4*u + 49. Let o be (4/10)/(18/(-10)). Is u at most o?
False
Let a = 28079/141 + 9/47. Which is smaller: a or 199?
199
Let l(z) be the first derivative of 3*z**2/2 - 10*z + 4. Let r be l(5). Suppose 2*y = n + 3, 2 = -r*y - 3. Is n less than or equal to -4?
True
Suppose 20 = -0*r - 5*r, 0 = 5*p + 3*r - 23. Let w be p + 0 + (-3 - -3). Which is smaller: w or 3?
3
Let h = 159 - 160. Is h smaller than -121?
False
Let h(d) = d**3 - 5*d**2 - 5*d - 1. Let c be h(6). Let y be (-3)/((-6)/8) - c. Let j be (-3)/y - 57/12. Is j <= -3?
False
Let p be (-21)/8*8892/(-513). Which is smaller: 46 or p?
p
Suppose 2*f = g - 0*f - 4, 0 = g + f + 5. Let x = 4 - 0. Suppose 0 = -4*m - x - 4. Is m equal to g?
True
Let q = 228 - 198. Which is greater: 31 or q?
31
Suppose 4*x = -4, 12*x = -z + 10*x. Which is smaller: z or 4?
z
Let j = -303 - -167. Which is greater: j or -135?
-135
Let k = -95 + 101. Let b be -4 + k + (-4 - 0). Which is smaller: b or 0?
b
Let s be ((-12)/261)/((-4)/(-6)). Let i be (11/33)/(2/(-6)). Which is greater: s or i?
s
Let z = 84 + -84.71. Let f = z - -0.5. Let q = -0.01 - f. Are 3/4 and q unequal?
True
Suppose 46*d - 3726 = 28*d. Is 207 less than or equal to d?
True
Let v = -9.381 + 0.281. Is 0 smaller than v?
False
Let x(s) = s**3 + 7*s**2 + 4*s - 7. Let d be x(-6). Suppose -2*h + 16 - 2 = -n, -n = 2. Let y be (d - 3)/(h/(-21)). Which is greater: -5 or y?
-5
Let u = 1883/41123 + 3/1003. Which is greater: 0 or u?
u
Let u be (-129)/(-6) - 3/(-6). Let w = u - 28. Let l(v) = 4*v + 20. Let x be l(w). Is x smaller than -3?
True
Let n = 3 + -2. Let q be (38/(-4))/((-21)/14). Let g = 127/21 - q. Which is bigger: n or g?
n
Let d = -166 + 3819/23. Suppose 2*n + g = -0*g, -n + 1 = g. Which is bigger: d or n?
d
Let q be 39/16 - 80/100. Let t = q + -1/80. Is t < 1?
False
Let y be (26/(-6))/(8/(-24))*-1. Which is bigger: y or -15?
y
Let m be ((-18)/(-4))/((-5)/10). Suppose -2*l = -2*o, 54 = l - 5*o + 38. Is l smaller than m?
False
Let v = 4799/14 - 343. Let q = -2 + 3. Which is bigger: v or q?
q
Let s(p) = 2*p**3 + 12*p**2 - 3*p - 14. Let x be s(-6). Let q be -381*x/(-12)*1. Is 127 < q?
False
Let h = -104.5 - -93. Let g = h + 13.5. Are g and 62 equal?
False
Let j = -956 + 10510/11. Does 0 = j?
False
Let k = -127/306 + 1/306. Which is smaller: 1 or k?
k
Let v be -4*-2*3/204. Let s be -3*(2 + -1) - -1. Let j = s - -3. Which is smaller: j or v?
v
Let n = -931/2034 + 3/226. Suppose 2*f - 5*f = -4*h - 20, -h = -5*f + 5. Is f <= n?
False
Let a be (-29)/2 + 19/(-38). Let k be 1/(-12)*a*-12. Is k at least -16?
True
Let x = -2 - -46. Suppose -44 = -143*z + 142*z. Are z and x unequal?
False
Let z = 0.043 + 34.957. Is 0.2 > z?
False
Let k = -0.078 + -13.822. Which is greater: k or 3?
3
Let i = -1.26 + 0.95. Let h = i - 8.69. Which is smaller: -2 or h?
h
Suppose 2*z - 12*z = 0. Which is bigger: -1/50 or z?
z
Let s be 9 - (-1 - (-1 - -10)). Which is bigger: 178/9 or s?
178/9
Suppose -3*w + 590 = 2*w. Which is greater: w or 473/4?
473/4
Suppose y = -m - 5 - 12, -2 = 2*y. Let b be 17 + m + 1 + -4. Let x be b/((-14)/(-5)) + 1. Do -0.17 and x have the same value?
False
Let a be 50/15*(-3 + (-1278)/(-430)). Which is smaller: 1 or a?
a
Let n = 9912/583 - -1296/53. Which is greater: n or 41?
n
Suppose 5*v = 10, 4*x + 0*v - 32 = -4*v. Let y be (-32)/x + (-4)/6. Which is greater: -0.2 or y?
-0.2
Let u(n) = 3*n**2 + 14*n + 29. Let h be u(-8). Is 116 <= h?
False
Let y(m) = 2*m - 4. Let s be y(3). Suppose 8 = 2*f - s*h, -3*h + 8*h + 12 = f. Is 0.04 bigger than f?
False
Let x(w) = w**3 + 3*w**2 - 6*w - 5. Let g be x(-3). Suppose n - 2*n = t - 33, 0 = n - 3*t - g. Suppose -2*y + n + 18 = 0. Is 24 < y?
False
Let w = -2.65 - -0.15. Let k = w + -1.5. Let t = 0.4 - 0.6