Suppose 3*a = 4*a - q. Is a >= 2?
True
Let d = -2/3 - -1/6. Let h be (-4)/6*24/(-16). Let a be (h/2*0)/2. Which is greater: a or d?
a
Let f = -0.8 - 10.2. Is f at most as big as -2?
True
Suppose d = 5*d - 24. Let z be d/(1 + 4 + -3). Are 4 and z nonequal?
True
Let f be (35/(-119))/((-2)/12). Are f and 3 non-equal?
True
Let c = 1.7 - 1. Let a = c - -0.3. Are 3 and a equal?
False
Suppose 4*s - 32 = 2*s + 4*v, -3*v = -s + 14. Suppose -4*d - d = s. Do d and -4 have the same value?
True
Let l = 6 + -2. Suppose -104 = -4*u - 4*h, -h + 12 = 3*h. Suppose 7 = -l*z + u. Which is smaller: z or 3?
3
Suppose -6*a - 20 = -10*a. Is 13/3 > a?
False
Let r = 30 - 22. Which is greater: r or 9?
9
Let b = -22/7 - -80/21. Let l(t) = t**3 - t - 4. Let k be l(0). Let v be (-1)/(-2)*k/(-9). Which is bigger: v or b?
b
Suppose 2*l = -j - 18, -2*j - l - 28 = 5. Let d = 31/2 + j. Do -1 and d have the same value?
False
Let h = -140 + 127. Are -13 and h non-equal?
False
Let z be 3 + 0 + (1 - 1). Let b = 5 - z. Suppose 2*g = -0*g + b. Are 0 and g nonequal?
True
Suppose d + 3*w + 27 = 0, 2*d + 0*w + 3*w = -42. Let x be 1*-2 + 1723/d. Let o = -117 - x. Is 1 greater than or equal to o?
True
Let d(j) = j**2 + 5*j + 3. Let s be d(-5). Let k(f) = f. Let w be k(2). Let z be w/(1/(3/6)). Which is smaller: z or s?
z
Let h(i) = -i**3 + 3*i**2 + 2*i - 3. Let j be h(3). Suppose 3*v - f - 3 = 0, -j = v - 6*v + f. Suppose -a - a - 2 = v. Which is bigger: a or 3/7?
3/7
Suppose 0 = 4*g + 5*t - 8, 2*t - 5 - 15 = 4*g. Which is greater: g or -17/5?
g
Let m(g) = g + 4. Let k be m(-2). Is k < 6?
True
Let x(h) = -3*h + 5. Let n(p) = 1. Let u(q) = q + 6. Let g(i) = -5*n(i) + u(i). Let z(y) = -4*g(y) - x(y). Let l be z(-8). Is l less than -1?
False
Let j(m) = -m**3 + 10*m**2 + 9*m + 16. Let s be j(11). Let f be -20 - 4*3/s. Which is smaller: f or -1/4?
f
Let v be (-5)/2 + 1/2. Let k be 21/14*v/(-3). Is 2 less than or equal to k?
False
Suppose -3*o = -4*k - o - 54, 58 = -3*k + 5*o. Let v = -29 - -19. Which is smaller: v or k?
k
Suppose -2*l = -6*l - 16. Which is bigger: l or 0?
0
Let q = 4/43 - 49/989. Which is bigger: q or 3?
3
Let v = -1771651/13 - -136068. Let j = 213 + v. Is 0.1 <= j?
True
Let z(b) = -2*b**3 + 7*b**2 + 2. Let y be z(7). Let n be (-34)/60*(-2 - -604). Let v = y - n. Are v and 0 unequal?
True
Let c = 0 + 0. Let n(m) = -m**3 + 8*m**2 - m + 6. Let v be n(8). Let g = c - v. Which is smaller: 1 or g?
1
Let t be ((-4)/(-4))/((-1)/(-5)). Suppose -4*z - z = -t. Are z and 2 equal?
False
Let c(i) = -i + 2. Let y be c(6). Let h be (6/y)/((-9)/12). Suppose 2*k - 16 = -h*k. Which is smaller: k or 2?
2
Suppose k - o - 3 = -0*o, -k = 5*o + 27. Is -10 < k?
True
Let d = -22 + 22.1. Which is smaller: -1.6 or d?
-1.6
Let j = 0.057 - 4.057. Let q be (-2)/8*8/(-7). Is j greater than or equal to q?
False
Let c = -0.77 + 1.27. Which is smaller: c or 1?
c
Suppose p + 0*i = -i + 15, -4*p - i = -48. Let m = p + -10. Is 1/4 at least m?
False
Let w(o) = o - 1. Let b be w(-5). Let y = -4 - b. Suppose f = -i - y*i - 4, i - f = 0. Is 2/7 greater than or equal to i?
True
Let k = 173 - 861/5. Which is greater: k or 2?
2
Let d(c) = -5*c + 1. Let p be d(-1). Suppose -2*a = a - p. Which is smaller: a or 1?
1
Let u(q) = -q**2 - 15. Let g be u(-7). Let z be (g/24)/((-2)/3). Which is bigger: z or 2?
z
Let d = 0.9 + 12.1. Let i = 12.7 - d. Is i at least -2?
True
Let s(y) = -2*y + 1. Let l be 0/2 + 2 + -1. Let i be s(l). Is i smaller than 2/5?
True
Let n = -32 + 37. Is 4 greater than n?
False
Let f = 1 + -1. Is f smaller than -1/4?
False
Suppose -i + 5 = -5*f + 2*i, f = 4*i - 18. Let q(u) = -u**3 + 8*u**2 + 9*u + 4. Let g be q(9). Let s be g + (-3)/3 + -2. Is s at least f?
False
Let i(k) = -k**2 - 1. Let j be i(1). Let t be 1/(0 - j/14). Which is smaller: 8 or t?
t
Let a be ((-4)/(-14))/((-4)/4). Let j = 3.9866 - -0.0834. Let k = j - 0.07. Which is smaller: k or a?
a
Suppose m = -0*m - 8. Is m less than -7?
True
Let n be 3/2 - 66/12. Let l = -7 - n. Is l bigger than 1?
False
Let g = 1076/7 + -154. Which is greater: 1/2 or g?
1/2
Suppose 0 = 3*x + h - 20, 172 - 127 = 5*x + 4*h. Let t(w) = -w**3 - 2*w**2 - 4*w - 3. Let k be t(-2). Does x = k?
True
Let w(g) = -g**2 - 12*g - 11. Let f be w(-11). Let y(z) = 3*z**3 - z**2 + 2*z - 1. Let l be y(1). Let a be 2/(-3) - (-2)/l. Is f greater than a?
False
Suppose -t + 8 = 4*a, -t + 0*a = -3*a + 6. Are t and 2 unequal?
True
Suppose 3*x - 8 = 2*s, x + 4*s + 13 = -3. Let a = -34289/244 + 95/122. Let y = a - -139. Which is smaller: y or x?
y
Let v(k) = -2*k**3 - 2*k**2 + k - 1. Let g be v(-2). Let z be 2/(-8) - g/(-20). Let b be 96/(-44) - (-4)/22. Is b at most z?
True
Suppose -5*n = k + 50, 0*n - 2*k + 8 = -2*n. Do -6 and n have different values?
True
Suppose 3 = 5*v - 22. Let x(u) = u**2 + 4*u + 6. Let l be x(-4). Suppose 5*f = -5*p - 20, -2*p + 16 = v*f - l*p. Is f less than -1/13?
False
Let l be 3 - 3*4/12. Suppose 3*o = 2*q + 5, 4*q + o + 12 + 5 = 0. Let z be 1/((-1)/q*l). Which is bigger: 3 or z?
3
Let n(m) = -2*m - 8. Let o be n(0). Let c = -5 - 4. Is o >= c?
True
Let n = -7 + 19. Let o = n + -7. Suppose 14 = -o*k + r, -2*r = -0*k + 3*k - 2. Is k at most as big as -2?
True
Let a be (-3 - (-232)/78)/((-3)/18). Is -0.1 equal to a?
False
Let l be 12/(-20) + ((-6)/(-10) - 1). Let s = -1 + -3. Let j be (-4)/(-10) + s/15. Is j != l?
True
Let l be (38/6)/((-1)/(-9)). Suppose -l - 18 = 5*t. Let y be (5/t)/(1/(-9)). Are 4 and y unequal?
True
Suppose -a + 12 - 4 = 0. Let c be (a/12)/((-1)/(-3)). Suppose -c*i = 2*i. Is i at least as big as -2?
True
Suppose 90 = -11*w + 14*w. Do w and 32 have different values?
True
Suppose 4*g = 6*g - 14. Suppose 3*v = -2*h - 2, g = 5*v - 5*h + 52. Let c be (-5)/4 + (-1)/v. Which is smaller: 0 or c?
c
Suppose 5*j - f = f - 145, -j = -4*f + 29. Is j less than -29?
False
Let h = 0.3 - 0.1. Let z = -1.33 + 0.73. Is h bigger than z?
True
Let m = -93 + 92. Is -8/7 bigger than m?
False
Let s = 9 + -8. Let j = s + -0.8. Is j less than or equal to -3?
False
Let p = 0.8 - 0.5. Let s be (-1 - 0) + (1 - -4). Suppose -h - 4*z + 12 = 0, s*h - z + 6 = z. Is p at most h?
False
Let j(z) = 2*z - 9. Let m be j(6). Let c = -189 + 190. Does c = m?
False
Let k(v) = -v**2 - 4*v + 3. Suppose 0 = f + 4*c + 9, -4*c + 13 = -5*f - 8. Let u be k(f). Which is greater: -3 or u?
u
Suppose -4*m + d + 33 = -0*d, -3*m = -5*d - 29. Let u be ((-3)/(-2))/((-6)/m). Let z = 3/38 - 63/76. Is z bigger than u?
True
Suppose 0*d - 54 = 2*d. Let o = -191/7 - d. Which is bigger: o or -1.1?
o
Let d = 0.1 + -0.5. Let n = 0.5 + d. Which is greater: -1 or n?
n
Let g(l) = -5*l - 2. Let x be g(0). Is x equal to -5/6?
False
Let w = 4 - 0. Which is greater: 3 or w?
w
Let w = -8 + 4. Let u = 5 + w. Is u equal to 0.2?
False
Let u = -632/2163 + 2/309. Suppose -7 + 1 = -3*t - 4*s, 5*s - 15 = 0. Which is greater: u or t?
u
Let y = 7.6 + -3.6. Let p = -4 - 2. Let j be 2/p + (3 - 2). Which is greater: y or j?
y
Let r be (11/(11/12))/2. Which is bigger: 8 or r?
8
Suppose 0 = o + 4*o. Suppose 5*m + 14 = 4. Let t be 2*2/36*m. Which is bigger: o or t?
o
Suppose 26 = o - 12. Suppose 5*q = 2*j + 4, 5*q = -4*j - 0*q - o. Is j not equal to -9?
True
Suppose 0 = h + 4. Let x(t) = -t - 8. Suppose 4*w = 3*l - 20, 7 - 39 = 5*w - 2*l. Let c be x(w). Are h and c unequal?
True
Let s = -1 + -7. Let z = -6 - s. Suppose 8 = 4*c + 4. Are z and c unequal?
True
Let z = 7 + -11. Let m = -5 - z. Suppose -3*p - 8 = -11. Is m at least p?
False
Suppose -4*k - 2*k = 0. Which is bigger: 9 or k?
9
Suppose 18 + 12 = 6*j. Suppose -9*p = -j*p + 24. Which is smaller: -5 or p?
p
Suppose 46 = -5*j + 11. Let v = -49 - -44. Is v bigger than j?
True
Let c(v) = -5*v**2 + 7*v + 7. Let t(o) = -3*o**2 + 3*o + 3. Let k(l) = -4*c(l) + 7*t(l). Let g be k(-6). Which is bigger: g or 0?
0
Let c be 52/14*-1 + -2. Let n = c + 247/42. Let s(u) = u**2 + u. Let o be s(0). Do n and o have the same value?
False
Let a = 11 + -11. Which is greater: a or 7?
7
Let q = 17 + -19. Let t be 8/18*(-9)/6. Is q equal to t?
False
Let v(t) = 8*t. Let m be v(3). Let k = 170/7 - m. Which is greater: -1 or k?
k
Let x(w) = w + 2. Let g be x(4). Let i be (2 - 0)/(3/g). Let r = 1 - i. Which is smaller: r or -1?
r
Let b = -7.1 + 8. Let f = -0.1 + 1.1. Let m = f - b. Which is greater: m 