. Are 7 and b unequal?
True
Let b = 313 + -43. Suppose -3*g = -3*o - b, -g - 4*g - 2*o + 485 = 0. Are 95 and g equal?
True
Let m(u) = -u**2 + 12*u + 25. Let l be m(12). Let k = -7 + l. Are k and 16 unequal?
True
Let t be (-848)/(-40) + 3/(-15). Let j be ((-14)/t)/((-4)/(-6)). Suppose 0*k + 5*l = -k + 12, 0 = 3*l - 9. Are j and k non-equal?
True
Suppose g + 110 = z, -316 = 3*g - 7*z + 11*z. Which is smaller: -109 or g?
-109
Let k be 2/11 + 63112/154. Let u = k + -11481/28. Suppose -8 = 5*x - 3*x - 2*n, 3*n = -4*x + 5. Which is smaller: x or u?
x
Let f = -6.1 - -6. Let t = -29 - -23.8. Let i = 5 + t. Is f greater than i?
True
Let z(r) = -5*r + 3. Let q(o) = -o + 1. Let h(w) = 6*q(w) - 2*z(w). Let s be h(-1). Let m(n) = -n + 2. Let v be m(5). Which is smaller: v or s?
s
Let k be (-5 - -11)*-2*2/(-6). Which is bigger: k or 19/4?
19/4
Suppose 20*u + 81 - 101 = 0. Is 2/785 less than or equal to u?
True
Let d(r) = r - 4. Let t be d(6). Let o = -1 + t. Suppose 3 = -3*a, 13 = 4*n - 2*a - 3*a. Is o > n?
False
Let y = 3.2 + -16.2. Let k = y - -13.2. Let p = -227 - -216. Which is greater: p or k?
k
Let n(p) = -p**3 + 5*p**2 + 4*p - 3. Let w be n(4). Is 31 greater than w?
True
Suppose 5*l - 65 = -2*x, -x = -2*l - 2*l. Let n = 18 - 19. Let k = n + 20. Is x < k?
False
Let o = -490 - -698. Let p be 368/o + (-3 - -1). Is 0 < p?
False
Let d be (-10)/(-8 - 120/(-36)). Which is bigger: -3 or d?
d
Let y be ((-2)/4)/((-11)/44). Let n(w) = -4*w**2 + 4*w - 5. Let q be n(y). Is -14 greater than or equal to q?
False
Let n(a) = -a + 13. Let m be n(9). Suppose -6 = o + s, -m*o + s - 8 = -3*o. Let b(i) = i**3 + 6*i**2 - 6. Let y be b(-6). Which is bigger: y or o?
y
Let y(k) = k**3 - 3*k**2 + 2*k + 2. Suppose 3*v - 5*v = 32. Let z = 18 + v. Let h be y(z). Are 2 and h equal?
True
Let g = -0.2123 - -5.2123. Let t = 0.1 - 0.1. Is g != t?
True
Let y = -16 - -27. Let q(h) = -4*h - 2. Suppose -6 = 5*m - 3*m. Let l be q(m). Which is bigger: l or y?
y
Suppose 12701 = -8*a + 21*a. Do a and 977 have the same value?
True
Let q be -3 - 2396/(-796)*1. Which is greater: -1 or q?
q
Let v = 19 - 19.037. Let o = v + -0.063. Which is bigger: o or -24?
o
Suppose n - 2*n = -3*a - 15, 10 = -2*a. Let q be n*3/15 + -3. Is q at least -1?
False
Let q = -135214/97 + 1394. Is 0 <= q?
True
Let y be 529/(-17) - (-68)/578. Is 4 at most as big as y?
False
Suppose 2*z + 19 = 3*z. Let w = -17 + z. Let o = -5/3 - -73/33. Is o less than or equal to w?
True
Suppose -15*w - 2*h - 12 = -17*w, 11 = w - 2*h. Are 574 and w unequal?
True
Suppose 17*o - 37 = 14. Is 1.9 less than o?
True
Suppose 0 = o + 5*k + 30, k - 73 = 2*o - 2*k. Let n(i) = -4*i - 75. Let j be n(-10). Is j >= o?
True
Let u(m) = -m + 20. Let t be u(-10). Suppose 5*a - t = -5*w, -4*w - 1 = -0*w - a. Is w bigger than 2/75?
True
Suppose -5*f - 28 = -h, 3*h - 7*h + 127 = -5*f. Let v = -44 + h. Let i(s) = -s**2 - 1. Let q be i(0). Which is greater: q or v?
q
Let o(u) = -u - 9. Suppose 6*s = 3*s. Let x be o(s). Let p = x - -4. Is -5 greater than or equal to p?
True
Let a = 3.15 - 2.45. Are a and -0.9 equal?
False
Let t be ((-110)/20 + 6)*-2. Is 2/1997 at least as big as t?
True
Let k(x) = x**3 - 11*x**2 + 14*x + 38. Let g be k(9). Suppose -2*v = 3*v - 20. Suppose -v*s - 55 = -u, 6*s + g*u = 3*s - 44. Which is bigger: s or -15?
s
Let k(v) = 0*v**2 + 5*v**2 - 6*v**2 - 6*v. Let m be k(-6). Suppose m = -r - 3*r + 4. Is -2/31 <= r?
True
Let r be (-15)/10*66 - -5. Is -93 less than r?
False
Let g(d) = -d**2 + 8*d - 4. Let t be g(7). Suppose -3*k + 105 - 37 = -2*j, -74 = -t*k - j. Suppose -l + k = 13. Does 11 = l?
True
Suppose 3*g - 6*g = -g. Suppose g = 4*b - y - 37, -2*b - 2*y + 17 = 1. Is 10 <= b?
False
Suppose -i + 4*x + 21 = 0, -2*i - 30 = 5*x - 7. Let l = 5115 + -230174/45. Is i < l?
False
Let a = 16.95 - 17. Let r = a + -0.15. Which is bigger: r or 3?
3
Let j be 3/9 - 34/(-6). Let f be (-45)/(-10)*j/9 + -1. Suppose -2*k - k + 3 = 0. Are f and k non-equal?
True
Let b be (-15)/(-30)*((-164)/(-6))/1. Suppose -2*h = -5*k - 7 - 3, -68 = -4*h - 2*k. Do h and b have the same value?
False
Suppose -3*b = 4*c - b - 14, -c + 2 = 2*b. Suppose 4 = -c*d, -2*i - 4*d - 1 = -5*i. Is i at most 24?
True
Let u be 2/6*-1*-15. Suppose u*k - 2 = 68. Suppose 0*m + k = -2*m. Is m <= -8?
False
Suppose -5*m = 5*i, -2*i = 2*m + m. Suppose m*z + 8*z = -88. Which is greater: -3 or z?
-3
Let r(j) = -j + 4. Let u be r(6). Suppose -148*z - 91 - 57 = 0. Is z equal to u?
False
Let y(c) = -5*c + 41. Let a(x) = x - 8. Let v(g) = 11*a(g) + 2*y(g). Let d be v(6). Which is smaller: 12 or d?
d
Let h(q) be the second derivative of -q**3/6 - 9*q**2/2 + q. Let l be h(0). Let t = 14 + l. Which is smaller: 4 or t?
4
Let x = -14.3 - -1.3. Let n = -21 - x. Let g = 9 + n. Which is smaller: 3 or g?
g
Let o = 20/193 + 1496/7913. Is o > 1?
False
Let o be 3/(-3)*(-34)/(-6 + 4). Which is greater: o or 2?
2
Let y = 299 + -298.8. Is -9/5 not equal to y?
True
Let g = -92 + 94. Suppose -g*v - 5 = 4*b + 9, -v + 3 = -3*b. Suppose x - z + 19 = -2*x, -40 = 4*x - 5*z. Is v bigger than x?
True
Suppose 12*r - 3*r = 504. Let q be 1 + 1 + (-328)/r. Is -4 bigger than q?
False
Let n be (0 + -2)/(398/(-2)). Let p = 23998 - 23997. Which is smaller: p or n?
n
Let r(b) be the second derivative of b**4/12 + b**2/2 + 4*b. Let z be r(-1). Let k be 2/z - 40/5. Which is smaller: 1 or k?
k
Let m = 1732 + -1732.42. Which is greater: m or 0.07?
0.07
Suppose 5*r = 5, 3*j + 3*r + 57 = -0*r. Let b be j/(4 + (0 - 3)). Let h be (b/8 - 1) + 4. Which is greater: h or 1?
1
Let z = 976 + -4883/5. Which is smaller: z or 41?
z
Let j be 21815/45 - (-2)/9. Let b = -16981/35 + j. Let s = 3/7 - b. Which is smaller: s or 1?
s
Let f = 50 - 28. Let r = -0.0041 + 23.3041. Let k = f - r. Which is greater: k or 1?
1
Let o = -281/28 - -35/4. Let h be 5/(-2) + 3*4/(-24). Let y be 1*0/(1/(h/(-3))). Which is smaller: o or y?
o
Suppose 0*c = -c. Suppose l + 21 = -c*l. Is l greater than or equal to -21?
True
Let p be (-1)/(-9) - (-29282)/198. Which is greater: p or 2?
p
Suppose 5729 = 4*k - x, -9*k - 2*x + 4283 = -6*k. Let m be k/18 - (-1 + 3/(-6)). Which is bigger: 82 or m?
82
Suppose 15 = 5*w - 20*w. Is 1/31 greater than w?
True
Let t = 925 - 605874/655. Which is smaller: -1 or t?
-1
Suppose l - 76 = 15. Suppose 2*j - l = -5*j. Does 12 = j?
False
Let n(o) = -o**2 - 9*o + 6. Let g be n(-7). Let t = -14 + g. Suppose -2*c - 2 - t = 0. Is -2 != c?
True
Let m = 93/2 - 47. Suppose -3*r + 6*r = -48. Let u = r + 8. Which is greater: m or u?
m
Let t be -10 - (7 + 307945/(-18115)). Is -1 smaller than t?
True
Let x = 957 - 958. Which is smaller: x or 126?
x
Suppose -3*j + 4*x = j, 30 = j + 5*x. Suppose 5*z - 20 = -0*z - 5*d, 5*d = j. Which is greater: z or 2?
z
Let a = -33 - -48. Suppose -4*c + c = -a. Suppose -c*d + 6*q = q, 9 = d - 4*q. Which is bigger: d or -10/3?
d
Let s(y) = -y**2 - 7*y. Let p be s(-5). Let o(g) = -g**2 + 10*g - 4. Let h be o(p). Is h greater than -3?
False
Suppose -3*m - 10 = -6*m - f, 20 = 2*m + 4*f. Which is greater: m or 22/23?
m
Let i be -3*12/(-4)*-3. Let v be 458/(-3)*i/(-72). Let x = 57 + v. Which is greater: x or 0.1?
0.1
Let c = -0.3 - -0.3. Let f be (80/72)/(-5)*6/14. Which is bigger: f or c?
c
Let k be (-2548)/(-130) - 4/(-10). Suppose -2*g - 64 = -6*g - 4*y, -4*y + k = 0. Is 9 at least g?
False
Suppose -157*b = -156*b. Which is bigger: b or 12/83?
12/83
Let p = -11 - -16. Let w = 0 - p. Which is bigger: 0.1 or w?
0.1
Let v = 574/65 - -12049/910. Is v > 22?
True
Let w be ((-10)/(-35))/((-190)/14). Which is smaller: w or 1?
w
Suppose 168 = 23*f - 37*f. Let o be 1/(-2*1/22). Is f <= o?
True
Suppose 5*h - h - 3*o = -37, 5*h - o + 38 = 0. Let q be (-18)/(-8) - 7/28. Suppose -4*a + q*a = 10. Is h < a?
True
Let h(o) = 2*o**3 - 4*o**2 - 10*o + 15. Let r be h(6). Is 244 < r?
False
Let n = 70 + -73.1. Let b = 1.4 + n. Let p = 1.5 + b. Is p less than or equal to -2/27?
True
Suppose 232 = 2*i - 234. Is i less than or equal to 232?
False
Let n = 53 - 53.054. Is -0.1 at most as big as n?
True
Let o = -377 + 376. Which is smaller: o or 6/311?
o
Let t(k) = 9*k + 198. Let v be t(-22). Let z be ((-76)/580)/(-1 + 2). Let x = z - 2/29. Is x at least as big as v?
False
Suppose 16*a = -6 - 26. Which is smaller: a or 622?
a
Let h = -0.0357 - -105.0357.