15 - -47899/5. Which is bigger: 64 or x?
x
Let x be 1/2*(1 - -17). Let a be 1/4*6/x. Suppose -4*p + 164 = 168. Is a greater than p?
True
Let z = 2 + 0. Suppose 0 = 5*x - 2*i, 22*x + 3*i = 24*x. Suppose -f = -z*h + 6, -4*f - 8 = -x*f - 4*h. Which is smaller: f or 12/7?
12/7
Let q(u) = -u**3 - 3*u**2 + 2*u + 12. Suppose 0*k - 25 = 5*k. Let z be q(k). Is 52 > z?
False
Let o = 0.004 - -1.396. Suppose -4*a - q = -11, 2*q + 2*q - 4 = 4*a. Let d be 2/4 - a - -1. Which is bigger: o or d?
o
Suppose 493 = y - h, -95*h + 1469 = 3*y - 100*h. Which is bigger: y or 497?
y
Let f = -28 - -31. Let p be -24*(340/108 - f) + 3. Which is greater: -0.2 or p?
-0.2
Suppose -84*x + 89*x = 60. Which is smaller: 54/5 or x?
54/5
Suppose v + 3 = -2*d - 0, -2*v = -2*d - 18. Suppose v*r + 24 = r. Is -5 > r?
True
Let k = -20289/950 - -33363989/1615950. Let o be 1942/486 + 44/(-11). Let r = k + o. Which is bigger: 0 or r?
0
Let t = -65 - -62. Let c(g) = g**2 + 13*g + 16. Let y be c(-11). Do t and y have the same value?
False
Suppose -2*t - 3*w + 208 = -w, 4*t = 4*w + 424. Suppose -c - 5*p = -44, 41 = 4*c + 5*p - t. Is 35 not equal to c?
True
Suppose -4*a = -s + 36, 2*a + 44 = -2*a - s. Let y = 8316/5 - 1674. Which is smaller: y or a?
y
Let r = 116 + -213. Let b = 95.1 + r. Which is smaller: b or -0.1?
b
Let j = -0.1299 + -0.0701. Let q = 0.04 - -2.96. Which is greater: j or q?
q
Let u = 4215/26 + -327/2. Which is smaller: -5 or u?
-5
Let u be (-20)/54*1/(33/(-18)). Let w = -14/33 + u. Which is smaller: -1 or w?
-1
Let c = 719 - 723. Is 8 at most as big as c?
False
Let k be 1/((-6)/46) + 1/(-3). Let w(s) = -s**3 - 9*s**2 - 8*s - 1. Let t be w(k). Is t <= -4/5?
True
Let f be -3 + 7 + 0 + -1. Suppose 0 = -y - 5*k + 9, 2*k = 2*y + f*k - 9. Let p = y - 3. Is p at most 3/10?
False
Suppose 0 = 3*x - 2*q - 14, 3*x + 4*q = 2*q + 10. Suppose 5*f - 2 = -3*o, -5*o - 18 = -x*o - 3*f. Let h = -37 - -30. Which is greater: h or o?
o
Suppose -368*t = -361*t + 21. Which is greater: 215 or t?
215
Let l(i) = i**2 + 9*i + 19. Let x be l(-4). Suppose 0*j + n = 5*j - 125, 3*n = -5*j + 105. Which is bigger: j or x?
j
Let r = -5.4 - -4. Let f = 2.4 + r. Is f at most 1.7?
True
Let y = 777 - 734. Suppose 0*v + 2*v = -5*n + 98, -2*v + 2*n = -84. Which is smaller: y or v?
y
Let p be (-4)/(-54) - 14696/(-2079). Is 6 at least p?
False
Suppose 3*g - 2*y = 11, 3*g = -5*y + 4 - 0. Suppose 2 + g = 5*l. Let k be (-3)/9*l*3. Which is smaller: -6/5 or k?
-6/5
Suppose 0 = -5*a - 0 + 10. Let z(k) = -k + 0 + a - 3*k + 4*k**2. Let v be z(2). Which is smaller: 11 or v?
v
Let x = -1 - -1/2. Let g be 1 - (2 + (3 - 7)) - 4. Which is greater: x or g?
x
Let x be (-18)/27 - (-2 + 958/(-6)). Let t = -106 + x. Is t greater than or equal to 55?
True
Suppose -37*w - 608 = 2426. Is w bigger than 1/2?
False
Let g(k) = k**3 + 4*k**2 - k + 5. Let d be g(-4). Suppose -5*n - 5*b = 0, 2*n = 4*b + 21 + d. Suppose -17 = -n*z - 2. Which is smaller: -0.2 or z?
-0.2
Suppose 4*n = n + 54. Suppose 3*b - 52 = -r, -7*r + 10*r = b - 4. Which is greater: n or b?
n
Let w = 12/13 + 15/26. Let u(r) = r - 4. Suppose 0 = -v + 12 - 5. Let h be u(v). Which is greater: w or h?
h
Let f be ((-516)/7 - 12/42)/2. Which is greater: -113/3 or f?
f
Let k = 18 + -18.2. Let x = 12 + -12.16. Is k smaller than x?
True
Let h = -6355/36 - -699/4. Which is greater: h or 3/10?
3/10
Let q = 1394 - 1228. Which is smaller: 168 or q?
q
Suppose -5*p - 2*k - 40 = 0, p + 5*k + 16 = -p. Is -10 less than p?
True
Let d(k) = 3*k**2 - 5*k - 113. Let l be d(9). Is 90 less than l?
False
Let k be (-37)/185 + 594/70. Is k greater than 9?
False
Let i(k) = k + 4. Suppose -7 = -x + 2*x + d, d = 3*x + 17. Let v be i(x). Which is bigger: v or -7/3?
v
Let l(q) = -5*q**2 - 4*q - 5. Let o be l(3). Let f = -63 - o. Are f and -3/37 equal?
False
Let o = -6 - -6. Suppose 20 = 5*g + u - o, 5*u = -4*g + 16. Suppose -n + 17 = -5*z, -g*n - n - 5 = 5*z. Which is bigger: 0.07 or n?
n
Suppose s + 0*s = 2. Suppose -s*a - 2*a = 0. Suppose -r + a*f = -f - 1, 2*f - 2 = -2*r. Is r > 0?
True
Let g be -335 - 12*(-1 - -2). Is g less than -346?
True
Let o = -18 + 21. Let t = 4 + -7.2. Let x = o + t. Which is smaller: 1 or x?
x
Let t = 401.7 + -401. Which is smaller: 2/37 or t?
2/37
Let n = 232/7 - 241/7. Suppose 0 = 9*t - 15*t + 60. Let v be 2/(-6)*2 + t/15. Which is smaller: n or v?
n
Let b = 789 + -4733/6. Is 112 smaller than b?
False
Let h = -2 + 2. Suppose -6*j + 12 - 30 = 0. Let f be (3 + -4)/(-3) + 1/j. Do f and h have different values?
False
Let o(v) = -v - 10. Let d be o(12). Let g be d/(-11)*2/22. Which is smaller: -1 or g?
-1
Let j be 4/((-6)/3)*2/(-14). Let v(r) = r + 9. Let z be v(-5). Let m be (2/16)/(z/24). Which is greater: m or j?
m
Let k = -134 - -809/6. Suppose 3*v = -v - 4. Let l be (-3 - v*4)/1. Is l at least as big as k?
True
Let k(n) = -n**2 + 19*n - 49. Let q be k(5). Which is greater: -7 or q?
q
Let v = -47 - -113. Let l be 48/16 + (-200)/v. Is -1 smaller than l?
True
Let r = 0.7675 + 0.1535. Let m = 0.079 + r. Is m bigger than -8?
True
Suppose 2*f + 6 = -0*i + 4*i, 5*f = -2*i + 33. Suppose -i*r - 12 = 4*u, 15 = -2*r + 5*u - 5. Suppose 0 = -5*o + 2*o - 15. Is o at least as big as r?
True
Let g = 5 + -4. Let x(b) = -33*b**3 + b**2 + 3*b + 2. Let h be x(-2). Let a be (-10)/40 + 82/h. Which is greater: a or g?
g
Let z = -92.75 - -72. Let o = -21 - z. Let i = -0.45 - o. Is i > 2?
False
Suppose 0 = -o + 3*w - 4*w - 10, 3*w - 18 = 5*o. Let b be (-53)/5 + 8/(-20). Let m(x) = -x**3 - 12*x**2 - 11*x - 5. Let u be m(b). Is o bigger than u?
False
Let o be (0 - -1 - 2)*1. Let k = 43/7 - 380/63. Is k bigger than o?
True
Let s be 0 + 268/(-20) - (-22)/55. Which is bigger: 3/5 or s?
3/5
Let z = 0 - 3. Let r = -13 + 13.06. Let s = r - 0.36. Is s greater than or equal to z?
True
Suppose -20 = 4*g - 2*p, -4*g + p - 20 = -3*p. Is g at least -2?
False
Let y be (-4 - -6)/(2/4). Suppose y*q - 84 = -24. Suppose -11*a + 12 = -q*a. Which is bigger: a or -4?
a
Let v = 1.39 - -25.61. Let p = 25 - v. Is 4/9 at least as big as p?
True
Let p be (-6 + (-75)/(-12))*-24. Which is greater: p or -50?
p
Suppose -9 = -2*p + 9. Let a(o) = o**2 - 5*o - 13. Let y be a(p). Let u = 23 - y. Is 2/9 at least as big as u?
True
Let a = 499340/9 - 55391. Let l = a - 91. Are l and -8 nonequal?
True
Let a = -395564/123 - -3216. Let t = -274/861 + a. Let f = t - -17/35. Do f and 2 have the same value?
False
Let q(n) = -n**3 - n**2 + n - 1. Let t be q(0). Let r be t/(-4)*18/3. Suppose -2*z = v + 2, 0 = z + 2*v - 5*v - 13. Which is bigger: z or r?
r
Let w(m) = -m**2 - 42*m - 103. Let j be w(-32). Let k = j + -208. Let q be (-2)/(-4)*(-1)/(-2). Is q at most k?
True
Suppose 5*f = 5*m - 20, 3*f + 0*m + 2*m = -12. Suppose -6*t + 30 = 0, 2*q - t - 4 = -17. Is q greater than f?
False
Suppose 3*u - 6 = -0. Suppose u*c - 3*t = 1, t = -3*c - 2*t - 6. Let r be 1/(3 + -2)*(-32 + 29). Do r and c have different values?
True
Let n = -5 - -7. Suppose -n*w = -k - 15, 0 = w - k + 6*k + 9. Suppose 0 = 8*t - 45 - 3. Is w less than t?
False
Suppose -472 = -12*h + 260. Let b = h + -32. Is b > -2/3?
True
Let u = -6.8 - -6.95. Is u < 1?
True
Suppose -3*r + 6 = -m, 5*r + 1 = -6*m + 4*m. Is r greater than 1/20?
True
Let r = 7507 - 4189403/558. Let i = r - -7/62. Is 0 greater than or equal to i?
True
Suppose -3*b + 1101 = 1098. Which is smaller: b or 1267?
b
Let j(s) = -s + 13. Suppose -5*a - 5*v = -65, 52 + 13 = 5*a + 4*v. Let l be j(a). Suppose -2*q + 5*x - 13 = l, -4*q + 2 = 2*x - 8. Is q greater than -1/22?
True
Let m(f) = -f + 4. Let t be m(0). Suppose -5*z - l - 32 = 151, t*l = -5*z - 192. Is -35 smaller than z?
False
Suppose -2*a - 4*q + 0*q = -20, 2*a + 5*q - 19 = 0. Let m(b) = -b**3 + 13*b**2 - 10*b - 24. Let k be m(a). Which is bigger: -1/81 or k?
k
Let g = -6 + -19. Let w = g + 31. Suppose -2*k + 7 = 3*q, 2*q - 2*k - 18 = -w*k. Is q at most -2/51?
True
Let k = 5245219/66 + -79471. Let y = -3/98 - -274/147. Let h = y - k. Which is smaller: h or -1?
-1
Let x = 0.415 + 36.585. Is -1 >= x?
False
Suppose 5*y = 5*f, 0*f + 6 = 5*y - 2*f. Suppose 0 = -s - 3*d - 12, -s + 6 = -d - y. Which is smaller: s or 7/2?
s
Let d = 510.8 - 448. Which is bigger: -1/4 or d?
d
Let q = 38 - 46. Let r be -2*(12/q + 2)*1. Is 32 >= r?
True
Let s = -82.5 - -82.443. Which is sma