?
False
Let s(t) = t**2 + 7*t + 2. Let y be s(-5). Suppose 113 = -29*o + 2*o - 130. Are y and o equal?
False
Suppose 2*w - 42 = 2*q, -2*w + 6*q = 3*q - 40. Let d = 0 - w. Which is smaller: -22 or d?
d
Suppose 3*o - 1 = 8. Let b be ((-34)/o)/(4/(-6)). Let l = b - 17. Is l <= 0?
True
Let y be (3/(42/4))/(320/(-355)). Let r = y - -1/32. Is r greater than or equal to 40?
False
Let f = -65 + 64. Let n be (24 - -27) + (-5)/f. Is 56 at least n?
True
Let m = 30 + -97. Let g = -55.5 - m. Do 0 and g have the same value?
False
Suppose 0 = -5*j, 6*d - 3471 = 3*d - 3*j. Which is smaller: d or 1155?
1155
Let v be (-319)/(-3) - ((3 - 2) + 4). Is v != 100?
True
Suppose 19*k + 203 = 12*k. Which is greater: -32 or k?
k
Suppose -2*u + 3*g - 9 = -3*u, 0 = 5*u + g - 17. Suppose 31 = 2*m - 3*i, u*i - i = 2*m - 32. Are 17 and m equal?
True
Let l = -48 + 45. Let v be 4/(-24)*18/l + 1. Is 3 greater than or equal to v?
True
Suppose 5*j + 49 = 12*j. Suppose -o = -m - 8 + j, 5*m = -o + 1. Are 0 and o unequal?
True
Suppose -5*s - 4*c = -100, -2*s + 56 - 16 = -2*c. Let g be s/11 + 12/(-6). Which is smaller: -1 or g?
-1
Suppose -32*z = -45*z + 13. Is 20/9 >= z?
True
Let l be 3/4 + (-6)/(-24). Do l and 1/194 have the same value?
False
Let k = 10172 - 40949/4. Let p = k + 66. Which is bigger: p or 6?
6
Let l(k) be the first derivative of -k**2 + 18*k + 1. Let n be l(12). Let d = -6 - n. Is d bigger than 2?
False
Let m be (11/(385/14))/((-1)/(-5)). Let b(p) = -p**3 + 2*p**2 + 9*p - 20. Let n be b(m). Which is smaller: n or -0.18?
n
Let d be 2/(-8) + (2679/60 - 6). Are d and 37 nonequal?
True
Suppose -19*g + 7*g - 9*g = 0. Which is smaller: g or 6/215?
g
Let l be (-18)/148*(-3)/45*4. Let f = l - -1008/3145. Which is smaller: f or 0?
0
Let r(o) = -o**2 + 5*o + 7. Suppose -2*a - 6 = -3*a. Let w be r(a). Let i be 22/99 - (-86)/18. Are i and w equal?
False
Let b = -1051.059 - -1051. Is -8 less than b?
True
Suppose c = -5*o + 18, -3*o + 24 = -c + 6*c. Suppose -5*i + 29 = -41. Let z be 3/9 + i/12. Is z smaller than o?
True
Suppose 4*c - 156 = -5*r, -r = -3*r - 5*c + 59. Suppose 0 = -3*i, i - r = -b + 5*b. Which is greater: -3 or b?
-3
Suppose 0 = -0*p - 5*p + 55. Suppose p*h - 8*h = 3. Which is smaller: 8/11 or h?
8/11
Let m be (3/6)/(-1*(-7)/(-28)). Is m less than -44?
False
Let j = 2/7225 - 447968/65025. Which is bigger: -6 or j?
-6
Let c be (-4)/(-1) - ((-1792)/(-299) - 2). Which is bigger: c or -1?
c
Let s = 3.96 + -4. Let p = 0.04 + s. Let u = p - 4. Are u and 1 equal?
False
Let f = -1166 - -11649/10. Let v = f + 73/30. Is v != 1?
True
Suppose 153 = 34*p - 43*p. Is -51 != p?
True
Let g be (2/(-28)*4)/((-135)/20055). Which is smaller: g or 42?
42
Let o = -2464 + 4937/2. Which is smaller: 3 or o?
3
Let k be 1 - 17/10 - 3/(-15). Is 260 equal to k?
False
Let f = 1586 + -1585. Which is greater: f or -207?
f
Suppose 4*b = d - 49, 3*d + 2*d = 5*b + 185. Let v = d - 28. Which is smaller: 3 or v?
3
Suppose -4*g = -3*f + 19, -5*f - 2*g + 13 = -36. Suppose 250 = f*b - 7*b + 5*j, 4*b + j = 536. Is 135 < b?
False
Let t = 4 + -2. Let s be 2/6 + 3580/(-48). Let m = 75 + s. Is t >= m?
True
Let g = 52 + -53. Which is greater: g or -4?
g
Let l = 2 - 2. Suppose 0 = m + 1 - l. Let g be (72/16)/(12/(-1)). Which is smaller: g or m?
m
Suppose 48 = 4*y - 3*l, 4*y - l - 10 = 38. Suppose 2*w + y = 5*w. Suppose 2*z + 2*h - 23 = -z, -5*h = -20. Which is greater: w or z?
z
Let o = 422 - 582. Is -161 != o?
True
Let p = 20 - 20. Let m = 2 + p. Is m at least -23?
True
Let d = -995 - -1062.3. Let g = 67 - d. Do -4 and g have the same value?
False
Suppose -8 = -5*n - 3. Which is greater: n or 1/47?
n
Let x be (6/126)/(6/1602). Which is greater: x or 1?
x
Let m(l) = l**3 - 6*l**2 - 9*l + 10. Let k be m(5). Let c be (12/k)/((-2)/2). Which is greater: c or -1?
c
Let a be (-2)/(-2) + (-20)/(2 + -7). Suppose -2*w + a = -t, -3*t + 5 = -8*t. Which is bigger: w or 1.1?
w
Let o be 15/2*(-8)/44. Let b = 109/33 - o. Which is smaller: 4 or b?
4
Let o(p) = p**2 - 2*p - 43. Let d be o(-8). Which is smaller: d or 40?
d
Suppose 3*c - 21 = 2*c. Let q be ((-3)/c + 1)/(22/(-14)). Which is bigger: q or -2?
q
Let f(z) = z - 1. Let b be f(4). Let l be (-2)/b - (-66)/90. Let w = -9 - -8. Do w and l have different values?
True
Let y(u) = u**3 - 9*u**2 + 35*u + 14. Let m be y(6). Which is greater: m or 115?
m
Suppose 0*j = -2*j + 24. Let u = 0 + j. Let g = 11 - u. Which is greater: g or -7?
g
Let c(t) = -t - 555. Let s be c(0). Let j be 15/s - (1 + -1). Which is bigger: j or 1?
1
Suppose 104 = -4*d + 2*p - 470, 3*d + 435 = -3*p. Let b be d/(-40) - 2/10. Is b greater than 4?
False
Let l(j) = -j**2 - 7*j + 10. Let i be l(-8). Let u = -8 + 11. Suppose 2*r - u = -7. Do i and r have different values?
True
Let v(c) = c**2 - 5*c + 4. Let u be v(3). Suppose 3*m + 0*m - 105 = z, 4*m = -3*z - 302. Let d be 17/z*(-9)/(-2). Which is greater: d or u?
d
Suppose 0 = -h + 5 + 9. Suppose 0 = 2*g + 2 + h. Which is bigger: 0.1 or g?
0.1
Let a = 0.1 - 0.1. Let p = 0.14 - 80.14. Let k = -79.8 - p. Which is bigger: a or k?
k
Suppose 4*v = -544 + 832. Is v <= 215/3?
False
Let q = 0.8 - -0.2. Let m = 333 - 350.95. Let l = -18 - m. Is q at least l?
True
Let g = 12.08 - 4.25. Let i = 0.17 + g. Let f = 7 - i. Which is smaller: -6 or f?
-6
Let u be (-850)/24 + 27/36 - -6. Which is greater: 0.04 or u?
0.04
Let s be ((-4)/(-8))/(0 - 16). Suppose -551*f + 563*f = -12. Which is smaller: s or f?
f
Let m = 1.767 + -1.327. Are 1/21 and m unequal?
True
Let w = 749/5 + -150. Is w at most -1?
False
Let b = -399 - -400. Which is smaller: b or 2/91?
2/91
Let g be 0/(-2)*36/(-72). Is -15/67 > g?
False
Let u = 4.6 + -8.4. Let d = 3.9 + u. Which is greater: -1 or d?
d
Let k(m) = m**3 + 5*m**2. Let z be (-2*(2 - -3))/2. Let s be k(z). Which is smaller: s or -1/64?
-1/64
Suppose -11*l = -1 - 32. Which is bigger: l or 48/11?
48/11
Let f = -84 - -164. Suppose -195 = -f*z + 75*z. Which is smaller: 40 or z?
z
Let z = -157.11 - -155. Let y = 0.09 - z. Let i = 1.2 - y. Is i smaller than -7?
False
Let b be 209/3 - 2/(-6). Let h be (-62 - -7)*18/30. Let o = h + b. Is 37 < o?
False
Let x be (-133)/(-14) + 3/(-12). Are x and 9 nonequal?
True
Let j be (-5)/(0 - 10/510). Is j not equal to 255?
False
Suppose 5*x = -14 - 11. Which is bigger: -9 or x?
x
Let z(a) = a**3 + 18*a**2 - 2*a - 35. Let u be z(-18). Which is smaller: u or -1/68?
-1/68
Suppose 12*j = 17*j + 2*z + 6, 2*z - 14 = 5*j. Which is greater: -13/12 or j?
-13/12
Let q = -133.059 - -133. Let u = q + -0.941. Is 3/10 bigger than u?
True
Let q be (-4 - 29/4)/((-6798)/(-176)). Which is bigger: q or 1?
1
Suppose -4*w + 42 + 62 = 0. Let c = 6 - w. Let t = 20 + c. Is t at most as big as 0?
True
Let l be 6 + 3/51*-157. Is -2 < l?
False
Let d = 1/4 + 1/12. Let o(p) be the third derivative of 7*p**5/30 + p**4/12 + p**3/3 - 42*p**2. Let y be o(-1). Do d and y have different values?
True
Let f = -46 + 51. Suppose -3 + 8 = o - 4*w, 3*o = -f*w - 70. Are -16 and o nonequal?
True
Let c(i) = 167*i**2 + 7*i + 6. Let y be c(-1). Suppose 0 = 8*w + y + 10. Which is smaller: -21 or w?
w
Suppose 5*s - 5*a - 1 = -91, -5*a + 58 = -3*s. Let c = 0.4915 + -0.6915. Which is smaller: s or c?
s
Let g = -63262 - -695274/11. Let z = g - -55. Is z at least as big as 1?
False
Let b = 174.2 - 174. Let h = 0.08 + 6.92. Let g = h - 4. Which is smaller: b or g?
b
Let v = -7 - -11. Suppose p - v*p = 21. Let x = 0 - -2. Which is smaller: x or p?
p
Let m = 3/98 - -135/392. Let q = -8 - -8. Let g be -1 - -1 - q/(-2). Is g <= m?
True
Let s be (-10 - -2)*(-6)/12. Suppose s*n + 0*n = -12, 3*z - 4*n + 39 = 0. Which is bigger: -18 or z?
z
Suppose 3*y = -2*y - 5, -2*g - 4*y = 312. Let z be (g/(-20))/7*-4. Is z greater than -5?
True
Let f be 2 + (116/22 - 5) - 5. Which is smaller: -2/3 or f?
f
Let n be (2/8)/(-2 - 876/16). Is -1 smaller than n?
True
Suppose -l + 0 = -1. Let z be 9/(l*(-3)/4). Is -3 smaller than z?
False
Suppose 3*o - 1 = 4*j + 11, 3*j + 9 = 0. Suppose o - 2 = -2*i. Let n = -41 + 165/4. Which is bigger: i or n?
i
Let a = -0.035 - 1.965. Which is smaller: a or -149?
-149
Let q = -680 - -680. Are q and 7/13 unequal?
True
Let n = 526 + -482.9. Let x = n - 43. Which is greater: x or -13?
x
Let d(f) = f**2 + 20*f + 36. Let w be d(-2). Which is greater: w or -77/3?
w