
True
Let j = 24.2 + -24. Is 22 <= j?
False
Let x = -14 + 18. Suppose 2*o + 2*y + 13 = y, 3*o + x*y + 32 = 0. Which is bigger: o or 1?
1
Let q(r) = -4*r - 3. Let s be q(-3). Suppose t + 8 = s. Suppose 3 = -2*m - t. Is -2 >= m?
True
Let n = -5 - -16. Suppose -11*f + 7*f = 2*y + 2, f - 3 = 3*y. Which is bigger: y or n?
n
Let b be 368/(-10) - (-7)/(-35). Let j = 69 + b. Let z = j + -63/2. Is 0 greater than or equal to z?
False
Let k = -0.7 - -0.92. Let p = 0.22 - k. Suppose 5*b + o + 8 - 2 = 0, -3*o - 6 = 3*b. Which is bigger: p or b?
p
Let b be 2/(-30) + (-10)/30. Is b not equal to -72?
True
Let m = 1253 + -1288. Which is greater: m or -217/6?
m
Let q = -6902 + 441743/64. Which is greater: q or 1?
1
Let o = -2/6362939 + -364131910115/120895841. Let p = -3011 - o. Which is greater: p or 1?
1
Let d(i) = -i**2 - 13*i - 16. Let n be d(-8). Suppose -11 = -3*y - 2*h + n, 0 = -3*y + h + 23. Are 10 and y unequal?
True
Let t(v) = 10*v**2 - 1. Let a be t(-1). Suppose -96 = a*y - 5*y. Is -24 < y?
False
Let s = -164831/106 - -1555. Let q be 1*(2 + -2 - -1). Which is bigger: q or s?
q
Let c be ((-1)/2)/((-6)/(-36)). Let d be (-1 - (-18)/3) + c. Which is smaller: d or 1?
1
Suppose 6*p = 7*p - 5. Suppose 2*s - p*s = -2*s. Is s != 1/136?
True
Let o be (105/(-25))/(3/9). Let s = 35 - 48. Which is greater: o or s?
o
Let d be (-24)/(-3) - (-181)/(-24). Is d greater than -1?
True
Suppose -593 = -3*d - 440. Which is greater: -1 or d?
d
Suppose -4*b - 17 = 11. Let q = -73 - -75. Suppose 3*k - 2*o + o + 14 = 0, 3*o = q*k + 21. Does b = k?
False
Let b be 12/(-183)*(-9)/8. Is b < 0?
False
Let i = 37 + -101/3. Let m be (-4)/(8/12*-2). Which is smaller: m or i?
m
Let b be 1 - ((-2 - 1) + -1). Suppose 5*d = r - 3*r + 3, b*d + 4*r = 1. Let x = 485 + -9213/19. Is d greater than or equal to x?
True
Let s = 4.8 - 5. Let h be 2*(-4)/20*(-445)/6. Let g = h + -29. Which is bigger: s or g?
g
Let i = 20 + -2. Suppose 1 = 17*k - i*k. Is k bigger than -1?
False
Let j be (7/(-42))/(-5 + (-1144)/(-231)). Let r = 4 - 0. Is r at most j?
False
Let y = -20.9 - -21. Which is smaller: -0.06 or y?
-0.06
Let y = 43 - 40. Which is greater: 18/11 or y?
y
Let x be 6/4*160/(-45). Suppose -3*f + 32 = 47. Which is smaller: f or x?
x
Suppose x + 9*d = 7*d - 6, -5 = x + d. Let l = 0.4 - -0.3. Is l > x?
True
Suppose -3*c - c = -4*n - 8, -2 = 5*c - n. Let s be 120/32 + c/(-4). Suppose 5*p + s = -6. Is p greater than -13/6?
True
Suppose 0 = -2*q + x + x + 10, 3*q - 5*x - 25 = 0. Suppose -2*a = -5*h + 123, -h + 4*a + 0*a + 21 = q. Is h > 23?
True
Suppose -3*x + 4*x = 13. Suppose 5*t + 19 = 2*k, -2*k + 0*t + 3*t + x = 0. Suppose -2*l - 3 = k*f + 3, 0 = 3*f + 2*l + 4. Is 4 >= f?
True
Suppose 9*h + 4*g = 4*h + 28, -h + g + 11 = 0. Let u = -4 + h. Suppose -u*w + 7 + 13 = 0. Is w equal to 7?
False
Let g(o) = o**2 - 12*o + 20. Let v be g(10). Let m(k) = 0 + 0 + k**2 - 2*k. Let r be m(v). Is 5/13 > r?
True
Suppose -2*v - 10 = 29*z - 30*z, 0 = 2*z + 2*v + 10. Suppose l = 3*o - 1882, 0*o + 3*l + 1878 = 3*o. Let n = 11938/19 - o. Which is smaller: z or n?
z
Suppose -x - 2*i - 5 = -0, -3*i = -5*x + 14. Suppose 0*t - t - 12 = -3*k, 3*t + 4*k = 29. Let b = t - 5. Is b > x?
False
Suppose 35*k + 222 + 198 = 0. Which is smaller: k or -26?
-26
Let i be (7*14/49)/((-619)/(-6)). Which is smaller: i or 0?
0
Let z be 5/2 + -2 + (-35)/66. Let k = z + 23/33. Are k and 1 equal?
False
Let h = -980/9 - -2095/18. Which is smaller: 8 or h?
h
Suppose -5*n + 5 = 2*z + 2*z, 0 = 2*z + 5*n + 5. Suppose -81 = -z*y + 44. Is 25 greater than y?
False
Let l = 238 - 238. Is l less than -0.7?
False
Let z = 72 - 71. Is 39/22 at most z?
False
Suppose -10*n = -14*n + 16. Suppose -u + n = -5. Let o be (0 + -27)*1/(-3). Is u greater than o?
False
Let f(a) = a**2 + 11*a + 16. Let d be f(-5). Which is smaller: -12 or d?
d
Let d = 8 - -3. Let l = d + -9. Let r = -4/131 + -210/1703. Is l less than r?
False
Let s = 5231/38 + -277/2. Which is smaller: 0 or s?
s
Let c = 156 + -2966/19. Which is bigger: c or -1/65?
-1/65
Let l = 59/3 - 416/21. Suppose 0 = -67*p + 48*p - 19. Is p <= l?
True
Let a = -715 - -2855/4. Let h(t) = -2 - t + 4*t - 4*t. Let r be h(-3). Is a less than r?
True
Let x be -9 + 2982/3 + 3. Is x at least 988?
True
Let w be (0 - 4/2)/((-1222)/78). Is w smaller than -1?
False
Let g be -24*2/6*2. Suppose -14*a + 17*a + 255 = 0. Let f = -101 - a. Is f not equal to g?
False
Let h = -0.5 + 0.74. Let n = h - 2.24. Let o = n - -2. Is o greater than or equal to 0.07?
False
Let k = -2 + 5.8. Let s = 3.61 - k. Which is smaller: 2/7 or s?
s
Let d = 0.025 - -0.835. Let z = d - -51.14. Do z and 1 have different values?
True
Suppose 8*q - 2*q = -24. Let n(a) = -a**2 + 3*a + 3. Let b be n(q). Which is smaller: b or -24?
b
Let g(d) = d**2 - 6*d + 9. Let f be g(2). Let q = 1187/11 - 108. Are q and f equal?
False
Let h = -9 + 11/3. Let d be ((-1 - -2)/(-1))/((-87)/(-522)). Is d < h?
True
Suppose 3*f - 6 = 3*v, -2*f = 5*v - 0*v + 38. Let y = v + 3. Let j be (-10)/(-8)*(-3)/(360/168). Is y <= j?
True
Let l = 1.979 - 1.079. Are 76 and l equal?
False
Let u be (-609)/(-70)*(-6)/(-9). Is 5 bigger than u?
False
Let o = -65154 + 175720336/2697. Which is greater: 1 or o?
1
Suppose -7*a = -22 - 20. Let x be a + -2 - -2*12/3. Is x != 8?
True
Let f be 695/(-235) - ((-3 - 1) + 1). Which is greater: f or 4?
4
Let i be ((-2)/(-14))/(5/10). Let z(p) = p**3 - 9*p**2 + 5. Let j be z(9). Suppose 0 = j*x + 4 - 9. Is i less than or equal to x?
True
Let d(k) be the third derivative of -k**4/24 + 4*k**3/3 + 4*k**2. Let u be d(6). Let y be 0 - (-2 + u + -1). Is 0.6 > y?
False
Let x(l) = l - 4. Let p be x(6). Suppose -6 = p*b - 18. Is 6 less than b?
False
Let b = -1.4 + -3.7. Let u = 5.4 + b. Is 27 >= u?
True
Let d = 13.73 - 14.3. Let o = d + 2.57. Is 2 < o?
False
Suppose -2*o = -o - 1. Let c be (-6204)/18*1/(-4). Let t = -86 + c. Which is greater: o or t?
o
Suppose 4*l = 5*f - 32 - 7, 3*f = -2*l - 3. Let j be l/(-36) - 1/(-3). Is j at least as big as 0?
True
Let p = -52 - -91. Let z = p + -37. Do 7 and z have the same value?
False
Let s(n) = -2*n**2. Let r be s(-1). Let h be 3 - (-3 - -6) - -2. Let u be h/(-7) + 19/(-7). Is r at most as big as u?
False
Let c = -43 + 30. Let s = c + 7. Let j be s/(-9) - 28/12. Which is smaller: j or -2?
-2
Let u = -9.276 + 0.176. Let t = u - -7.5. Is t <= -2?
False
Suppose -4*j - 46 = -5*m - 0*m, 21 = 2*m + j. Let p be -1 - -1*m/15. Which is smaller: 2/17 or p?
p
Suppose -4*g - 3 = 1. Let m be 9/14 + (-3)/2. Which is smaller: m or g?
g
Suppose s - 2*f = -5*f - 15, 5*f + 25 = 0. Let i be 1*((2 - (0 + -1)) + s). Is i smaller than 18/5?
True
Let d = 8/4771 - 2185158/23855. Is d less than or equal to -92?
False
Let w = 12 + -40. Let u = 29 + w. Let l be -4 + (u - (-57)/21). Is 5 bigger than l?
True
Let w = 25 + -9. Let k(m) = 17*m + 135. Let h be k(-7). Is h < w?
False
Let d(k) be the second derivative of 9/2*k**2 - 2*k - 1/6*k**3 + 0. Let x be d(8). Is 3/5 <= x?
True
Let l = 336 - 310. Do l and 7 have different values?
True
Let n be (-88)/(-20) + (-4)/10. Suppose j = -n*d + 5*j - 36, -4*j = 4*d + 12. Let q be ((-4)/d)/((-48)/(-18)). Which is bigger: q or -0.5?
q
Let g = -5 + 5. Suppose -3*p - 5*w - 7 = g, 0 = 2*p + 4*w + 2 + 6. Let h(b) = -4*b + 11. Let o be h(p). Is -14 greater than or equal to o?
False
Let j(l) = 9*l. Let c be j(1). Let m be 6 + (30/(-3))/(-2). Is c not equal to m?
True
Suppose 4*l = c - 28, 9*l - 10*l = 4*c - 27. Which is smaller: c or 3/2?
3/2
Let q = 0.661 - 0.641. Is q at least -0.6?
True
Let q = -327 + 326.59. Is -0.1 > q?
True
Let a = 12 - 4. Let q = -3 + a. Suppose -q*d - 10 = -4*k, 2*k - d + 4 = -3*d. Which is smaller: k or 2/65?
k
Let k be (-1)/((-1)/4) - -1. Let b be -4 + 14 + -9 + 3. Suppose 0 = -b*q - 8, 2*q = -k*t - 2*q - 43. Are t and -7 unequal?
False
Let o = 4 + -1. Suppose -44 = 5*b - o*b. Let y = -43/2 - b. Is -5/3 < y?
True
Let a = 4.89 - 19.89. Which is greater: 1/13 or a?
1/13
Let c be (5/2 + -2)*-90. Which is smaller: -226/5 or c?
-226/5
Let n be -40*((-12)/(-10))/3. Let c(y) = -y**3 - y**2 + 12*y + 5. Let l be c(-4). Suppose 0 = l*w - 13*w - 120. Which is bigger: w or n?
w
Let w = 4 + -22. Suppose -o + 4*a - 111 = 4*o, 3*o + 3*a + 45 = 0. Is w at least as big as o?
True
Let d = -5.1 + -29.9. Let p = d - -33