equal to b?
True
Let q = -102 + 117.5. Let c = q + -12.5. Is -8 smaller than c?
True
Let j be (-4)/(-4) - 1*-66. Is 67 less than j?
False
Let g be ((-2)/4)/((-1)/14). Let r be -5*(-12)/(-50)*(-1 + -4). Let y = g - r. Is y greater than or equal to 2/19?
True
Suppose 163*v = 165*v - 334. Are v and 168 equal?
False
Let f = 35 + -15. Let b = 26 - f. Is b > 6?
False
Let g = -104.584 - -104.7. Are 0 and g unequal?
True
Let n = -0.684 + 36.684. Which is bigger: n or 1/8?
n
Let l(u) = -67*u + 477. Let s be l(7). Let t be (-78)/(-10) + 1/5. Are s and t equal?
True
Let w be -3*-3*(3 - 8/3). Suppose 0 = v + 39 + w. Which is greater: v or -1?
-1
Let t = -285660439161940849973/3558776 + 80269294600712. Let f = 2/23413 + t. Let r = f - 5/8. Do 1 and r have different values?
True
Let t = 5.01 - 0.01. Let x = t + -10. Let s = x + 4. Which is bigger: -2/15 or s?
-2/15
Let v = 299 - 372. Let t(g) = -g**2 - 9. Let w be t(-8). Is w at least as big as v?
True
Let b = 939 - 692. Which is bigger: 248 or b?
248
Let x be ((-36)/150*5)/(6/(-1412)). Which is greater: 281 or x?
x
Let z be -4 + -1 - (-1904)/51. Is 33 smaller than z?
False
Let j = 14.04 + -0.04. Which is greater: -18 or j?
j
Suppose 154*q = 147*q - 21. Which is smaller: q or -16?
-16
Let y be -3 - (18536/645)/(-8). Let o = y + 1/129. Which is bigger: -2 or o?
o
Let a = 24 + 15. Let n = 41 - a. Is n not equal to 6?
True
Let m be 103170/72 - 4/(16/3). Let w = -1424 + m. Which is greater: 9 or w?
9
Let v be (-1)/(12/(12/(-4))). Is v greater than -0.39?
True
Let x be (13/2)/((-2)/(-20)). Is 66 equal to x?
False
Suppose 4*w - 4*o + 16 = 0, o + 12 = -5*w + 4*o. Suppose w = 14*v - 12*v + 26. Suppose -36 = y + 2*y. Which is bigger: y or v?
y
Suppose 102*p - 26*p = 26524. Is 348 smaller than p?
True
Let f be ((9/(-3))/12)/((-2)/(-8)). Which is greater: 3/83 or f?
3/83
Let r = -7.3 + -25.7. Let b = r - -70. Which is smaller: b or -0.1?
-0.1
Let i be 54/12 + (-1)/2. Suppose -5*n + i*u + 2 = 0, -n - 2*u + 0 = -6. Let k = 7 - 5. Is n != k?
False
Let t = -41794/25 + 1673. Which is greater: t or 1?
t
Suppose -2*o = -7*o - 12775. Let m = o - -9827/4. Let c = 97 + m. Which is smaller: 0 or c?
c
Let z be ((-18)/(-69))/((-3)/3). Let n = -5 - -4. Which is smaller: z or n?
n
Let d be (-184)/(-182) - 4/14. Let a = d + -4/7. Let i = -66/5 - -13. Which is bigger: i or a?
a
Suppose 8 = -7*q + 3*q. Let h be (-2)/(2380/3814) - q. Let a = h + 36/35. Which is bigger: 1 or a?
1
Let l be (-3)/(-5) + 136/(-85) - -49. Let a = 157/3 - l. Which is smaller: a or 5?
a
Let g = -1249/9991 - -15/103. Let t = g + -111/679. Suppose 17*a - 26 = -43. Is a at least as big as t?
False
Suppose -p - 3*u - 19 = u, -5*p = u. Let d(g) = -g**3 - 28*g**2 - 28*g - 27. Let k be d(-27). Suppose k + 17 = 17*h. Is h <= p?
True
Suppose -2*k = -4*t - 6, 4*t = -0*t - k + 3. Suppose t = -5*o + 4*o + 9. Is o at least 8?
True
Suppose -2*n - 2 = -5*j + 2, 0 = -3*n + 2*j + 5. Let t be (0 - n)*(2 - -3). Let m = -14 - t. Which is smaller: 0 or m?
0
Suppose 13*h = 610 - 116. Let q = 128 + -72. Let z = h - q. Is z <= -18?
True
Suppose u - 6*u - 55 = 0. Suppose -5*i + 3*q + 8 = 0, -3*i - 3*q + 10 = -14. Suppose a - i*a = 33. Is a >= u?
True
Let k = 3 + -3.4. Let g = -11.75 + 11.7. Do k and g have different values?
True
Suppose 2 = -2*p + 6. Suppose s + 3*r = 4*s + 12, -3*r + 11 = -4*s. Let a be -2 - -4 - (2 - s). Is a not equal to p?
True
Suppose -2*t - 88 = 3*h, 7*t + 245 = 2*t + 5*h. Let p = t + 48. Is 3/4 less than p?
True
Let l = -1389 + 1389.2. Let v = -1.6 + 2. Is v greater than or equal to l?
True
Let a(l) = -21*l**2 + 5*l + 9. Let u(b) = 5*b**2 - b - 2. Let z(r) = 2*a(r) + 9*u(r). Let m be z(2). Let p = m + -22. Is p <= -8?
True
Let k = 0.12 - 0.52. Let q = 1.4 + k. Which is bigger: -84 or q?
q
Suppose 0 = 3*a - n + 2*n - 14, 0 = 3*a + 5*n - 10. Suppose -5*w + 4*d = -39, w - a*d - 12 = -0. Which is greater: 8 or w?
8
Let u(z) = z**3 + 10*z**2 + 9*z + 4. Let d be u(-9). Suppose d*a - 173 = -4*k + 3*a, 0 = -3*k + 3*a + 141. Is 44 bigger than k?
False
Let w(i) = -i**2 - 97*i + 728. Let j be w(7). Let k = -66748/129 - -1552/3. Do j and k have different values?
True
Let h(b) = -b**2 + 7*b + 32. Suppose t + 52 = 62. Let v be h(t). Is v equal to 4?
False
Let o = 1552 - 2797. Is o less than -1245?
False
Let k be -13 + 8/(2 - 0). Let y be (5 - 1) + -2 + k. Let z = y + 8. Are z and 2/9 unequal?
True
Suppose 4*f - 171 = 3*h, 3*f + 101 = 110. Is -0.07 greater than or equal to h?
True
Let a = 9 + -10. Let u be (28/(-21))/(19/(-3)). Which is smaller: a or u?
a
Let o = 7 + -4. Suppose -55 = 2*p + o*p. Let u = -3 - p. Is u less than 9?
True
Suppose -2*b = 2*b - 4*j - 76, 0 = -4*b + 5*j + 79. Let r(z) = -3*z + 43. Let h be r(b). Which is greater: h or -25/7?
-25/7
Let i(m) be the first derivative of -5*m**2/2 + 9*m - 15. Let x be i(2). Is 1/20 at most x?
False
Suppose -4*m - 2*c - 6 = 0, m = 3*c + 6 - 18. Let u be 10*-1 + (0 - -1). Let w = u - m. Do -14/3 and w have the same value?
False
Let s = -20 + 28. Let h = -1 + -11. Let w = h + s. Which is greater: w or 2/3?
2/3
Let q be 2126/41*(3 - 5)/24. Let m = -20/41 - q. Which is greater: m or 5?
5
Let j = -6823 + 6819.699. Let s = 0.001 + j. Let x = -14.3 - s. Is -1 smaller than x?
False
Let p = 1480 + -1650. Which is smaller: 3 or p?
p
Let s = 5 + -6. Suppose 0 = -6*h + 30. Suppose 2*a - 25 = -a + 2*q, 4*q = -h*a + 71. Is s at most a?
True
Let m = -113 + 77. Let p be ((-1)/2)/(2/m). Suppose 0*y = 3*y + p, t = 4*y + 18. Which is bigger: 3 or t?
t
Let y = -924.1 - -924. Let j = 24 - 27.4. Is j smaller than y?
True
Let u be (8/12)/((-2)/(-27)). Suppose 2*d = 3 - u. Let a be d/15*-4*-5. Which is smaller: a or -3?
a
Suppose 17 = 4*t + 5. Let v = -21 + 27. Suppose 3 + v = -t*j. Is j at least as big as -1?
False
Let n be 142/355 - (-64)/(-10). Suppose -4 = w, -5 = -3*s - 0*s - w. Suppose s*y + 16 = 1. Which is bigger: n or y?
y
Let u be (3 + (-12)/(-3))*1. Let j(i) = i**3 - i**2 + i + 5. Let f be j(0). Is u less than f?
False
Let h(n) = 2*n**2 - 2*n + 5. Let g be h(0). Let p = g + 12. Suppose 7*x + z = 4*x + 10, 0 = -5*x - 2*z + p. Which is bigger: x or 1?
x
Let s = -3 + 4. Let n = 2784 + -295103/106. Is s at most n?
False
Let c be (-1 + 0)/(2/2). Let n be 192/240 - ((-18)/(-5) - 2). Which is bigger: n or c?
n
Let g be (((-42)/(-4))/3)/1. Suppose b - 5*p = -4, 5*b - 2*p = 3*p + 40. Suppose 0 = 5*w - b - 14. Which is smaller: g or w?
g
Let c(f) = -f**2 - 7*f. Let h be c(-4). Let g = 19 - h. Suppose v + 2*y = g*y + 1, 1 = v - y. Is v > 2/47?
True
Suppose 2*a + t + 13 = -4*t, 4*a + 3*t + 5 = 0. Let z be ((-1)/(-2)*-1)/(-19). Let k = z - -51/950. Is a < k?
False
Let p = 177503/131 + -1355. Let t = p - -1713/655. Which is bigger: 3 or t?
3
Let m be 9/33*(1084/(-156) - -7). Suppose -d = 2*d. Which is smaller: d or m?
d
Let l be 3*(-56)/12*4/8. Suppose 5*z = -19 + 54. Let b(m) = m**3 - 7*m**2 - m + 2. Let u be b(z). Which is greater: u or l?
u
Let o(l) = -l**2 - 7*l + 9. Let q be o(-5). Let f = 9 + 11. Which is bigger: q or f?
f
Let p = 0.02 + 1.98. Let l be (-14)/(-1)*(2 - (-6)/(-4)). Let v be (28/(-6))/l*6/8. Which is greater: v or p?
p
Let x be ((-1720)/18)/((-4)/(-6)). Let v = 143 + x. Let l = -17 + 61/3. Are l and v nonequal?
True
Let o = -1174/105 - -82/15. Suppose -x - 28 = 3*x. Are o and x equal?
False
Let b(n) = -n**3 + 18*n**2 - 16*n - 20. Let t = -5 - 7. Let h = t - -29. Let x be b(h). Are -5 and x unequal?
True
Suppose 14 + 16 = 6*o. Suppose x = 2*x - t + 3, -x - 3*t + o = 0. Let d be (-2)/((-52)/30) - 1. Which is bigger: x or d?
d
Let z = 13.1 + -0.1. Let l = -12 + z. Is -1/12 smaller than l?
True
Let t = 13298 + -13296. Let q be (5 - 1)/((-202)/2). Let l = q + 416/303. Which is smaller: l or t?
l
Let x = 117 + -124. Which is greater: x or -12?
x
Let w = -1.036 - -1.11. Let m = w - 5.674. Which is bigger: m or -0.1?
-0.1
Suppose 0 = 5*q - 65 + 30. Suppose -j - 199 = 3*v, 2*v - 4*j = q*v + 320. Is -135/2 at least v?
True
Let g = -224/5 + 1339/30. Let w(r) = r + 7. Let b be w(5). Suppose 0 = -d - 5*v - 20, 2*d - 6*v - b = -3*v. Which is bigger: g or d?
d
Let r = 17.9 + -13. Let o = -5 + r. Let n = -39 - -34. Is o greater than n?
True
Let l(x) = x - 11. Let z(d) = d**2 + 4*d + 3. Let k be z(-5). Let u be l(k). Do -12 and u have the sam