Suppose 29 = 5*g + 9. Suppose 5*w + 5*r = 2*w - 64, g*r = -20. Which is greater: w or -17?
w
Suppose 77 = 3*r - n, -3*n + 7*n - 17 = -r. Let p = r + -26. Suppose -3*i = 2 + 1. Do p and i have the same value?
True
Let w(k) = -k**3 - 15*k**2 - 12*k + 31. Let q be w(-14). Suppose 0 = -13*c + 16*c + q. Which is greater: c or 2/7?
2/7
Suppose 0*g = -g + 4. Suppose t + y - 26 = 0, g*t + y = -2*y + 102. Let w = t - 23. Which is smaller: w or 0?
0
Let q(n) = -8*n + 292. Let x be q(22). Is x <= 118?
True
Let b = 245 + -246. Which is smaller: 35 or b?
b
Let r = -1.0548 - -0.0148. Which is bigger: r or 0.3?
0.3
Let m(n) = -2*n - 13. Let h be m(-7). Is -1/180 smaller than h?
True
Let d be 1/5 - (-4)/5. Let z be d + 0 + 0/(-2). Let i = 4667 + -51335/11. Is i smaller than z?
True
Let j(q) = -q**2 + 14*q + 4. Let a be j(14). Suppose a*k = 57 + 119. Suppose 31 = -5*y - k. Is y less than or equal to -15?
True
Let j = 10 + -11.6. Let v = 10.4 - j. Let g = -13 + v. Which is greater: -10 or g?
g
Let g = -263 - -283. Is g at most -5?
False
Suppose 15 = 3*d + 3*n, -3 + 7 = 2*d - 4*n. Suppose -4*c = -0 - d. Which is smaller: 2/5 or c?
2/5
Let y = -6784 + 237404/35. Which is bigger: y or 0?
0
Suppose 2*h = -j + 6 + 3, 12 = j + 3*h. Suppose r - j*r = -6. Suppose 0 = -5*u - 5*f + 35 - 15, r*f - 14 = -u. Is 3/7 < u?
False
Let h = 0.122 - -0.045. Let r = h - 0.067. Which is greater: r or -47?
r
Let q(r) = 4*r + 31. Let n be q(-8). Let w be n/15*(-1)/(-3). Do w and -1 have different values?
True
Let n(r) = -r**3 - 8*r**2 - 7*r - 2. Let v be n(-7). Let p = -5909898613/894 - -6610624. Let a = p - -2/149. Which is greater: v or a?
a
Suppose s - 34 = 4*l - 185, 0 = -4*l - 2*s + 154. Let y = l - 37. Which is smaller: 2/107 or y?
2/107
Suppose h - 1 = 4, 0 = 4*u - 5*h + 9. Let b be (-3)/6 - 22/(-4). Suppose -3*x + 5 = b*w, -u*x - 5*w = -3*w - 2. Is -1 at least as big as x?
False
Let o = -71 - -71. Is o greater than 169?
False
Let j = -0.4291 + -0.0409. Is j > 0?
False
Let m be ((-2)/4)/((-1)/(-6)). Suppose x = 4*x + 63. Let s be 3/m - x/15. Which is bigger: s or 0?
s
Let l = -4454/77 + 424/7. Let b(m) = 2*m - 7. Let t be b(5). Is t > l?
True
Let k(r) = 2*r**3 - 21*r**2 - 9*r - 12. Let s be k(11). Are s and 9 equal?
False
Suppose 5*z + 2*t + 120 = 0, 5*z + 2*t + 120 = 7*t. Which is greater: -26 or z?
z
Suppose -5*b - 2*m = -325, 5*m + 143 = 5*b - 217. Is 71 at least b?
True
Let j = -15 - -45. Is 345/11 greater than j?
True
Let s = -11927/7 + 1701. Are -4 and s non-equal?
True
Let w(m) = 46*m + 2 - 3 - 16*m. Let x be w(1). Is 28 at most x?
True
Let a = 18 + -15. Let w = a - 3.03. Let g = -0.07 + w. Which is smaller: 1 or g?
g
Suppose 0 = -i + 2*j + 2, 0*i - 2*i - 2*j = 2. Let s = 20429/33 - 619. Which is smaller: i or s?
i
Let g be ((-2)/14)/((-108)/546). Let k = 241 - 8677/36. Let p = g - k. Is 1 less than p?
False
Let r(g) = -g**3 + 10*g**2 - 10*g + 9. Let v be r(9). Which is bigger: v or 3/52?
3/52
Let y = -0.21 - -0.2. Let z = -2.01 - y. Let m be 0 + 1/(-3) - 43/(-86). Is z greater than or equal to m?
False
Let z = -2/43417 - 183176309/303919. Let v = -599 - z. Are v and 3 nonequal?
True
Suppose 4*z + 2*x - 5 = 3, 5*z + 12 = 3*x. Let y be (-1)/(z - -5 - 4). Is 3/25 < y?
False
Let g = -388009 + 386389.91. Let j = 1630 + g. Let f = j - 11. Which is bigger: 1 or f?
1
Suppose -f + 4 = -1. Suppose f*d = 2*g - 13, -g + 5*d - 1 + 10 = 0. Let v be (-27)/(-42)*g/(-3). Which is smaller: 0 or v?
v
Let h be 6/(-21) - (-48)/168. Let z be 12/3*(-1)/366. Is h greater than z?
True
Let k = 47 + -47. Suppose k = 4*z - 9*z. Is -1/5 less than or equal to z?
True
Let h be ((196/8)/(-7) + 3)*-14. Let a be h + -1 + -3 - 3/1. Are a and 2/351 nonequal?
True
Let v = -83 - -77. Is v at most as big as 0.04?
True
Let n = 323 - 167. Which is bigger: 781/5 or n?
781/5
Suppose 0 = -17*w + 12*w - 230. Are -45 and w nonequal?
True
Suppose a + 0*s + 3*s - 224 = 0, 896 = 4*a - 4*s. Is a at least as big as 224?
True
Suppose g - 5*m - 40 = 0, -3*g = 3*m - 70 - 14. Let v be g*(-3 - (-39)/15). Do v and -10 have different values?
True
Let d be (-18)/27 - 20/(-6). Suppose -3*j + 2 = -4*x + 2*j, 0 = x + 4*j - 10. Suppose -t + 4*z = x*z + 4, -z = -5*t + 7. Which is bigger: t or d?
d
Let g = 228 - 227. Is g >= -3/43?
True
Suppose 3*l + 3*l = -36. Is -14/5 less than or equal to l?
False
Let l be (-24)/35 + (-4)/(-10). Let z = 0.601 - -0.069. Let k = z - -5.33. Which is bigger: k or l?
k
Let m = -3038225/217 - -14001. Which is smaller: 0 or m?
m
Let i = -1.2 + 1. Let n = -162 + 158.98. Let h = -0.02 - n. Are i and h nonequal?
True
Let a be ((-186)/36 + 5)*4. Which is bigger: -50 or a?
a
Let m = 44 - 37. Let x = 0.12 - 0.02. Is x less than m?
True
Let c(k) = k**3 - 10*k**2 - 1. Let p be c(10). Let m be (4/7)/(p/6). Suppose 81*y + 14 = 74*y. Are y and m equal?
False
Let o = -22 - -27. Suppose -474 = 3*m - o*n, -12*n + 15 = -7*n. Is m at most -154?
False
Suppose -4*t + t = -6. Let j be (t + 1)/(6/224). Let l = -75 + j. Which is bigger: l or 36?
l
Let z(g) = 99*g + 12. Let w be z(7). Are 705 and w non-equal?
False
Let b = -34 + 40. Let n = b + -6. Is -1/4 at most n?
True
Let v be (-3)/9*15/(-5260). Which is greater: 1 or v?
1
Let f = -1195073/526 - -2272. Is -1 != f?
True
Let x = 3 + 1.5. Let y = x - 2.5. Is y greater than 1?
True
Let q(r) = -r**3 - 14*r**2 - 7*r - 7. Let d be q(-14). Suppose k = 2*l - d, -367 = 4*k - 3*l - 3. Let b be (-9)/35 + 13/k. Which is bigger: b or -1?
b
Let d be ((-24)/(-42))/(2/7). Suppose d*t + 28 = 4*k, -k - 5*t - 45 = -6*k. Suppose -2*b = k*b - 91. Is 12 less than b?
True
Suppose -2*r - 4*f + 2*f - 2 = 0, 14 = r - 4*f. Suppose 2*l = -2*l + 56. Let x be ((-2)/5)/((-7)/l). Which is smaller: x or r?
x
Suppose -g - 2 + 3 = -l, -3*l - 4*g + 18 = 0. Suppose -4*k - k - l*s - 13 = 0, 5*s + 20 = 0. Do k and -6/7 have different values?
True
Let z = -0.7 - -0.6. Let v = -10 - -10.15. Let h = 6.85 + v. Which is smaller: z or h?
z
Suppose 0 = -3*m - 3, -5*m = 2*g + 5 + 2. Let p be g/(3 - 2)*-6. Let r(f) = -2*f + 2. Let v be r(-2). Is v not equal to p?
False
Suppose -31 = 2*l + 25. Let m = l - -41. Let r be 13/((-1)/(-5)*5). Is m >= r?
True
Let q = -235 + 130. Let z = -111 - q. Which is smaller: z or 3?
z
Suppose -6 = l - 4*l, -2*t = l. Let n = 765 + -769. Is n greater than t?
False
Let a = 0.7 - 1.05. Let p = a - 13.65. Let h = p - -13.8. Which is smaller: 5 or h?
h
Let s(p) = -p**3 + 7*p**2 - p - 29. Let q be s(6). Do q and 2/1269 have the same value?
False
Let b = 135 - 148.4. Is 2 greater than or equal to b?
True
Let n = 0.0604 + -3.0604. Which is smaller: -1/52 or n?
n
Suppose 3*i = -3, 5*i + 11 = 2*n - 56. Let g = n + -44. Let b = -1.4734 + 0.4734. Is g bigger than b?
False
Let n(h) = 3 + 1 + 5 - 1 + h. Let i be n(-6). Let f(j) = -j**2 + 2*j. Let y be f(i). Which is bigger: 4/7 or y?
4/7
Suppose 0 = 2*r - 6*r + 136. Which is smaller: 31 or r?
31
Suppose -9 = -2*v + 1. Suppose -5*o + 5 = 4*n + n, v*o - 5 = -3*n. Which is bigger: 2/45 or n?
2/45
Suppose 2*k + 5*l + 12 = 0, -4*k = -3*k - 4*l - 7. Let j = 329 - 208. Let n = 1697/14 - j. Do k and n have the same value?
False
Let d = 103/8 + -8545/664. Which is smaller: 1 or d?
d
Let j = -165 - -1157/7. Suppose -s = s - 12. Let b be (9/42)/(s/16). Which is greater: j or b?
b
Let h be (-4)/(12/(-15)) + -4. Are 17 and h equal?
False
Let g = 16 - 7. Let a be -5 + -3*(-3)/g. Let r be a/6 + 8/3. Is r less than 2?
False
Let a = -55 + 55. Suppose d = -2*d - 3. Let q be 1/2*d*-1. Do q and a have the same value?
False
Suppose 3*x - 7*r + 4*r + 42 = 0, r = -2*x - 31. Is x != -15?
False
Let o = -564 - -568.9. Are 2/5 and o nonequal?
True
Let w(z) = -z**3 + 9*z**2 - 7*z - 8. Let b be w(8). Suppose 5*y = -4*f - 0 + 4, b = -2*y - 2*f. Suppose y*v = v. Is 1 equal to v?
False
Let a be 6/4 + 6 + 10/20. Which is smaller: 15/2 or a?
15/2
Let b(o) = 6*o + 23. Suppose 4*f + 23 = -29. Let j be b(f). Are -55 and j non-equal?
False
Let f = -20.67 - -34. Let t = -13 + f. Let z = 0.23 - t. Do -6 and z have the same value?
False
Let t = 3 + -22. Let s = -28 - t. Let k = s + 9. Is k at least as big as -2/11?
True
Suppose -26*j = -31*j - 5. Let p be 1 + j - 3 - (-52)/20. Is p less than -2/27?
True
Let i be ((-2)/(-4))/(2/116). Suppose 3*l = i - 14. Suppose -l*y - 1 = -6. Is 9/5 > y?
