?
c
Let x = 462 + -21716/47. Which is smaller: -1 or x?
-1
Let v = 68 - 67.8. Let h = -181/9 + 2797/144. Let q = h + 87/80. Which is smaller: q or v?
v
Let v be 2*(-1 - 0)*-3. Which is bigger: 5 or v?
v
Suppose -3*x - g = -2*x - 78, -4*x + 3*g + 340 = 0. Let c = 331/4 - x. Is 1/3 < c?
True
Let f(g) = -2*g**3 - 5*g**2 - 2*g + 3. Let q be f(-3). Suppose 5*b - 3*y = q, 2*b + 3*y - 5 = -2. Let l = 4 - 0. Do l and b have the same value?
False
Let p be (23/(-24) - -1)/((-76)/171). Are -1 and p nonequal?
True
Let w be 1 - (-33)/(-60)*2. Is -4/5 greater than w?
False
Suppose 30*w - 36 = 26*w. Let d(b) = -b. Let k be d(-7). Is k bigger than w?
False
Suppose 0 = -3*s + s + 12. Let l be (8/6)/(2/s). Suppose -l*r - 3 = 1. Do r and -1/3 have the same value?
False
Let k = 14 + 17. Which is smaller: k or 32?
k
Let c be (-6)/4*4/(-2). Let a = -1 + c. Suppose -n = -a*n + 1. Is 1/2 at least as big as n?
False
Let f = -5.3 + 5. Let s = 2.3 + f. Let z = s - 0. Which is smaller: z or -1?
-1
Let p = -7 - -7. Suppose -2*q = -p*q. Is q less than 2/3?
True
Let f = 0.01 - 0.21. Is f > -1/17?
False
Let g(n) = -n**2 - 6*n - 6. Let i be g(-4). Suppose 0 = 5*h + p - 9, -p - 7 = -5*h + 4. Let o be h*(-6)/(-8)*1. Which is greater: o or i?
i
Let u be -1 - ((-3432)/(-14))/(-2). Let v = u + -121. Let k = -2 - -3. Is v less than k?
True
Let m = -15.9 - -11.9. Which is bigger: m or 13?
13
Let s = 4 - 4. Is s not equal to -1/2?
True
Let n(l) = -l**2 + 2*l + 5. Suppose 4*k + k - 20 = 0. Let y be n(k). Is y less than or equal to -4?
False
Let v(z) = -z**3 - 3*z**2 - z + 1. Let i be (2 - 0)/(0 + 1). Suppose 0*n - 1 = -4*r - 3*n, 11 = i*r + 5*n. Let f be v(r). Which is bigger: f or -2?
f
Let a = -340 - -320.1. Let b = a - -20. Which is smaller: b or 5/2?
b
Let m = 5 - 4.95. Let b = m - -0.05. Let d = b - 0. Do 2 and d have the same value?
False
Let w(t) = -13*t + 18. Let d be w(-3). Is 57 at least d?
True
Suppose 5 + 1 = 6*p. Let m be 0 - ((-6)/(-10) + -1). Is m > p?
False
Suppose q = 3*q. Suppose -c + 0*c - 1 = q. Suppose 2*l + 14 = -3*h, -2*h = -h + 2*l + 10. Is c != h?
True
Let c be (0 + 1 + 0)/(-1). Let i = 16 - 5. Let f(m) = m**2 - 10*m - 13. Let j be f(i). Which is greater: j or c?
c
Let h(o) = o + 6. Let g be h(-10). Let a = -7 + g. Let t = 8 + a. Is t < -4?
False
Let x(s) = 3*s**2 - 1. Let c be x(1). Let l(m) = m - 7. Let y be l(8). Which is bigger: c or y?
c
Suppose -5*t = -2*m + 9, 3*m - 11 = -2*t + 7*t. Suppose -4*o - 8 = -5*o + m*s, s + 4 = -5*o. Suppose o*y - y = 0. Which is smaller: y or -3/7?
-3/7
Let v be (-6)/(-26)*(-34)/51. Which is smaller: -1 or v?
-1
Let v = -18 + 17.3. Let r = 317/9 + -35. Which is smaller: v or r?
v
Let m(g) = g - 3. Let h(y) = 4*y - 11. Let v(z) = 6*h(z) - 26*m(z). Let f be v(6). Is f greater than or equal to 0?
True
Let t(w) = -w - 1. Let q be t(-2). Is q at most 1/15?
False
Let w = -1.1 + -1.9. Let n = w + 2. Are 2 and n unequal?
True
Let k be 13/(-52) + 47/(-4). Are -10 and k equal?
False
Let g be (2/(-2))/(1/(-2)). Suppose 3*d - 5*s + 40 - 15 = 0, g*s - 10 = -d. Suppose -5*r + q - 4*q + 4 = d, -q + 4 = -r. Which is greater: r or -2?
r
Let y = -8 - -6. Suppose -4 = 2*a - 0*a. Let v be 1 + (a - 0) + -1. Is v at least as big as y?
True
Let m be 20/2 + -1 - 3. Let z = 5 - m. Which is greater: 1/4 or z?
1/4
Suppose 4*n = -w + 5*w + 32, 2*w = -10. Suppose -4*a - 26 = k - n*k, 0 = -k - 2*a + 1. Are 7 and k unequal?
False
Suppose -r - 1 = -5*v - 124, 2*r - 102 = 4*v. Which is smaller: -25 or v?
-25
Let r = 15.8 + 0.2. Which is bigger: r or -2/3?
r
Let x = 260/381 - 2/127. Suppose -3*a - 5*j + 30 = 0, 2*j - 11 = -a - 0*a. Which is smaller: x or a?
x
Let z(b) = 3*b**2 + 2*b - 2. Let m be z(-2). Suppose 0 = 3*n + l - 6*l - 13, l + m = 4*n. Is 3 not equal to n?
True
Suppose 0 = -0*b - 7*b. Is b > 9/8?
False
Suppose -d - 6 = -5*x + 4, 3*x - 6 = -2*d. Let h be (12/40)/(6/8). Which is smaller: d or h?
d
Let v be 75/27 - 1 - 2. Let u be (0 - 0) + 44/(-16). Let d = -3 - u. Is d at least as big as v?
False
Let m(n) = -n**3 - 7*n**2 - 6*n + 4. Let z be m(-6). Suppose 3*s + t - 4*t - 30 = 0, z*t = -16. Are 5 and s non-equal?
True
Let m = 19 - 20. Let l = -12 - -6. Is l greater than or equal to m?
False
Let n = -0.7 + 2.7. Let s = n + -2.2. Is s at least 1?
False
Let g(k) be the first derivative of k**2/2 - 4*k + 1. Let h be g(3). Let u be (1 - 2)/(2/h). Is u at most as big as 2?
True
Suppose -5*b + 4*m = -27, 2*m + 2 + 10 = 2*b. Let v be (2/(-8)*-2)/b. Is v smaller than -1?
False
Let l(s) = -s - 8. Let x be l(6). Let a = x + -2. Let d = 22 + a. Are d and 6 unequal?
False
Let v = -63 - -251/4. Let n(c) = -c + 2. Let u be n(-2). Suppose -2*s = 5*i, 2*i = u*s - 0*i. Is v < s?
True
Let l be (870/25)/(6/20). Let s be (-2)/4 - l/(-200). Is s > -2/7?
True
Let j be (0 - -12)*(-322)/56. Is j <= 1?
True
Suppose i + 15 = 4*i. Let o be -2 - (0 - (i + 0)). Let f = -20.1 - -20. Is f >= o?
False
Suppose 3*j + 7 - 28 = 2*h, j = 5*h + 20. Let o(s) = -2*s - 1. Let w be o(-1). Which is smaller: h or w?
h
Suppose 3*b - 3 = -5*x + 101, 4*x - 84 = -2*b. Which is bigger: 62/3 or x?
x
Let k be 3*-1 - (-70)/26. Let q(j) = -j**3 + 8*j**2 - 6*j - 7. Let r(b) = -b**2 + 7*b + 7. Let n be r(7). Let l be q(n). Which is smaller: k or l?
k
Let h be (24/112)/(2 + (-15)/12). Let n = -2/3 + 4/3. Is h greater than n?
False
Let g = 4 + -19/5. Which is greater: g or 0?
g
Let p = -27 - -35. Let m(y) = 5*y - 3. Let n be m(2). Which is smaller: n or p?
n
Let p(i) = i**3 + 7*i**2 + 5*i - 2. Let z be p(-6). Suppose 2*w - 4*l = l + 8, -14 = z*w + 5*l. Which is bigger: w or 0?
0
Let m = -11 - -9. Let h be 8/(-30)*3/m. Which is greater: h or 0?
h
Suppose -s + 4 = -1. Let r = 7 - s. Is r at most as big as 3?
True
Let c be (-36)/2 - (10/5 + -1). Is -19 smaller than c?
False
Suppose 3*c = -3*c + 36. Let i = 2 - -3. Is c < i?
False
Let p(c) = -c**3 - 7*c**2 - 5*c + 7. Let z be p(-6). Which is greater: z or -1/14?
z
Let r(u) = -u**2 + 7*u. Let n(p) = -p**2 - 8*p. Let a be n(-7). Let x be r(a). Let b = 3677/13 - 283. Which is bigger: x or b?
x
Let b = -4 - -6. Suppose 2*c + b*c = 0. Suppose 0 = u + 3, -2*v + 9 - 2 = -3*u. Is c greater than v?
True
Suppose -6*h - 19 = 17. Do h and -4 have different values?
True
Suppose 21 = 25*v - 22*v. Suppose -5 = -c, -7*x + 6*x = 2*c - 18. Which is greater: x or v?
x
Let z(o) = -121*o**2 + o + 4. Let c be z(-1). Is c <= -118?
True
Let j = -0.02 - -2.02. Let p = j + -3. Let t = p - 0. Which is greater: t or 1/2?
1/2
Suppose -d + 3 = 1. Suppose -4*l - j = -19, -3*l + 2 = 4*j - 9. Suppose 0*s - 3*r + 12 = s, l*r = s + 20. Are s and d unequal?
True
Let l be 1 + 0/1 - 2. Let q = 18 - 137. Let g be 3/q - 12/102. Is l greater than g?
False
Suppose 3*j = 0, -j = -5*s - 0*j - 20. Let d(o) = -o**3 - 4*o**2 - 4. Let t be d(s). Let u be t/16 - (-3)/(-4). Are 2/21 and u nonequal?
True
Let i be 48/693*29 - 2. Let f = i - 247/1848. Which is smaller: f or -1?
-1
Suppose -20 = 4*k, 2*k - 9 = -f + 4*k. Let w be (-1)/(-5) + 29/(-20). Are f and w unequal?
True
Suppose -27*m = -32*m - 55. Is m <= -7?
True
Suppose 0 = 7*x - 3*x - 788. Let v = -25531/153 - -6182/17. Let l = x - v. Which is smaller: 1 or l?
l
Let u = 49 + -243/5. Is u not equal to -0.22?
True
Suppose -2*c = 10*c - 384. Is 31 > c?
False
Let q(o) = 8*o**2 - o + 29. Let s be -11*(-1 - 1)/(-2). Let r(a) = 3*a**2 + 10. Let b(j) = s*r(j) + 4*q(j). Let f be b(-5). Which is greater: f or -2/13?
f
Let g = -33472954/183 + 182913. Let f = 1/61 - g. Suppose 0 = -3*n - 2 - 1. Is f at most as big as n?
False
Let x be (-56)/210*(361/2 - -2). Let t = -97 - -145. Let p = t + x. Is 0 bigger than p?
True
Let s = 13.01 - 13. Is s bigger than 0?
True
Suppose 3*q - 9 = 12. Let k = -1 + 5. Let i = q - k. Which is greater: i or 1?
i
Let c = -13/6 - -17/6. Is c greater than 0?
True
Let s = 79 - 397/5. Suppose -2*q + 0*q + 2 = -4*c, 3*c = q. Suppose q*g + 2 = 5. Which is greater: s or g?
g
Let x be (-2)/(-2 - -4*1). Suppose m = -0*m + 5*a - 6, 2*m = -2*a. Are x and m non-equal?
False
Suppose -5*y = 2*p - 98, 4*p = -3*y + 25 + 31. Suppose -2*q + 13 = 5*n, -y - 39 = -4*q + n. Let w be (-28)/(-8)*8/q. Which is greater: w or 0.2?
w
Suppose 0 = -4*y + y. Let v be (0 - 5) + (y - -1). Does -4 = v?
True
Let k = 7.89 + -8. Let p = k + 0.21. Is p equal to 0.1?
Tru