 Suppose 16 = -2*j + 14. Which is smaller: s or j?
j
Let q = -270 - -182. Let o be -1*1 - 55/q. Which is smaller: -1 or o?
-1
Suppose -2*v + 0*v = 0, v = 4*k - 104. Let w = k - 46. Which is bigger: -19 or w?
-19
Let h = 0.2 - 0.4. Let z = h + 6.2. Let q = -2 + z. Which is smaller: q or 2?
2
Let h = 31 - 21. Let m = 26 + -26. Is m at most as big as h?
True
Let c = 54 - 39. Let t(f) = -f**3 + 14*f**2 + 16*f + 10. Let z be t(c). Let o = 47 + -23. Which is smaller: z or o?
o
Let l = -1 + 0. Let n = -93 + 94. Let j be (-10)/30 + (0/(-3) - n). Is l at least as big as j?
True
Let b be 2134/(-165) - 6/15. Let k(l) = -2*l**2 + 3*l + 6. Let t be k(4). Are t and b equal?
False
Let f = 169 - 172. Which is greater: -9 or f?
f
Let v = 42 + -47. Let h = -4.8 - v. Which is smaller: h or 23/5?
h
Let a = -495 + 494.2. Is a greater than -4?
True
Let o = -13389/46 + 291. Suppose -p - h - 4 = 0, h = 5*p - 4*h - 20. Are o and p equal?
False
Let q be ((-40)/(-15))/((-1)/3). Let l = 14 + q. Suppose 0 = k - l*k - 15. Is k at most -4/7?
True
Let y = -814 + 810. Suppose 2*o = -v + 3*o - 1, -5*o + 15 = 0. Let x be 43/(-9) + v/(-9). Are x and y equal?
False
Let o be 12/36 - 322/(-2). Let x = o + -164. Which is smaller: -4 or x?
-4
Let h = -0.0305 + -3.9695. Which is greater: h or 4/19?
4/19
Let f be (-1)/(-2)*(21 + -25). Which is smaller: f or -7/3?
-7/3
Let h = 2 - 4. Let j be (-157 - h) + 3/3. Let p = j - -449/3. Is -4 equal to p?
False
Let k be 680/12 + 100/12 + -7. Let q be ((-174)/9)/(1/(-3)). Is k greater than or equal to q?
True
Let q be (-6)/(-8) - (-319)/44. Let c be ((-15)/q)/((-2)/(-8)). Let x = c - -7. Which is greater: -1 or x?
x
Suppose -q - 2*q = -4*z - 28, -2*z = -4*q + 24. Let r = 19 + -18. Is z less than or equal to r?
True
Let a = -377 - -378. Let l = 7548/7 + -1080. Are l and a non-equal?
True
Let f = 0.0102 + -82.0102. Are f and -0.04 non-equal?
True
Let x(a) = a - 9. Suppose 64 = 4*d + 12. Let p be x(d). Let i = p + -5. Which is smaller: i or 1/3?
i
Let f = 1.303 + 6.627. Let c = -0.07 - f. Let v = c - -8. Do v and -7 have the same value?
False
Let k = -1468 + 1461. Is k bigger than -7/3?
False
Let s = 2.2 + 3.5. Let l = 5.22 - 0.22. Let h = l - s. Which is smaller: h or 1?
h
Let x = -4747/10 + 474. Is -1 at least as big as x?
False
Let g = 5.96 - 6. Let s = -0.04 - g. Suppose 5 = 12*n + 53. Are n and s equal?
False
Suppose 2*s = 5*i - 8*i - 287, -5*i + 3*s = 510. Let n = -99 - i. Which is smaller: 7/5 or n?
n
Suppose -2*d + 0*d = -2. Suppose -4*b = 20, 0 = a - 4*a + b + 26. Suppose -m - 2 = -5*q, 4*m - a*m + 4 = -5*q. Is q at most as big as d?
True
Let o(h) = h**2 + 5*h - 24. Let w be o(-8). Is -1/201 greater than w?
False
Let x(q) = -q**3 + 14*q**2 + 16*q - 14. Let i be x(15). Let r be 3 - 4869/1581 - 1. Let h = 28/31 + r. Is i equal to h?
False
Let d be (0 - 0) + 6/3. Suppose d*y - 5 - 7 = 0. Let x be y/306*(-1 + 7). Which is smaller: x or -1?
-1
Let y(l) = 2*l**2 - 17*l + 3. Let t be y(9). Let n(b) be the second derivative of b**3/3 - b**2 - 4*b. Let r be n(7). Is r at most t?
True
Let s(x) = x**2 + 42*x - 89. Let l be s(2). Is -26/27 at most as big as l?
False
Let o = 13962/19 - 735. Suppose 2*s + 4*d - 4 = 0, 3*s + 17*d = 13*d + 4. Which is smaller: o or s?
o
Let k = 26 + -43. Let j = k + -3. Let n be (-5)/j*(3 + 1). Is n at most 3/10?
False
Let u = -0.32 - -0.61. Let p = u + -0.38. Is p at most 2/9?
True
Let y = 2 + -3. Let c = 78 - 549/7. Which is bigger: c or y?
c
Suppose -1 = 3*y - 1. Suppose -3*u - 38 + 8 = y. Is -10 >= u?
True
Suppose 0 = 2*c - 32 - 8. Let r = c - 16. Let k be 2/r*(0 + 0). Which is greater: 1/7 or k?
1/7
Let z be (-44)/(-16) + (-12)/16. Let v(i) = -5*i + 2. Let b be v(z). Let n = 3 + b. Do 3/2 and n have different values?
True
Let c = 947165/2947 + 4/14735. Let t = c - 320. Do 0 and t have the same value?
False
Suppose 208*x + 1015 = 243*x. Are 25 and x unequal?
True
Let y = -11 + 7. Let a = y + 0. Let q be (1/a)/(4/(-12)). Is q smaller than 2/7?
False
Let v(f) = -36*f - 183. Let j be v(-5). Which is greater: j or -357?
j
Let w be 2/18*12/18. Let q = -0.6 + -15.4. Let m = q + 16. Is m at most w?
True
Suppose -64*m + 74*m - 40 = 0. Which is bigger: 6 or m?
6
Let j = 0.71 + 0.29. Let q = -127 - -184. Is q at most as big as j?
False
Let s be ((-24)/84)/(8/(-14)). Let c = -51 + 48. Is c less than s?
True
Let f = 0.28 - -0.12. Let h(o) = -o**2 + 10*o - 20. Let a be h(6). Is a != f?
True
Let i(z) = -2*z + 15. Suppose -45 = -6*p + p. Let f be i(p). Which is smaller: 7 or f?
f
Let a = -2.575 + 0.885. Which is bigger: a or -0.1?
-0.1
Let m = 863 - 14664/17. Is m smaller than -1?
False
Let w = 161786/30080655 + 2/40815. Is 0 less than w?
True
Let w = -19 + 39/2. Let f = -8 - -11. Let j be (-6)/(-75)*f/6. Is j != w?
True
Let l(g) = -24*g**2 + 4*g - 61. Let z be l(5). Is z at least -642?
True
Let j = 2 + 4. Suppose j = -5*l + 21. Suppose 4*u = l*u - 1. Is u >= -1?
True
Let w = -211/33 + 63/11. Which is bigger: -0.11 or w?
-0.11
Suppose 5 + 13 = 9*n. Suppose -n*k + 10 - 14 = 0. Does k = -3?
False
Let o = -789.361 + 26.341. Let a = o + 776. Let c = -13 + a. Do -2/3 and c have the same value?
False
Suppose -l + 190 = -2*r, 3*r - l = 34 - 320. Is r not equal to -99?
True
Suppose 5*p = 2*u + 8*p - 118, 2*p - 120 = -2*u. Let q = u + -46. Is q equal to 15?
False
Suppose -y - 50 = 2*c + 3*y, 5*c - y + 92 = 0. Let p = 1658/3 + -534. Let q = c + p. Is q < -4?
False
Let l = -226 - -227. Is l at least as big as 0?
True
Suppose 11 - 3 = 4*k. Suppose k*b + 33 = -3*c, 0 = -c - 0 - 1. Is -14 bigger than b?
True
Suppose 2*h + 2*h - 7 = -u, 2*h = 4*u + 8. Suppose 3*x = x + h. Let o be (4/(-3))/(27 - 21). Is o smaller than x?
True
Let y(p) = p**3 - 21*p**2 + 21*p - 16. Let x be (-19)/(133/(-154)) - (3 - 1). Let a be y(x). Let i be (-2)/(-6) - (-23)/3. Is a smaller than i?
True
Let s be -2*((-68)/8 - -4 - -3). Let v be -1 + (-1 - -2) - s. Let z be (-2*1)/(-1) + -5. Is z at least v?
True
Let o = 55719/70 - 796. Which is smaller: 0 or o?
o
Suppose 0 = -k + 24*k - 46. Let o = 10 + -7. Let i be 8/o*(-3)/(-2). Which is greater: i or k?
i
Let u be 4/(-3)*87/116. Is u != 4/729?
True
Let o(d) = 14*d**2 + 0*d - 3 + 3*d - 2*d + 19*d**2. Let h be o(3). Let a be 180/h*(-3)/2. Does a = 0?
False
Suppose 0 = 3*p - 10 - 20. Let j be ((-3)/12)/(p/(-96)). Which is smaller: j or 3?
j
Let q = -23806/5 + 4762. Suppose -5*v = -3*p - p - 14, 2*v + 4*p - 28 = 0. Suppose -3*t = -v*t. Is t greater than q?
False
Suppose -q + 25 = 13. Let p be 44/q + -2 - 4/6. Let c = -29/2 - -325/22. Does p = c?
False
Suppose 8*b + 32 = 6*b. Let r = b - -30. Which is greater: r or 15?
15
Let b = 332 - 331.1. Let w = -0.2 - -0.1. Let k = w + 0.1. Is b > k?
True
Let l = 513 - 512. Which is greater: l or 1/33?
l
Let j = -84953/25 + 3399. Let f = j - 98/225. Let h be ((-2)/9 + (-64)/36)/2. Is h > f?
False
Let q(p) = 5*p**2 - 5*p + 43. Let h be q(5). Let f = -1856/13 + h. Is -1 equal to f?
False
Let m(o) = -o**3 - 13*o**2 + 14*o - 15. Let f be m(-8). Which is bigger: f or -448?
f
Let z be (-5654)/(-15) - 1/(-15). Is z at least as big as 376?
True
Let k be 200/(-25)*(1 + -2). Suppose 2*p - 21 = -p. Which is smaller: p or k?
p
Suppose 4*a - 6*a - 4 = 0. Let n be (10/3)/((-18)/(-81)). Let y be (-12)/n + 2/(-10). Do y and a have different values?
True
Let f = 99 - -28. Does 126 = f?
False
Let c = 68 + -98. Let i = -19 - c. Suppose -j - 2*k + 3 = 0, -4*j + 3*k = -j + 9. Which is greater: i or j?
i
Let u = 214 - 102. Suppose 5*b + 394 = -5*k + 114, -2*b = k + u. Let v be 3*1 + 126/b. Is 1 <= v?
False
Let h(l) = l**3 - 32*l**2 + 87*l + 4. Let k be h(29). Does k = -35?
False
Suppose -5*k + 6 = 1. Let n be k*(12/(-4))/3. Is -1/11 <= n?
False
Let p = -540 + 590. Is p > 9?
True
Let g = 2.546 - 0.546. Is 66/17 < g?
False
Let t be (-4)/18 + 4*(-3507)/54. Let o be 3/(1130/t + 4/(-26)). Is 23 >= o?
True
Suppose 37 = 4*r + 13. Suppose -z - 4 = -2. Let c = r + z. Do -2 and c have the same value?
False
Let n = 1.6 + -84.6. Let v = -83 - n. Which is bigger: v or 8?
8
Let c(f) = f**3 + 5*f**2 + f + 5. Let a be c(-4). Suppose 0 = -3*w + 5 - a. Let v = -7 - w. Which is greater: v or -5?
v
Let z = 198 - 175. Which is smaller: z or 19?
19
Let h = -73 + 73. Let j = 1/118 + 28/177. Which is smaller: h or j?
h
Suppose -95 