= 5*g - 3*i - 17. Is v bigger than g?
True
Suppose 0 = 3*k + 9 - 117. Let j be (-2)/8 - (-9)/k. Which is greater: j or 0.1?
0.1
Let f = -273 - -4643/17. Which is smaller: -1 or f?
-1
Suppose x + 2 = 4. Let z be (x/(-4))/(22/12532). Let k = z + 285. Do k and -1 have the same value?
False
Let q(z) = -z**2 + 4 - 13*z - 3 + 3 - 2. Let g be q(-13). Do g and 3 have the same value?
False
Let f = -14 + 14.9. Let n = 0.9 - f. Let i = 0.1 - -0.1. Which is smaller: n or i?
n
Let s = 3219 + -1632034/507. Let v = -79/507 - s. Is 0.2 != v?
True
Let w(j) = -j**3 + 8*j**2 + 4*j - 10. Let p be w(8). Is 22 less than p?
False
Let x = 21 + -21.6. Which is smaller: x or 0.3?
x
Let x(l) = l**2 + 5*l - 2. Let j be x(-5). Let w be 3/14 - (-1)/j. Let s = -0.09 + 0.49. Which is smaller: w or s?
w
Let r(a) be the third derivative of -a**4/12 - a**3 - 4*a**2. Let j be r(-6). Let w be ((-1)/(-2))/((-4)/(-40)). Which is greater: j or w?
j
Suppose 5*b + 5*y - 560 = 3*b, -4*b + 1140 = 5*y. Let x = b + -6672/23. Is x greater than -1?
True
Suppose 5 = -0*c + c. Suppose 3*b - 17 + c = 0. Suppose -b*x - x + 5 = 0. Is -1/3 less than x?
True
Suppose -4*u + 4 = -d, 3*u = -d + 1 + 2. Suppose 0*k = 4*k + 4. Let f be (d - k)/(-4 - -5). Do 2/5 and f have different values?
True
Let p(r) = -r**3 + 6 - 3*r + 0*r + 0*r - 4 + 3*r**2. Let j be p(2). Suppose j = -n - 3*g + 10, -28 = 4*n - 3*g - 2*g. Which is bigger: -1 or n?
-1
Let g(q) = -q**3 - 6*q**2 - 3*q + 7. Let k be g(-5). Let a(y) = y**3 + 7*y**2 + 5*y - 8. Suppose -10 + 4 = z. Let v be a(z). Which is smaller: k or v?
k
Let z = 0.2 + -1.2. Let h = 5 + -1. Let v = 3 - h. Is v at least z?
True
Let s be ((-5)/(15/6))/(10/65). Which is bigger: s or -7?
-7
Suppose 0 = -h - 5*h - 6. Which is bigger: h or -4/9?
-4/9
Suppose -2*x + 7*x - 2*d = -5, -d + 7 = -4*x. Let z(j) = j - 2. Let n be z(x). Which is smaller: n or -1?
n
Suppose 2*a = -a - 5*s - 11, 2*s - 7 = -5*a. Suppose -t = -1 - a. Let q(z) = z**2 - 5*z - 3. Let x be q(t). Is x at least -8?
True
Suppose x - 7*x - 48 = 0. Let o(g) = -2*g + 7. Let u be o(7). Is u >= x?
True
Let o = 5 + -14. Let i be (-708)/15*(-15)/o. Let v = 78 + i. Which is smaller: -1 or v?
-1
Let l be (1/3)/(2/690*5). Do l and 22 have different values?
True
Let o = -0.7 - -0.1. Let i = o - -0.7. Is i not equal to -13?
True
Suppose 5*r - l = 1 + 37, -l = 3*r - 18. Let s(g) = g**2 - 6*g - 10. Let p be s(r). Let x be 2*(0 + 0 + -1). Is x not equal to p?
True
Suppose -70 = -4*y - q, 5*y + 0*q + 3*q = 91. Suppose 0 = -y*p + 15*p - 26. Is -12 > p?
True
Let p(l) = -l**3 - 2*l**2 + 4*l + 4. Suppose -3 = -3*h + 4*h. Let n be p(h). Suppose -4*s = -1 - 7. Which is greater: n or s?
s
Let z = -1 - -19/20. Let o = z - 17/60. Which is greater: o or -3?
o
Let w = 0.48 + 0.02. Let d = -0.1 + w. Is d < 1/2?
True
Let m(z) = -z**3 + 8*z**2 + 9*z + 1. Let x(n) = n + 2. Let r be x(0). Suppose 5*a = -3*g + 42, 38 = 6*a - r*a - 2*g. Let j be m(a). Is j < 2/9?
False
Suppose -l - 6 = 5*i, 3*i + 2 = 2*l - l. Which is smaller: 2/41 or i?
i
Suppose -2*t + 6 = 0, 4*d - t - 4*t = -27. Is -0.16 > d?
True
Let m = 14 - 29/2. Is m at most -6?
False
Suppose 0 = 2*x - b - 2, 5*x = -4*b - 8. Let r be 0/(x + 1) + -7. Let f = 4 + r. Which is smaller: f or -2?
f
Suppose -4 + 0 = -2*y. Suppose 0 = -y*m + 8. Which is smaller: m or 2?
2
Let z(a) = a**2 - 14*a - 2. Let k be z(12). Which is smaller: -27 or k?
-27
Suppose 5*w + 2 = -5*k + 12, -4*k + 8 = 5*w. Is -3/8 != w?
True
Let c = 89/22 + 29/88. Which is smaller: 3 or c?
3
Let v = -623/3 - -206. Which is greater: 0.1 or v?
0.1
Let h = 719.06 - 725. Let v = -6 - h. Let s = v + 0.36. Does 1/2 = s?
False
Let y = 13/4 - 83/28. Suppose 2*f + 4 = 6. Is f < y?
False
Let o = 3022/935 - 6/187. Which is smaller: o or 2?
2
Let i = -1 + 2. Suppose -i = 4*v + 3. Which is smaller: -2/3 or v?
v
Let a = -4 - -4.3. Suppose -4*n - 4 = 2*m - 10, 4*m - 18 = -2*n. Is a >= m?
False
Let w = 7 - 1. Let d = w - 4. Suppose -6*n = -5*n + d. Is -2 less than n?
False
Let m = -80 - -84.9. Let u = 5 - m. Is u at least as big as 1?
False
Let d = -4451/14 + 2627/14. Let w(f) = -25*f - 20. Let j be w(-6). Let q = j + d. Does q = 3/4?
False
Let m(s) = -3*s**2 + 13*s. Let z be m(4). Which is bigger: 5 or z?
5
Suppose 3*u = -6 - 3. Suppose -5*q + 3 = 18. Is q smaller than u?
False
Let y(o) = o**3 + 5*o**2 - 5*o + 7. Let i be y(-6). Let w be (-120)/64 - (-1 - i). Which is greater: 1 or w?
1
Let z = 176 - 163. Which is bigger: 19 or z?
19
Let v(q) = 3*q**2 + 0 + 2*q - 3*q + 3 + 0*q**3 - q**3. Let j be v(3). Suppose j = i - 0 - 4. Which is smaller: 1 or i?
1
Let g(q) = -q**2 - 10*q - 13. Let j be g(-9). Let p be 5/(-28) - (-1)/j. Does 1 = p?
False
Let g = 0.7 - 1. Let t = -0.3 - g. Let k = 20 - 22. Are k and t equal?
False
Suppose -z = -6*z + 80. Let p be z/140 + (-2)/5. Is p greater than -0.6?
True
Let f(k) = k**3 + 17*k**2 - 15*k + 12. Let v be f(-18). Is -42 less than or equal to v?
True
Let a = 6 + 3. Let v = a - 6. Suppose v*c = -0*c. Do c and -1/5 have the same value?
False
Let u = 0.05 - 0.04. Let t = u + 0.09. Which is smaller: -0.1 or t?
-0.1
Suppose -4*g = g - 10. Suppose q - 31 = 4*i - g*q, -20 = -4*q. Let r be i/6 - 20/15. Is r at least as big as -1?
False
Suppose 4*i = 2*i + 10. Suppose 13 = 4*m - 15. Let h = m - i. Which is smaller: 1 or h?
1
Let h(v) = -v**2 - 14*v + 16. Let k be h(-15). Suppose -1 = 2*a - 3*f, 3*f + k = 4*a - 0*f. Which is smaller: 2/9 or a?
2/9
Let p be 4/2*(0 + -1). Let u be -1 - (p + (-3243)/(-2409)). Let r = u - -12/73. Is 0 at most as big as r?
False
Suppose 4*q - 26 = 2*q - 4*v, 3*v - 15 = 0. Suppose -m - q*y + 6 = 0, -4*m + 2*m + 2*y = 4. Is m at most 2/39?
True
Let q be (2 - 2)*1*-1. Let u be (8/(-3) - -1) + 1. Which is greater: u or q?
q
Let n = 104.8 + -115. Let k = -10 - n. Which is greater: -0.1 or k?
k
Let c = 4/3 - 1. Let y = -41 + 284/7. Which is greater: y or c?
c
Let k = 17 - 11. Let y(a) = -a + 5. Let o be y(k). Let j be -2 - (-2 - 0/o). Is -2/3 at least j?
False
Suppose -32 = 2*n + 4*w, w - 3*w = -n. Let v = n + 13. Suppose 0 = -0*b + v*b. Which is bigger: -1 or b?
b
Suppose -5*h = -4*h + 10. Let x = h + 32/3. Is 0 at most as big as x?
True
Let c = -2.176 - -0.176. Which is bigger: 3/13 or c?
3/13
Let b = -7.2 - -7. Which is greater: b or 6/5?
6/5
Let p = 9 + -6. Suppose -5*k = -m, -p*m + m - 10 = 0. Let h be (3/(-10))/(15/(-10))*2. Is k not equal to h?
True
Let c(r) = -r**2 - 11*r + 10. Let b be c(-11). Let y be (b/(-6) - -2)/(-4). Is 1 greater than y?
True
Let f = -1.8 + -6.2. Let h = 18 + -12. Let j = h + f. Is 0 greater than j?
True
Let q = -156620/113 + 1386. Do -1 and q have the same value?
False
Let j(w) = 2*w**2 + 2*w + 2. Let x be j(-1). Is 7 < x?
False
Suppose 0 = 5*j - b + 5, 15 = 2*j + 2*b + 5. Suppose -2*n - k = -0*k - 6, -2*n + 4*k = 14. Is n at least as big as j?
True
Let v(p) = p**3 + 7*p**2 - 9*p - 8. Let z be v(-8). Is z greater than -1?
True
Let z be 2 + ((-24)/1329)/((-2)/(-222)). Do 1 and z have different values?
True
Let q = -6.2 + 6. Let y = q - -0.3. Let n = y - 1.1. Which is smaller: n or -0.3?
n
Suppose -2*o + 3*o - 4 = s, 2*o = -4*s + 2. Is -1 at most s?
True
Let f be 8/28*(-28)/(-2). Is f > 58/13?
False
Let t = 2/113 + -232/339. Is t smaller than -1/5?
True
Let x = 0.209 + 8.491. Let s = 9 - x. Is 3 greater than or equal to s?
True
Suppose 0 = 4*y + 11 + 1. Suppose 3 = -x - 0. Is x less than or equal to y?
True
Let w be 2/1*((-75)/(-10))/(-15). Which is smaller: -5/6 or w?
w
Suppose t = o - 8, -3*o = -9*t + 4*t - 32. Is -1/2 != t?
True
Let p = -803103/68 + 11810. Let d = -3/34 - p. Do 0 and d have the same value?
False
Let m(f) = -f**3 - 8*f**2 + f + 9. Let k be m(-8). Is -2/253 smaller than k?
True
Suppose 2*g + 3 = -1. Let s be g/5*(-15)/(-10). Is -1 at most s?
True
Let a be -3 - 128/(-68) - -1. Which is bigger: a or 0?
0
Let t be (6/(-52))/((-9)/12). Let c(u) = u**3 + 7*u**2 + u + 6. Let s be c(-7). Let b be (-8)/(-8) + s + -1. Is t at least b?
True
Let n = 63/5 + -499/40. Suppose c + 4 = 3. Is c greater than n?
False
Suppose 4*l + 68 = 540. Let r be l/(-84) - (-3)/2. Which is smaller: -1 or r?
-1
Let j = 171 - 512/3. Does j = -2?
False
Let a = -3 - -2. Let o = 0 + -3. Let d be -1*(-32)/(-10) - o. Which is greater: d or a?
d
Let b = 11 - 18. Which is smaller: b o