
x
Let w = 5 + -10. Let r be (-1 - w)/((-2)/(-1)). Let t be 8/(-12)*6/r. Is -3 at least as big as t?
False
Let h = -416/513 + 14/19. Is h bigger than -1?
True
Let t(v) = v - 1. Let a be t(6). Suppose 0*g - 10 = -a*g. Which is greater: g or 1?
g
Let h = 4.756 + 0.044. Let q = h + -5. Do 6 and q have the same value?
False
Let u = 0.11 - -2.09. Let f = u - -2.8. Which is bigger: -2/15 or f?
f
Suppose n = 4*n. Let f = -41/4 + 10. Which is smaller: n or f?
f
Let p be 0/1 - 12/(-234). Which is smaller: 1 or p?
p
Suppose 6 = 2*w - d, -5*w - d = d + 3. Suppose 0 = 4*t - h - 3, 2*t = 3*t + 5*h - 27. Suppose t*a + a = 0. Which is smaller: w or a?
a
Let f = -5 + 1. Let t be (0 - f/2)/2. Which is greater: 3/8 or t?
t
Suppose -4*j = -3*j - 2. Suppose -j*h + 55 = 3*h. Suppose h*q - 6*q = 0. Is q less than or equal to -1?
False
Let j(q) = 1 - 4*q - 4 + q**2 - q - q. Let l be j(7). Suppose -l*v = -2 - 2. Which is smaller: -2/5 or v?
-2/5
Let f be (1/3)/(85/102). Which is smaller: -21 or f?
-21
Let g(s) be the first derivative of -1/2*s**2 + 2 + 0*s. Let i be g(1). Is -2/17 > i?
True
Let d(l) be the second derivative of l**4/12 - 7*l**3/6 - 3*l**2/2 + 2*l. Let r be d(8). Suppose -5*s - 25 = 5*k, -s + 4*k = -r - 10. Which is bigger: -2 or s?
s
Let s be (-18)/6 - (-12)/8. Let g = 3 - -1. Suppose 0 = -3*l + 7*l + g. Does l = s?
False
Let w = -89 + 351/4. Is -2 <= w?
True
Let u be (-2 + 1)/((-8)/72). Suppose -5*c = -u*c. Which is greater: c or -1?
c
Let z be (-4 - -5)*(5 + 0). Suppose -z*w + 0*s + s + 17 = 0, 3*w = s + 11. Suppose 0 = 3*o + w*x + 15, -x = -2*o - 0*o - 1. Is -1 less than or equal to o?
False
Let s be (-1)/1 - 238/(-224). Is 1 != s?
True
Let y(h) = 2*h - 9. Let a be y(6). Let m = -0.06 + -0.24. Let l = -0.4 - m. Which is bigger: a or l?
a
Let p be 17/(-5) + 6/15. Let y = 21 - 20. Is p at least as big as y?
False
Let z = 20 - 13. Suppose b = z*x - 3*x - 22, -2*b = 4*x - 28. Which is bigger: x or 9/2?
x
Let o be (5 + -2 + -3)/(-2). Suppose o = 4*p + 5*j + 61, 55 = -7*p + 3*p + j. Is p at most as big as -14?
True
Let t(j) = -j**2 + 2*j + 18. Let r be t(0). Which is greater: r or 17?
r
Suppose 371 - 121 = -5*z. Let j be (-5)/(z/(-4)) - -1. Let i(l) = -l**2 - l. Let k be i(0). Which is bigger: j or k?
j
Let q = -35/8 + 199/8. Let x = 20 - q. Let v be (3/(-12))/(10/16). Which is smaller: x or v?
x
Let q(d) = -d + 10. Let r be q(6). Let u be r/(-14) - (-53)/14. Which is smaller: 3 or u?
3
Let y = 70 - 50. Suppose 0 = -m - 4*m + y. Is 4 < m?
False
Let u = 0 + 0. Let v = 3 + -3. Let g = v + 3. Which is smaller: u or g?
u
Let b be (-1)/(-1)*(-48 - -22). Which is bigger: -25 or b?
-25
Let y = 3 + 4. Let g(z) = -2*z + 16. Let l be g(y). Is l >= -1?
True
Let d be -2 - (-8 - -2)*1. Suppose y = 4*y + 6. Let u = y + d. Is u greater than or equal to 1?
True
Let g be 4/(-12) + 39/9. Suppose 0*d - 2*d + g = 0. Does 2 = d?
True
Suppose 2*w = -4*f - 2*w + 84, 5*f - 119 = 2*w. Is 23 smaller than f?
False
Let d = -67 - -45. Let n be (2/d)/(6/(-45)). Let b = -1/66 + n. Is -2 at most b?
True
Let i = -2.4 + 14.4. Let h = i - 12.2. Is h less than or equal to 2/3?
True
Let q be 3353/(-21) + 1/(-3). Which is bigger: q or -161?
q
Let n = 374/15 + -25. Does n = 0?
False
Suppose 6*o = 3*o - 30. Let r be 1/2 - o/4. Suppose r*s = 2*v - 11, 6*s + 2*v + 10 = 2*s. Is s > -3?
False
Let r be -8 - (5 + -1 - 5). Is r at least -7?
True
Let z = -2 + 3. Let h = 271/12 - 64/3. Which is greater: z or h?
h
Let l be (4/42)/(2/3). Let y(d) = -5*d + 4. Let b(c) = c. Let g(t) = 6*b(t) + y(t). Let z be g(-3). Which is smaller: l or z?
l
Let m(z) = -4*z**2 - z - 1. Let n be m(-1). Let b be 1/2*24/4. Suppose 4*i + 0 = 3*t - 11, b*t + 9 = 0. Is n smaller than i?
False
Suppose 4*o + 0*o = -4, t - 3*o = 3. Let s(y) = 16*y + 1. Let k be s(-2). Let u = k + 157/5. Is u <= t?
False
Let j = -4 + 4. Which is smaller: -12 or j?
-12
Let s = -37 - -31. Suppose 0*q + 5 = -q. Which is smaller: s or q?
s
Let y = -24 - -49/2. Which is smaller: y or 22/7?
y
Let t(k) = k + 1. Let w = 2 - 3. Let p be t(w). Is 0 less than or equal to p?
True
Suppose -3*o - 8 = -17. Let k be o/(-2)*4/6. Which is bigger: k or -1/2?
-1/2
Suppose 2*y = -5*v - 122, -4*v + 14 = -y + 122. Is -26 less than or equal to v?
True
Let h = -0.3 + -3.7. Let z = 3 + h. Is z equal to -0.3?
False
Suppose 0 = 4*c + 12, 3*l + 5*c = l + 5. Let p = l + -4. Suppose 0 = -4*b - 2 + p. Are 0 and b nonequal?
True
Suppose 5*c - 2*f = -3, c + 2*f = 6*f + 3. Let z be (1/(-3))/(15/9). Which is bigger: z or c?
z
Let z be 88/(-6)*3/(-2). Suppose z = -4*p + 6. Which is greater: p or -2?
-2
Let d(b) = b**3 - b**2. Let g be ((-3)/3*1)/1. Let t be d(g). Which is bigger: -1/2 or t?
-1/2
Let t be (4 + (-20)/2)*-1. Which is bigger: 5 or t?
t
Let x be 0/(6/(-2) - -2). Let j be (1 + 0/(-2))*-1. Let c be 1/(-2) - 0/j. Which is bigger: c or x?
x
Let j be (-17)/4 - 3/(-12). Let z be (-7 + 4)*2/j. Which is bigger: z or 2?
2
Suppose 0 = -2*c + 5*v + 5, 1 = 2*v - 1. Is 6 equal to c?
False
Let p = -1846/11 + 168. Which is bigger: p or 1/4?
1/4
Let x(c) = c**2 - c. Let o be x(0). Is o smaller than -7/6?
False
Let z(k) = 8*k**2 + k. Let p be z(-1). Suppose 5*y = -p - 3. Which is bigger: -4/7 or y?
-4/7
Let h(t) = 5*t - 3. Let p be h(2). Suppose 0 = 4*w - p + 19. Which is greater: w or -4?
w
Suppose j - 5*j + 2*k = 98, -3*j - 56 = 2*k. Are j and -23 equal?
False
Let n be ((-18)/16)/(9/(-12)). Let r = -6 + 7. Do n and r have the same value?
False
Let y(l) = -l**3 - l**2 + l. Let o be y(0). Suppose -n + 2 = -o*n. Let v = n - 4. Which is smaller: v or -1/2?
v
Let c be 3/(-6) - (-5)/(-3). Which is greater: -1 or c?
-1
Suppose -4*z = -5*z. Suppose -a + z*a = 4*u + 22, -10 = -5*a. Let q = 5 + -11. Is q less than or equal to u?
True
Let v(h) = -2*h**3 + 17*h**2 + 12*h - 22. Let r be v(9). Let z = 2 - 0. Do z and r have the same value?
False
Let p be 1/4 - 9/(-12). Let a be (-8)/(-28) + 6898/112. Let j = a - 62. Is p less than j?
False
Let r(m) = m**3 - 6*m**2 + 5*m - 3. Let h be r(4). Suppose 0 = -17*d + 5*d - 180. Is d bigger than h?
False
Let h(c) = 2*c**2 + 5*c - 2. Let u be h(-3). Is u > -1/4?
True
Let a = -167.3 - -167. Are -16 and a unequal?
True
Let m(t) = t**2 + 2*t - 7. Let n be m(-5). Suppose -n = 3*q - 2. Is q equal to -3?
False
Let u = -54 - -51. Let k be ((-3)/(-4))/((-2)/8). Is u at least as big as k?
True
Let l = 9 + -3. Suppose -l*p - 6 = z - 2*p, -2*p = 2*z + 6. Is -2 >= z?
True
Let i = -424/9177 + 10/133. Is i at least as big as 0?
True
Let h = -1 + 10. Suppose 3*t - 12 - h = 0. Is 7 equal to t?
True
Let s(q) = -q**3 + 11*q**2 - 9*q - 10. Let k be 8 - 11 - (0 - 13). Let w be s(k). Which is bigger: -2 or w?
w
Let n = 0.093 + -0.093. Which is greater: 23/5 or n?
23/5
Let f = 7 - 6.92. Let p = -0.86 + -1.14. Is p greater than f?
False
Let m = 518 + -5692/11. Let k be (-1 - (5 + -1)) + 6. Is k >= m?
True
Let b(p) = p**2 - p - 2. Let y be b(2). Suppose -2 = v + h - 4, 3*v + 4 = -h. Which is greater: v or y?
y
Suppose -4*w = -3*o, -w = w - o. Let h be -2 - (w + -1 - -1). Let s be h/(-2)*2/(-6). Is s less than or equal to -0.4?
False
Let i = -3 + -2. Suppose -48 + 8 = 4*l. Let v be ((-2)/i)/((-2)/l). Are 4/3 and v equal?
False
Let z(f) = f + 1. Let x be z(0). Let c = 5 + -1. Let m be 30/336 - c/(-14). Which is smaller: m or x?
m
Suppose -3*q = 3*j - 6*j - 159, -5*q + j + 253 = 0. Is 51 less than q?
False
Let g = -45 - -77. Let r = g - 94/3. Suppose 4*w = -3*z - 0*z + 6, -z + 2*w + 2 = 0. Is r not equal to z?
True
Suppose 2*j + 10 = 4*s + 4*j, -11 = -2*s + 5*j. Which is bigger: 22/9 or s?
s
Let b = -16 - -12. Which is bigger: -3 or b?
-3
Suppose -4*s + 44 = -9*x + 4*x, 4*s = x + 28. Let z be (-48)/31*s/(-45). Let d = z - -6/31. Is 0 at least d?
False
Suppose -2*u - h + 1 = 0, h + 14 = -6*u + 9*u. Let j(p) = p**2 + 5*p - 3. Let b be j(-6). Are u and b unequal?
False
Suppose 15 = 2*q + 9. Is q >= 1?
True
Let q be 33/7 + (-2)/(-7). Let d = q - 8. Do d and -3 have the same value?
True
Let y be (9/7)/(-8 + (-54)/(-7)). Do y and -2/3 have the same value?
False
Let h = -2/25 + 137/150. Which is bigger: 2 or h?
2
Let o(i) = -i**2 - 9*i. Let z be o(-8). Let s be (-51)/(-6) + 4/z. Is s at most as big as 9?
True
Let m(h) = h**3 - 5*h**2 + h - 5. Let r be m(5). Let c be -1*(2/2 - 2). Let b be 