?
-1079
Let u = 23 - 18. Suppose 22 = r + u*b - 0*b, 0 = 3*b - 15. Is r smaller than -4?
False
Let h = 1525 - 1524. Is -5/128 at least as big as h?
False
Let l = -1377 - -4093/3. Is -2/7 at least l?
True
Suppose 0 = -6*d - 24 + 18. Let z = -393 - -13754/35. Is d less than z?
True
Let b = -73 + 39. Let u = b + 34. Are u and -2 unequal?
True
Let b = 61 + -61.29. Let z = b + -2.11. Let k = 3.4 + z. Is k >= 21?
False
Let s be ((-3)/(-2))/(33/308). Suppose 0 = -16*d + s*d + 12. Which is bigger: d or 8?
8
Let b(q) be the third derivative of q**6/120 + q**5/10 + 5*q**4/24 + q**3/3 + 5*q**2. Let w be b(-5). Suppose -w*j + 1 = -j. Which is bigger: 0.04 or j?
j
Let v(u) = 3*u**3 - 13*u**2 - u + 1. Let x(d) = -16*d**3 + 64*d**2 + 6*d - 4. Let w(z) = 11*v(z) + 2*x(z). Let p be w(15). Which is smaller: 20 or p?
p
Let v = -8/83 - -2921/166. Let x be (-9)/(-45) - (470/(-25) - -1). Is v != x?
True
Let h = 6 - 4. Let p(t) = -5*t - 2. Let s(m) = -10*m - 3. Let d(x) = -5*p(x) + 2*s(x). Let c be d(h). Is 14 at most as big as c?
True
Let k = 50/59 + 18748/295. Which is bigger: k or 64?
k
Let z = -34 + 9. Let x be ((-5)/z*0)/(-1). Which is smaller: 36 or x?
x
Suppose -34*c + 6*c - 2436 = 0. Are c and -87 unequal?
False
Let c be (1 + 1)/10*(-12)/(-666). Which is bigger: c or 0?
c
Let b = 122.9 - 123. Is 1.64 greater than b?
True
Suppose 2 = -5*w - 3. Let s = -320 + 317. Which is smaller: s or w?
s
Let a = -0.6 - -0.8. Let l = -390 + 391. Which is bigger: a or l?
l
Let w be (-3 - (-84)/20)*-5. Let d be 3/(9/w) - 0. Let r be ((-9)/d)/(3/6). Is 8 != r?
True
Let r(y) = y**2 + 62*y + 948. Let f be r(-35). Suppose 5*k + 12 = 4*k. Is k > f?
False
Let y = 1540 + -1106. Is y smaller than 435?
True
Let o = -12.1 - 140.9. Let q = o - -146. Which is smaller: q or 6?
q
Let j = -256 + 260. Which is greater: j or 5?
5
Let g(z) = -z**3 - 13*z**2 + 24*z + 27. Let k be g(-15). Let x be (-6)/4*52/k. Let o = 19 - 27. Is o less than x?
True
Let r be ((-154)/(-150) + -1)*(0 - -1). Let y = -269/12900 + r. Do 1 and y have the same value?
False
Let h = 9661/22 - 439. Which is bigger: 0 or h?
h
Let r = -15 + 14. Let o = -114 - -113.988. Which is smaller: r or o?
r
Let t(s) = -s**2 - 7*s - 10. Let p be t(-5). Let i = -2/29 - p. Is i < 1?
True
Let h(c) = 3*c + 11. Let j be h(-8). Let x = j + 3. Which is smaller: x or -8?
x
Let r = 32 + -26. Let h(p) = p**2 - p - 2. Let f be h(2). Suppose 4*a - 2*a = f. Which is greater: r or a?
r
Let c(n) = 11*n + 166. Let d be c(-15). Which is greater: d or -1/289?
d
Let f = 0.26 + 0.4. Let z = f + -0.5. Let r = z - 0.16. Which is bigger: -8 or r?
r
Let z be 141/(-27) + -5 + 10. Is -345 at least z?
False
Let z be ((-157)/(-35) - -1)/((-4)/10). Let u = -14 - z. Suppose -3*s - 129 + 36 = 0. Which is smaller: u or s?
s
Let z(g) = 2*g**2 + 32*g + 2. Let q be z(-11). Let v = -79 - q. Is -1 smaller than v?
True
Let u = -3761 + 972. Let n = 25129/9 + u. Let p = -187/63 + n. Which is smaller: -1 or p?
-1
Let p be 3/6 - (-58)/4. Suppose -29*o + 546 = 10*o. Is o greater than p?
False
Suppose -17*x = 36 + 32. Which is greater: x or 2?
2
Suppose 325 + 289 = -c - 3*x, 3*c = 4*x - 1790. Which is smaller: c or -603?
-603
Suppose 12 = a + 3. Let d be (246/(-18))/((-65)/(-15) - 6). Is a <= d?
False
Let x = 0.2 - -0.8. Suppose 16*t - 104 = 20*t. Which is greater: x or t?
x
Let f = -88 + 177/2. Which is greater: f or -5?
f
Let l = -10 + 15. Suppose -2*f + l = -3*f - d, 4*f + 3*d + 17 = 0. Let h be 4/10 - f/(-5). Which is greater: h or -2/13?
h
Let y be -3*3/(45/40). Which is smaller: y or 1?
y
Let v = -800/281 - -425347/51985. Let h = v - 1/555. Which is smaller: h or 5?
5
Let l = 0.017 + -0.177. Which is smaller: l or 3?
l
Let v(d) = 7*d + 180. Let n be v(-24). Which is smaller: n or 4.7?
4.7
Suppose 0 - 4 = -2*f. Suppose o + 0*q = 4*q + 9, -f*o - 9 = q. Which is smaller: -5 or o?
-5
Suppose 2*f - 64 = -2*u - 0*f, -4*u = -f - 108. Suppose -2*k + 4*k + 30 = 0. Let s = k + u. Which is bigger: 14 or s?
14
Let f be (0 - 22/(-8)) + -3. Let v be ((-4)/16)/((-2)/(-8)). Is v less than f?
True
Let z = 0.075 + 1.625. Which is bigger: 0.1 or z?
z
Let i(w) be the first derivative of -w**2/2 + 14*w - 1. Suppose -4*n + 0*n = -40. Let l be i(n). Is 4 at least l?
True
Suppose -5*q + 14 = 3*r - 30, -2*q + 8 = 0. Let f = r + -8. Are -1 and f unequal?
True
Let v = 130.86 - 132. Let h = 1.2 + v. Which is smaller: -2 or h?
-2
Let v(h) = h**3 + 11*h**2 - 22*h - 73. Let p be v(-12). Is p > 46?
True
Let c be (15 - (-325)/91)/(2/14). Which is greater: c or -3?
c
Suppose -52*c + 2068 = -5*c. Do c and 3 have the same value?
False
Suppose 2*m + 300 = 360. Which is smaller: m or 27?
27
Let d = 5564449/390 - 71353/5. Let i = 5/13 - d. Is i at most 4?
True
Suppose -7*j - 10 = -9*j. Let h = 0 + 3. Suppose -2 = -5*m + h*w - j, 3*m + 2 = 2*w. Is 2/5 at most m?
False
Let b = 2069/741 + -55/19. Is b not equal to 1?
True
Let f = 9 + -11. Let u be (-8)/f*56/16. Let z be (-26)/10 - (-42)/u. Which is bigger: 9 or z?
9
Let k = -2607 - -18311/7. Are -3 and k nonequal?
True
Let z be (-3 - 0) + 2 + (0 - 3). Let f = z + -1. Is -6 equal to f?
False
Let s = -59/48743 - -981052544/1803491. Let c = -544 + s. Is 0 at least c?
True
Suppose -p + 41 = 4*o - 0*o, -o + 5*p = -5. Suppose 28*n - 112 = 12*n. Is o equal to n?
False
Suppose 28*b = 135 - 667. Do -4 and b have different values?
True
Suppose -1 = 2*n - 7. Let l be 0*((-2 - (n - 6)) + -2). Let p = -1/6 - -1/2. Is l less than or equal to p?
True
Let m(g) = -20*g + 3. Let i be m(7). Let r = 683/5 + i. Is r not equal to 0?
True
Let u = 1298 - 1459. Is -160 greater than or equal to u?
True
Let y = -11103 - -66389/6. Let b = y - -38. Let v = -11 + 11.8. Is b smaller than v?
True
Let h(b) = -5 - 6 + 6 - 2*b**2 + b**3 + 4*b**3 - 5*b. Let g be h(-1). Are -11 and g unequal?
True
Let l = -322.1 + 308. Let s = -1.9 + l. Let w = 29 + s. Which is smaller: w or -1?
-1
Suppose -3*v - 64 = 5*x, 26 = -3*x - 5*v - 6. Let f(h) = h**3 + 13*h**2 - 14*h - 20. Let j be f(x). Is 0.1 less than or equal to j?
False
Let u = 20.21 + -1.81. Let a = 20 - u. Do a and 3 have the same value?
False
Let u be (2 + 8/(-5))*(1 - -4). Suppose -5*g + u*z - 17 = 9, -g - 5*z - 16 = 0. Is -4 smaller than g?
False
Suppose -3*l + 8*l - 2*i = 29, i - 23 = -5*l. Let w(z) = -z - 4. Let u be w(-5). Let c be u*2 + 32/8. Which is smaller: l or c?
l
Suppose 7*j - 5 = 2*j, -4*m - j = -2841. Let w = 16336/23 - m. Which is bigger: w or 0?
w
Suppose -o - 1 = -3. Suppose -z - 2 + 0 = g, -5*z = -o*g + 10. Let h be -1 - (31/(-11) - z). Which is greater: 0 or h?
0
Let m = 6 - 1. Suppose -4 = -3*h + 2*h, -m*h + 12 = -2*d. Suppose -d*k + k = 0. Is k greater than 0?
False
Let y(c) = c - 3. Let m be y(5). Suppose 4*i - 26 = -m*l, -3*i - 21 = -2*l - 2*i. Suppose -l*o - 4 = -15*o. Is 1/5 != o?
True
Let g(j) = 3*j - 2. Let q be g(-4). Let v = q - -15. Let m = -3 - -5. Which is bigger: v or m?
m
Suppose 3*w + 25 = 8*w. Suppose w*k - t - 15 = 4*t, t = -3*k - 7. Let z(c) = 6*c**2 - 1. Let h be z(k). Which is greater: 4 or h?
h
Let k be ((-4)/(-3))/((-2)/(-6)). Is 10/3 <= k?
True
Let t(l) = -l**2 - 2*l - 4. Let u be t(-4). Let b = u + 14. Let f be 3*1*1/1. Which is greater: f or b?
f
Let c = 14 + -9. Suppose -47 = -4*v + c*t, 30 - 12 = 3*v + 2*t. Let h = 7 - v. Do -2/5 and h have the same value?
False
Let s = -1162 - -175466/151. Which is smaller: 1 or s?
s
Let o = 111 - 111.63. Let i = o - -0.63. Which is greater: -0.4 or i?
i
Let c = -1.1 - -0.9. Let f(z) = 17*z + 2. Let j be f(0). Which is greater: c or j?
j
Let u be 3/(-36) + -5 + 549/108. Which is greater: 1/929 or u?
1/929
Suppose 15*i - 20 = 35*i. Is i at least as big as 2/7377?
False
Let q(x) = 3*x - 12. Let t be q(10). Let o be (-12038)/19701 - t/99. Let l = o - -3/199. Which is greater: -1 or l?
l
Suppose 2*l - 2*k = 0, 6*k - 6 = l + 11*k. Which is greater: l or 0.01?
0.01
Suppose x - 6*x - 275 = 0. Let h = 48 + x. Let u = -2 + -3. Is u not equal to h?
True
Let j be 18/5 - (-60)/150 - -44. Is j greater than or equal to 52?
False
Let i(p) = -1 - p - 3*p - p. Let d be i(-1). Suppose -d + 12 = -2*m. Is 2/3 bigger than m?
True
Let s = 2 - 5. Suppose d + 1 = -2. Is s less than d?
False
Let m = 1032 + -1032.1. Is m greater than -208?
True
Let r = 6080 - 42562/7. Let z = 13 + -25. Let