0.05 + 2.95. Let n be (-34)/6*12/4 - -2. Let d be n/3 - (-3 + 6 - 6). Is d bigger than b?
False
Let a(r) = 48*r - 4. Let o(u) = u**2 - 3*u - 19. Let t be o(6). Let k be a(t). Is -53 <= k?
True
Let q = 70.9092 + -0.0092. Let b = q - 74. Let w = 2.4 + b. Which is greater: 1/4 or w?
1/4
Let m be (2/282)/((-40)/(-5160)). Which is greater: 2 or m?
2
Let j(g) = -4*g**3 - 3*g**2 + g - 2. Let s(q) = -4*q**2 + 19 + 2*q - 11 - 11 - 6*q**3 + q**3. Let i(n) = 6*j(n) - 5*s(n). Let l be i(2). Is l bigger than 11?
False
Let z be -3*(0/(-1) - -3). Let q be (z/(-24))/((-1)/6). Let u = 521 + -524. Which is smaller: u or q?
u
Suppose -9*s + 8 = -7*s. Suppose k + 3*o = -6, 0 = s*k - 0*k + 5*o + 3. Suppose -21 - 27 = k*y. Is y at least as big as -31/2?
False
Let j be 15 + -3 + -1 - -3. Suppose 3*c - 18 = 2*l - 5*l, -4*l - 2*c = -j. Which is smaller: 6/13 or l?
6/13
Suppose -2*x - s - 16 = 0, 3*x + 12 = 5*s - 12. Let i = 6 + x. Are i and -9 nonequal?
True
Let h be (-3898)/26 + (0 - 4). Let m = 154 + h. Do m and 1 have different values?
True
Let k = 163 - 2613/16. Let l = 1 + -1. Is k < l?
True
Let u(j) = -j**3 + 7*j**2 + j - 43. Let h be u(6). Which is smaller: h or 3/125?
h
Let z = 3 - 8. Let i = 3.99 - -0.01. Let j = i + z. Is 0.04 greater than j?
True
Let l = -62 - -83. Let b = 53 + -33. Is l >= b?
True
Suppose 6*c = c + 15. Suppose -c*g + 2*n + 2*n = 12, 5*g + 9 = 3*n. Let o be ((-10)/(-15))/((-10)/21). Which is smaller: o or g?
o
Let u = -31.949 + -0.051. Let r = -30 - u. Which is smaller: -15 or r?
-15
Suppose 580 = -14*f + 19*f. Let u = 83 - f. Is -31 greater than u?
True
Let n(u) = u**2 + 5*u + 3. Let j be n(-3). Let a = -2 - j. Is a at least as big as 3/13?
True
Let c(l) = l**3 + 4*l**2 + 4*l + 3. Let a be c(-3). Let s be ((-424)/3)/((-104)/324). Let j = 440 - s. Is a at least as big as j?
True
Let z = 92 - 40. Let y = -54 + z. Which is greater: y or 36?
36
Let b(x) = -4*x**3 + 2*x**2 - 1. Let n be b(-1). Let l be (-267)/445 + (-1142)/(-45) + 1. Let i = l - 998/45. Is n greater than or equal to i?
True
Let r be 24*((-30)/(-80))/(6/28). Let t = 42 - r. Is t less than -6/13?
False
Suppose -801*w + 780*w = -1113. Which is smaller: 49 or w?
49
Let i be 4/((15/(-2))/(-15)) + -7. Let r = -3/67 + -10/1273. Do r and i have the same value?
False
Let t be (-1)/(-1) + (3 - 7)/(-4). Let w = -2 - -4. Suppose -t*f = 3*z - z + 6, 6 = w*z - f. Is -1 smaller than z?
True
Let f = 2576 - 2550. Is 35 < f?
False
Let d be (-2)/2 - 23/(-25). Let l be (477/(-135) - -4)/(-15). Let i = l + d. Is 0 at least i?
True
Let w be 7*2*(-3)/6. Suppose -4*x + p = 24, -3*x + 4*p + 3 - 8 = 0. Let a = x - w. Which is bigger: 1 or a?
1
Let d = -0.0811 - 7.9189. Let x = 0.3 + -8.8. Let u = d - x. Does -0.2 = u?
False
Let m be 1/(-1 - -2 - (-126)/(-129)). Let q = m - 53. Is q < -10?
False
Let v be ((-29)/27)/(-1) - 1. Let k(t) = -t**2 + 2*t + 17. Let r(o) = o**2 - 3*o - 17. Let h(p) = 4*k(p) + 5*r(p). Let n be h(9). Is n < v?
False
Suppose 0 = 2*r + 2*r. Suppose 2*m - m = -5, r = 5*d + 3*m + 70. Suppose -s = t + 10, -5*t = s - 3*s - 27. Are s and d non-equal?
False
Let a = -1.4 + -12.6. Let w = 40 + a. Is -1 less than w?
True
Suppose s - 22 = 3*s. Let z = -638 + 1255/2. Which is greater: z or s?
z
Let q = 403 + -403. Which is smaller: 2.75 or q?
q
Let f(v) = -3*v + 3. Let m be f(-1). Let o(z) = -2*z + 17. Let b be o(m). Is 5 not equal to b?
False
Suppose 105 - 21 = -14*z. Let p be 10/z + (-6 - -8). Is p greater than or equal to 41?
False
Let n = -1417 + 1218. Is n at most 0?
True
Let b = 15.1 - 1.1. Let s = 15.23 - 0.23. Let l = s - b. Which is greater: l or -3/4?
l
Let u be (-18)/22 + (-4)/22. Let c = -1120 + 485. Let r = c + 31117/49. Which is greater: r or u?
r
Suppose -3*d - 3*d = -18. Let m be 13 + (-4 - -3 - d). Let z = m - 32. Is z > -24?
True
Let z = 179/6 - 30. Suppose -3*l - j - 4*j = 5, 0 = -5*l - 2*j - 2. Which is smaller: l or z?
z
Let a = 3 + -11. Let q be (-2384)/22 - (-4)/a. Let z = -217/2 - q. Which is smaller: 0 or z?
0
Suppose -834 = 3*r - c, 5*r - 3*r = -5*c - 573. Is r less than or equal to -279?
True
Let y be (4/910)/((-14)/70). Which is smaller: 0 or y?
y
Suppose -66 = -5*c + 119. Suppose -86 - 136 = -6*a. Is a greater than or equal to c?
True
Let n = -2/1267 - -971/41811. Let l = n - -4/33. Which is smaller: l or -1?
-1
Suppose -4 = -5*r - l - 35, 4*r + l = -24. Which is smaller: r or 14?
r
Let s = -662/11 - -60. Let o = -43 + 33. Let a = o - -112/11. Which is smaller: s or a?
s
Let h = -1.099 + 0.599. Which is greater: -0.04 or h?
-0.04
Let r = -2.7 - 8.44. Let g = r + 9.3. Let s = g + 1.7. Is s equal to 2/3?
False
Let w be 70/(-315) - 22/(-18). Does -3/113 = w?
False
Suppose 0 = 20*t + 81 + 39. Which is bigger: t or -57/8?
t
Let c = -21 - -24. Let k = -47 + 46.93. Which is greater: k or c?
c
Let h = 157.96 + -133.1. Let w = 25 - h. Which is smaller: -1/2 or w?
-1/2
Let q = 121/2 + -62. Let j = 1 + q. Is 0.1 at most j?
False
Let b(u) = -u - 16. Let n be b(-9). Let i(a) = -4*a - 22. Let k be i(n). Let x be k/(-75)*4/8. Which is smaller: 1 or x?
x
Suppose 3*w + 2*w = -i - 9, 1 = -i - 3*w. Let d(c) be the second derivative of c**4/12 - 3*c**3/2 - 19*c**2/2 - 41*c. Let y be d(i). Is y less than -2?
False
Suppose 5*l + 10 = 0, 2*l = -x + 3*x - 512. Is x smaller than 253?
False
Let w(o) = -2*o**3 + 31*o**2 - 14*o + 6. Let f be w(15). Which is smaller: f or 19?
19
Let a = 85 + -85.33. Let j = a + 1.03. Is -7 smaller than j?
True
Let r = -101 + 90. Let b = r + 12. Which is greater: 1/2 or b?
b
Suppose -4*j + 64 = 376. Which is greater: -82 or j?
j
Suppose 2*p = -2*d + 40, d - p = -3 + 13. Let a be (4 - 32/28)*d/4. Is 12 less than or equal to a?
False
Let n = 33.3 + -33.36. Is -4 <= n?
True
Let n be (30 + 0)*(-8)/12. Let f = -145 - -124. Which is smaller: n or f?
f
Let o = 13 + -14. Let y = 15 - o. Suppose 0 = -2*s - y. Do -7 and s have the same value?
False
Let z = 1626/5 + -360. Is z at least as big as -35?
True
Let x = -2437/315469 - 1/3374. Which is smaller: x or -1?
-1
Suppose 7*n = v + 3*n + 18, -v + 5*n - 23 = 0. Suppose -v*q + 108 = -6*q. Which is greater: q or -26?
-26
Let p = -0.12 + 0.24. Let b = p + 0.68. Let v = b - 0.72. Which is bigger: v or 0?
v
Let n(l) = -l**3 + 13*l**2 - 5*l - 8. Let k be n(10). Is k at most 241?
False
Suppose -9*g - 20 = -10*g. Suppose 2*i = z - 3, -2*z + 6*z - g = 0. Do 2/23 and i have the same value?
False
Suppose 2*w - 44 = -3*s + 3*w, 3*s - 50 = 4*w. Is s bigger than 14?
False
Let s = -54 - -38. Let k = 61 - 61. Is k < s?
False
Let y = 12 - 9. Suppose -y*u + f + 40 = 0, 0 = -3*u - 0*f - 4*f + 65. Suppose -5*x + v + 28 + 47 = 0, 2*x - v = 33. Which is greater: x or u?
u
Let q = -22.8 - -22.86. Let m = 1 - 0.7. Which is smaller: m or q?
q
Let b = 5210/3 + -1725. Do b and 4 have the same value?
False
Let x = 112 + -100. Suppose x*q = 3*q - 63. Which is bigger: 4 or q?
4
Let i = 109 - 83. Let r be (-20)/i - 1 - (-6)/6. Is r at least as big as -2?
True
Let w = 198 - 367. Let u = w - -669/4. Let s be ((-14)/(-8) + -2)/(-1). Is u <= s?
True
Let d be 7 - (18/(-3) - -39). Is d smaller than -20?
True
Let t(k) = -3*k**2 + k + 1. Let l be t(-1). Let n = 1271 + -1275. Is n at most l?
True
Let n = -66.6 - -66.7. Which is bigger: -145.4 or n?
n
Let w be 51*1/(-3)*1. Let v = w + 11. Let k be (v - 4)*1/(-14). Which is bigger: 2 or k?
2
Let k = -2128 - -1979. Which is smaller: -151 or k?
-151
Let k = 1.7 + -1.74. Let w = -0.14 - k. Let g = -0.3 - w. Is 4 greater than g?
True
Suppose 105 - 110 = -i. Which is smaller: i or 19?
i
Let o = -0.03 - 0.17. Suppose -11*j = -13*j + 2. Is o bigger than j?
False
Suppose 60 = 2*g + 2*g. Let b be 65/1*3/g. Which is smaller: b or 2?
2
Let u = -2252 - -2260. Let l be (-4 - -3)*6/(-8). Which is smaller: l or u?
l
Let q = 21.9 - 21. Let d = -1.8 + q. Let w = 0.4 + d. Are 0.2 and w unequal?
True
Let v be 9/(27/1164) - -2. Is 388 less than v?
True
Let j = -1.34 + -2.96. Is 1/2 less than or equal to j?
False
Let i = 376 - 380. Which is greater: i or 2/33?
2/33
Let y = 46.13 - 46.4. Is 0.02 != y?
True
Let w = -32 + 38. Let z = -6 + 11. Do z and w have different values?
True
Let b = 23 - 8. Suppose 3*v = 2*h + b, -2*h + 5*h = -4*v + 3. Which is greater: h or 3?
3
Let p be (-266)/(-11) + (-14)/77. Is 24 at most p?
True
Let v be