t + 2*j + 2 = -0, -8 = 5*t + 2*j. Let v be (-2 + 3)*t/2. Do v and g have different values?
True
Let d = 0.1 - 0.06. Let v = -24 - -38. Let s = -15 + v. Does d = s?
False
Let v = 17.1 - 17. Are v and 45 unequal?
True
Let d(r) = -r**2 + 6*r + 11. Let t be d(8). Let p = t + 6. Let w = -28 + 195/7. Is p less than w?
False
Suppose -3*c - 3*y + 15 = 0, 3*c - 3*y + 8 = 29. Suppose -4 = -2*x - 6, 4*a + 2*x + c = 0. Which is smaller: a or 0?
a
Suppose 9 + 6 = -3*t. Suppose 3*n + 3 = 4*f - 2*n, -f = -n. Which is smaller: f or t?
t
Let n = 13912/65 - 214. Let s be (248/(-390))/1 + 0. Let t = s - n. Is t bigger than -1?
True
Let b = 0.55 + 0.05. Let z = b - 1. Let j = z + 0.4. Is j less than or equal to 2?
True
Let m be (-2)/(-3)*(-6)/4. Which is smaller: m or -3?
-3
Let x be (-4)/4 - 26/(-30). Let g = 0 - 0. Let i = 0 + g. Is x equal to i?
False
Let n = -0.8 - -0.8. Which is smaller: n or 11?
n
Let x = 2 - -4. Let k(n) = -n**2 + 5*n + 5. Let f be k(x). Let y be (f + 3 - 2)/(-1). Is y at least as big as 0?
True
Suppose 3*g - 2*g = l - 259, 2*g - 4*l = -516. Let m = g + 1817/7. Which is smaller: 0 or m?
m
Suppose -3*k = -0*k - 42. Suppose -k = -0*t + 4*t + 2*w, -25 = 5*w. Which is greater: -3/7 or t?
-3/7
Let c = -870613/17112 + 5/2139. Let j = 51 + c. Suppose 2*u = -m, 3*u - 4*m - 12 = -u. Which is smaller: u or j?
j
Suppose 0*r - 3*h - 11 = -r, 5 = -5*r - 5*h. Let p be (2 - 0/r) + -3. Which is bigger: p or -2/37?
-2/37
Suppose -8 + 4 = -2*l, 4*y - 2*l - 12 = 0. Which is greater: y or 5/2?
y
Let x = 4 - 4. Suppose x = -v + 1 + 1. Suppose -2*b + 2*z + 10 = -v*z, 3*z + 9 = 0. Which is greater: 1 or b?
1
Let k = -50 + 51. Which is bigger: k or 2/59?
k
Let l(v) = v**2 + 3*v - 8. Let g be l(-7). Let a be 84/g - 2/10. Is 1 bigger than a?
False
Suppose -175 = -5*y + 3*c - 2*c, y - 5*c = 11. Is 37 less than or equal to y?
False
Suppose -3*b = -4*g - 32, -b - 3*g - 1 = 10. Suppose 2*w + 2*w - 4*a = 24, 5*w + 2*a - 16 = 0. Is w greater than or equal to b?
True
Suppose 0 = -3*n - a + 3*a + 16, -5*n = -a - 15. Which is smaller: 5/7 or n?
5/7
Let l be 0/(-4) + 2/2. Let s = 0 - -1. Let j = s + 0. Is j at most as big as l?
True
Let l(u) = 3*u + 6. Let a be l(5). Let x = 19 - a. Suppose -2*s - 2*s - 8 = 0. Do s and x have the same value?
True
Let i = 1111 - 45549/41. Suppose x = -2*j - x + 6, 3*j - 3*x + 3 = 0. Is j less than or equal to i?
False
Let k be (32/(-4) - -1)/1 + -2. Which is greater: 2 or k?
2
Let t = -0.079 - -0.139. Which is bigger: 1 or t?
1
Let l(o) = 175*o - 4. Let f be l(9). Let v = -4642/3 + f. Let g = v + -24. Is g bigger than 1?
False
Let n(u) = 4*u - 2. Let p be n(2). Suppose -w + 3*l = -p, -l + 0*l - 16 = -5*w. Suppose 2*v - 4*m + w = 7, -3 = -2*v + 3*m. Which is smaller: v or 1/5?
v
Let p = 55 - 167/3. Let f = -2/11 + -4/99. Are p and f non-equal?
True
Let w = -66 + 66. Which is smaller: -9 or w?
-9
Suppose 2*r = -0*r. Let s be r + -2 - 10/(-6). Let q = 0.11 + 0.39. Is q bigger than s?
True
Let i be 0 + -1 + (-2 - 0). Are i and -3 unequal?
False
Let z be (-11)/(-9) - (2 + -1). Let a = 13 - 10. Suppose -5*q + w - a + 6 = 0, -4*q - 6 = 2*w. Which is greater: q or z?
z
Let i be 1*-3 + 1 + -19441. Let t be (-1)/(-3) + i/(-72). Let c = t - 270. Is 0 less than or equal to c?
True
Let p = 21328/17 - 1254. Which is greater: 2 or p?
2
Let w be 12/7*14/10. Let c = w - 43/20. Which is smaller: -3 or c?
-3
Suppose -16 = -4*b - 0. Suppose 0*l + 3*l - 8 = 4*p, -b*l = 4*p + 8. Suppose -3*i = -2*i. Which is smaller: i or p?
p
Suppose 4 = m - 3. Let g = -6 + m. Is 7/4 at least as big as g?
True
Let q be 4/(-5)*25/(-2). Let f(z) = -z**3 + 7*z**2 - 4*z - 8. Let b be f(6). Suppose -b*c - 2*o = -q, c + 2*o = -2 + 6. Which is greater: 4 or c?
4
Suppose 16 = -4*n + 12. Is 0.1 at least n?
True
Suppose -3*g + 30 - 312 = -5*k, 0 = 4*k + 3*g - 204. Which is smaller: 55 or k?
k
Let m(p) = -2*p**2 + 3*p - 9. Let u(o) = -o**2 + o - 5. Let f(j) = -3*m(j) + 5*u(j). Let a be f(3). Let k be (-1 - -2)/(20/(-4)). Is k less than or equal to a?
False
Let l = 6.02 + -6. Let o = -0.12 + l. Which is bigger: o or -2?
o
Let o(g) = -3*g + 56. Let m be o(20). Is m less than or equal to -5?
False
Suppose 0*i + 2*i = 12. Suppose 0 = -s + i*s - 2*j + 5, -j + 3 = -3*s. Is s != -2/7?
True
Let g = 8 + -12.3. Let i = -1.4 - g. Let t = i - 3. Which is smaller: 0.06 or t?
t
Suppose -5*t = -5*k - 55, 0 = -0*t + 2*t + k - 13. Suppose -x - 2*x + 30 = -b, 48 = -2*b + 3*x. Let g be t/230*(-45)/b. Do g and 0 have different values?
True
Let c(d) = d**2 + d. Let t be c(-2). Suppose t*h + 18 = 4*h. Let y = h + -5. Which is bigger: 3 or y?
y
Suppose 0 = 3*d - 2*d - 2*f - 9, 3*d - 5*f - 23 = 0. Let g = d - -1. Suppose 2*y - 6*y + 4 = 0. Which is greater: y or g?
g
Let v = 4.6 + -5. Let u = v - -1.4. Which is greater: u or 0?
u
Let z = -11.763 - 0.037. Let u = z + 11. Let g = -1 - u. Is g less than or equal to 2/3?
True
Let i = -1.97 + 2. Let y = 0.24 - 0.34. Is i at least as big as y?
True
Let v be (-7)/5 + 4/10. Let i = -1 - 2. Let y = i - -5. Is y less than or equal to v?
False
Let i be (-49)/63 + 2/(-9). Which is greater: -2/21 or i?
-2/21
Let a = -29 + 20. Which is smaller: a or -8?
a
Let k be (6/7)/((-3)/21*-2). Let t(g) = 7*g - 1. Let b be t(1). Which is bigger: k or b?
b
Let h = -5/24 + -1/24. Suppose 5*m + 7 = 2*i, -2*i = 3*m - 0*m + 1. Is h bigger than m?
True
Let p = 3.4 - 5.43. Let s = p + 0.03. Let z = -0.1 - -0.1. Do z and s have the same value?
False
Suppose -3*s = -6*s - 3. Which is smaller: -2 or s?
-2
Let d(g) = 2*g**2 - 25*g + 17. Let z(c) = -c**2 + 12*c - 8. Let s(t) = -6*d(t) - 13*z(t). Let w be s(6). Let j = 502/381 - -2/127. Which is bigger: j or w?
w
Let h be 56/6 + (-8)/(-12). Let z be 8/(-20) - 6/h. Is z equal to -2/13?
False
Let j = -1 + 1. Let g be (6/(-4))/(-2 - 83/(-4)). Which is greater: g or j?
j
Let z(l) = l + 2. Let h be z(-3). Let f be h + (0 - -2 - -3). Suppose 0 = 3*o - f*g - g - 2, -4*o = -3*g + 1. Which is smaller: o or -2/13?
o
Let y = -7/8 + 37/24. Let a(h) = -h**3 - 2*h**2 + 2*h - 2. Let f be a(-4). Let m be 6/21 - f/28. Is y >= m?
True
Suppose -2*y + 12 = -4*p, -3*y - 5 = -2*p - 15. Let f be y/8 + (-85)/20. Let k be (-1 + 4)*f/6. Is 0.2 at most as big as k?
False
Let d(y) = -3*y + 2. Let u(g) = -g + 1. Let i(v) = d(v) - 2*u(v). Let z be i(0). Suppose 5 = -3*f - 4*a - 3, -3*a = -4*f + 6. Is f bigger than z?
False
Let m = -61.7 - -57. Let r = m + 0.7. Let f = r + 1. Is f bigger than 1?
False
Suppose 12 = 4*r - 4. Suppose r*k + 1 = k + 2*a, 0 = -4*k + 5*a + 1. Which is smaller: k or 2/13?
k
Suppose 0 = 2*y + s + s + 10, -5*y - 13 = 2*s. Let v be y + (-1 - -1) + 2. Let k be (2/(-4)*2)/3. Is k greater than or equal to v?
False
Let q = 5 - 1. Suppose -4*a = -4*j - 16, -2*a + q*a - 23 = 5*j. Is a at most as big as 0.01?
True
Let c(a) = a**2 + 6. Let b(z) = z**2 + 7. Let n(r) = 6*b(r) - 7*c(r). Let k be n(-1). Which is bigger: k or 3/5?
3/5
Let v = -14.9 + 15. Which is smaller: 9 or v?
v
Let u(z) = -z**3 + 2*z**2 + 9*z - 5. Let l be u(4). Suppose g = -3*g + 24. Let w(a) = -a**2 + 7*a - 9. Let v be w(g). Is l >= v?
True
Let f = -2/361 - -756/6137. Let m(i) = -i**3 + 7*i**2 + i - 8. Let u be m(7). Is f bigger than u?
True
Let j be (-1)/2 - (-364)/8. Let d be (3/10)/((-6)/j). Which is bigger: d or -1?
-1
Suppose 14 = -4*i - j + 3, -4*j = -20. Let r be i*(3 - (-51)/(-12)). Are r and 5 non-equal?
False
Let o(l) = -l - 9. Let a be o(-7). Is a != -6?
True
Let a be (3/10)/((-3)/(-4)). Suppose p - 28 = -3*p. Suppose -m - 2 = -4*s + 5, 3*m + 2*s = p. Which is greater: m or a?
m
Let g = 93 + -93. Which is smaller: g or 4/45?
g
Suppose 0 = j - 4*f - 0*f + 24, 12 = 2*j + 4*f. Let o be -5*2/(-4)*-2. Let r = o - j. Which is bigger: 2/7 or r?
2/7
Let g(l) = 2*l**2 + l + 2. Let d be g(-2). Let j = d + -8. Which is greater: -1/2 or j?
j
Let u be (-15)/(-10)*(-4)/(-13). Which is greater: 0 or u?
u
Let w = -4 - -2. Let z = 151.22 - 153. Let k = z + -0.22. Are w and k unequal?
False
Let y = -2 + 3. Suppose 3*p - 2*p = -y. Let q(h) = h. Let s be q(p). Which is smaller: 2/5 or s?
s
Suppose -2*h = 2*h + 8. Let a be (-2)/(-8) - h/(-8). Let b be 0*(a - (-2)/4). Do b and 3/4 have the same value?
False
Let n be (-2 + 0 + 1)*3. Are n and -3 equal?
True
Let d(j) = -3*j + 16. Let x be d(10). Is -13 > x?