. Let x be (-3)/1*u + -4. Let l = -1793/1575 - 1/225. Is x greater than l?
True
Let d = 8 - 1. Let v = -1.4 + 7.4. Let r = v - d. Which is smaller: -6 or r?
-6
Suppose 0 = n - 5*n + 4*d + 372, -5*n - d + 483 = 0. Let f = -79 + n. Is 16 <= f?
True
Let u be -246 + (-12)/(-10) + 2/(-10). Is u at least as big as -245?
True
Let v(s) be the first derivative of -s**4/4 - 4*s**3 - 13*s**2/2 + 3*s - 7. Let f be v(-11). Is 26 > f?
True
Let a = -2 - -3. Let s = 213.63 - 213.7. Which is bigger: a or s?
a
Let t be (-3)/((-60)/16)*-15. Let k be (-4)/t*(1 - -2). Is -1/5 at least k?
False
Let c be (-15)/49*(100/(-64) + 0). Let p = 7/16 - c. Is 0 equal to p?
False
Let m(x) = 7*x - 110. Let u be m(21). Is 71/2 not equal to u?
True
Let c = 5 + -7. Let y be 31/9*93/c. Let t = -161 - y. Is t at least -1?
True
Let n be ((-748)/(-130))/(-2) + 75 + -72. Are 0 and n equal?
False
Let k = 11.8 - 11.6. Is k at least -15.1?
True
Let w = -0.394 - -478.394. Does -2 = w?
False
Let n be (15 + 300/(-40))*(-3 - -1). Is n >= -13?
False
Let s be 392/(-18) + 455/(-63) + 7. Is -23 greater than s?
False
Suppose 3*f + 2*i = 1584, 36*f - 41*f - 5*i + 2640 = 0. Is f <= 529?
True
Suppose 5*f + 6 = 3*f. Let y = 26 - 59. Let p be y/(-12)*-2 + 2. Are p and f unequal?
True
Let c = -632600/89 + 7108. Is c at most as big as 1?
True
Suppose 112 = -9*c - 77. Which is greater: -20 or c?
-20
Suppose 0*f + 9 = -3*f - 4*r, 4*f = r + 7. Let j be 1*2 - (f - 1). Let t(x) = -x**3 + 7*x**2 + 6*x + 18. Let b be t(8). Is j >= b?
True
Suppose 0*d + 2*b + 532 = 2*d, 3*b - 1099 = -4*d. Let i = 3529/13 - d. Let x be (1/2)/(2/(-4)). Which is smaller: x or i?
x
Let p be 6/(-33) - (-47960)/242. Is p bigger than 200?
False
Let o = -52 - -46. Let w be (-22)/o + 2/6. Which is smaller: 22/7 or w?
22/7
Let j be (-10)/8 - 8442/(-6664). Let o(c) = -c**3 - 7*c**2 - 1. Let h be o(-7). Which is bigger: h or j?
j
Let n be 16215/(-4914) + 1 + 2/1. Let u = n + 2/91. Which is smaller: 1 or u?
u
Let p = -325/6 + 971/18. Which is greater: p or -1.72?
p
Let u = 443 + -442.9. Are u and -0.28 unequal?
True
Let q = -712/3 - -238. Which is smaller: q or -20?
-20
Let p = -61 - -60.952. Let q = 0.048 + p. Which is bigger: q or 3?
3
Let i = 51 + -50. Let p be (i/(-3))/(8/(-24)) + 0. Let m = 175 - 1223/7. Is m bigger than p?
False
Let z(i) = i**2 + 7*i - 2. Let k be z(-7). Let w be k/4*1*-30. Suppose -4*l - w = g, 4*g = -2*l + 3*g - 7. Is l > -4?
False
Let u be (-1 - -2)/(2 - 1). Let q be (0 - 2)/(89/(1335/(-270))). Which is bigger: u or q?
u
Suppose i = 9 + 5. Let j be (-5)/(10/(-21) - 9/(-63)). Is j smaller than i?
False
Let x = -1/3075 - 42869/556575. Are 0 and x equal?
False
Suppose -445 - 59 = 21*r. Do r and 0.2 have different values?
True
Suppose -5*s + 2*u = 3*u + 1336, -3*u = -s - 280. Which is bigger: -267 or s?
-267
Let o be ((-4)/(-3))/2 - (-195)/(-1305). Which is smaller: 2 or o?
o
Let n = -0.15 - -0.05. Which is bigger: 29 or n?
29
Suppose 5*r - c + 12 = c, -2*r - c = 3. Are r and -32/17 nonequal?
True
Suppose -621 = 5*k - 14*k. Is 68 at least as big as k?
False
Let m = 197.91 - 198. Let y = 0.3 - 0.3. Which is smaller: y or m?
m
Let u = -187 - -427. Is u <= 1?
False
Suppose 4*d - 52 = -5*a + 7, -2*d + 25 = a. Let c be 2/(-2) + 24/8. Suppose -3*z + z = -2*s - 10, 0 = -3*z + c*s + 20. Which is bigger: z or d?
d
Suppose 2*d = b - 1, -5*b + 4*d = 3*d - 41. Suppose 2*m - 266 = b*m. Which is smaller: -37 or m?
m
Suppose -3*f + 2*x = -2*f, -f + 4*x - 2 = 0. Let z be 9/36 - (-35)/(-12). Which is smaller: f or z?
z
Suppose 3*p = 2*p - 6. Let l = 6.8 + -6. Let s = l + -0.7. Which is smaller: p or s?
p
Let t be ((-10)/(-4) - 2)/2. Let u(d) = -d + 4. Let m be u(2). Let j be m + 1*110/(-56). Is t < j?
False
Let k = 12.1 - 2.1. Let x(q) = q**2 - 8*q + 8. Let p be (-3)/(10/6 + -2) - 2. Let l be x(p). Is l less than k?
True
Let a be (((-8)/3)/(-2))/((-56)/(-42)). Is a != 2/57?
True
Suppose 0 = 2*t - 4*o + 2, o - 21 = 5*t - o. Let z be (-1 - t - 40) + 0. Is z >= -1/4?
False
Let j = 443 + -247. Let v be ((-16)/j)/(4/(-2)). Suppose 2*a - 3 = -5*n + 9, -3*a = 4*n - 11. Which is smaller: v or a?
v
Let p = 2114/11 - 7871/33. Suppose l + 29 + 17 = 0. Let d = l - p. Which is greater: -12 or d?
d
Let y be 7*(-12)/(-14)*2/6. Suppose 0 = -5*c + 4*s - 0*s - 3, -y*s = -4. Does 2/141 = c?
False
Suppose 4*p - 38 = -6. Let u = 58 + -49. Is p less than u?
True
Let a(y) = y**3 - 8*y**2 + 2. Let z be (-64)/(-12)*(-3)/(-2). Let n be a(z). Let j be 1*((n - 1) + -3). Is j bigger than -4?
True
Let c = -2 - -2. Suppose -j + 11 = -c*j. Let o = 10 - j. Which is greater: 1/11 or o?
1/11
Let k(g) = -8*g**3 - 4*g**2 - 6*g - 13. Let t be k(-3). Which is greater: 186 or t?
186
Suppose -24 = 18*o - 12*o. Which is bigger: o or 5?
5
Let o = -139657/9 - -15495. Which is greater: o or -22?
-22
Let h = -1428 - -1404. Is -12 at least h?
True
Let j(h) = -h**2 - 6*h - 5. Let l be j(-6). Which is smaller: l or 2?
l
Let j = 117 + -74. Let g = 43.11 - j. Is 0 <= g?
True
Let c be 26811/2142 + 2/(-1). Let x = -2/119 + c. Is x equal to 11?
False
Let g = -0.4308 - 0.0092. Let y = -8 - -8.1. Is g greater than y?
False
Let d = -1560 + 930. Do d and -630 have different values?
False
Let t be (-1995)/7475 - 26/(-169). Which is greater: t or 1?
1
Suppose 0 = 3*u - 7 - 11. Suppose -u*c - 10 = -11*c. Which is bigger: c or 9?
9
Let d = -12 + 48. Suppose d*j + 5 = 41*j. Which is greater: j or -5/11?
j
Let z = 93 + -158. Is z greater than -0.1?
False
Let d = 3093 + -52605/17. Is d at least as big as 1?
False
Suppose 3*x = -4*s + 17, -3*x + 5*s = 2*s - 3. Suppose -3*m = -5*t + 10, -4*t + 9*t = 4*m + 5. Suppose -1 = m*q - 16. Is x not equal to q?
False
Suppose 75 = -9*b + 6*b. Let o = b + 28. Which is bigger: o or -1?
o
Let f(g) = 9*g - 1. Let w be f(-2). Let z = 21 + w. Which is bigger: z or 5/4?
z
Let f = 9 - 8. Suppose 0 = -4*h + 4*a + 16, -6*h = -2*h + a - 16. Let w be (f/h)/((-72)/128). Is -1 at most w?
True
Let m = 821 + -463. Which is bigger: m or 359?
359
Suppose -3*k + 5*k + 4 = 2*z, 0 = -z + 5*k - 10. Suppose 0 = -z*f + 4 + 6. Suppose -f*j + 4*j = -n - 8, -n = -2*j + 8. Which is smaller: -9 or n?
-9
Let z = 1267 + -1284. Is z at least -1.4?
False
Let y be 5/7 + 1/(-1). Let u = 0.6 - 32.6. Do u and y have the same value?
False
Let p be -3 - (2458/(-732) - (-56)/168). Is 0 at most as big as p?
True
Let s = -19/6 + 2887/906. Which is greater: -1 or s?
s
Let c = 6 - 22. Let z be (-3)/(1 + c) + (-86)/280. Let j(w) = w + 3. Let a be j(-2). Is a smaller than z?
False
Suppose 10*h + 64*h = -62*h + 3128. Let u = 80 - 57. Is u <= h?
True
Let f = 0.108 + 0.892. Are f and -8 unequal?
True
Let x be (0/2 + 2)/(-1). Let o = -302 + 306. Is o less than or equal to x?
False
Let g = 11 + -14. Let u be (127/42 + -3)*134 + g. Which is bigger: 1 or u?
1
Let s(b) = -29*b**2 - 234*b + 9. Let k be s(-8). Is 25 <= k?
True
Let u = -34.13 - -34. Let s be (-9)/(-12) + 140/(-144). Is s less than or equal to u?
True
Let u = -1196590/257 - -4656. Let k = -532/2313 + u. Which is bigger: -1 or k?
k
Suppose 105 = 4*j + 3*j. Let o be (((-50)/j)/(-5))/(-22). Which is smaller: 0 or o?
o
Suppose -2*y - 3*q = -8*q + 41, 0 = 3*y + 4*q + 4. Let l = -0.2 - 0. Let a = -0.3 - l. Which is smaller: y or a?
y
Let c = 0.38 + -0.38. Is 0.07 >= c?
True
Let v = 170/21 + -3733/462. Let l = v - -41/198. Are l and -8 nonequal?
True
Suppose 20 = d + 4*k, -5 + 10 = -2*d + k. Let x(a) = -a**2 - 8*a + 9. Let y be x(-7). Suppose 2*v = 2*p - v - y, p + 14 = -4*v. Is p bigger than d?
True
Suppose 5*t - 42 = 5*z - 392, 0 = -2*z + t + 144. Let x = z - 65. Which is smaller: 10 or x?
x
Let k be -1*(-2)/3 - 1208/12. Let l be k/72 - (-4)/(-36). Is -1 >= l?
True
Let m be (-1)/(-4) - (-460)/16. Let j be 16/5 - (-12)/(-60). Suppose -5*y + 81 = -4*z - 80, 4*z + 103 = j*y. Are y and m nonequal?
False
Suppose 4*a = -104 - 132. Let k = a + 64. Is k at least 7?
False
Let a = -243 + 240. Is a < 0?
True
Let n = -0.2 - -0.7. Let b = n - 0.5. Let s = -0.7 - b. Which is smaller: s or 2/5?
s
Let p be 15/(-9) - 15/(-10). Let x be (-15)/(-2) + (-7)/(-14). Let n = -33/4 + x. Which is smaller: p or n?
n
Suppose -3*d - 2*i = -4*d + 9, -5*i - 20 = -2*d. Suppose 0 = -d*a - 4*o - 31, -a - o = 3*a + 27. Is -2 at least a?
True
Let f = 1289.2 + -1178. Let g = f + -111. Let