
Suppose -z - 26 = 4*z - 4*x, x = -z - 7. Which is smaller: z or -7?
-7
Let h(l) = -4*l**3. Let d be h(-1). Let p be (-136)/(-22) + 2/(-11). Which is greater: p or d?
p
Suppose 2*w + 3*w - 15 = 0. Suppose w*q - 4*q = -1. Which is smaller: -2/19 or q?
-2/19
Let q be ((-4)/(-2))/((-14)/(-2)). Let l = 31 + -32. Which is greater: q or l?
q
Let v = 12 + -8. Suppose v*k + 30 = -k. Let j be (-2 + -1)/(k/(-8)). Which is smaller: -3 or j?
j
Let h be 712/(-24) - 4/(-6). Which is bigger: -28 or h?
-28
Let l(s) = 11*s**2 + 1. Let j be l(1). Does 12 = j?
True
Let i = 5 + -3. Let w be (-3)/2 - 2/4. Let h be (-4)/8*(w - 0). Are i and h nonequal?
True
Suppose 3*y = -2*y - 4*s - 48, y + 3*s + 14 = 0. Is -26/3 < y?
True
Let w be (-2)/(-5) - 24/135. Is -1/4 > w?
False
Let o = -0.88 - -1. Which is smaller: 0 or o?
0
Suppose -4*o = -7*o + 3. Let n be ((-2)/(-4))/((-2)/o). Suppose 5*l = 0, 2 + 3 = -5*w - 4*l. Is n smaller than w?
False
Let d be 2/(-200)*(-5670)/(-15). Let c = d - -7/25. Which is smaller: -3 or c?
c
Let q be (-2)/(-3)*(-15)/(-20). Is -1/8 at most as big as q?
True
Suppose -16*a + 7*a - 369 = 0. Which is smaller: a or -39?
a
Let w = -608/2079 - -2/297. Which is bigger: w or 4/7?
4/7
Let r = 2 - 2. Suppose r = 2*h - h + 1. Which is greater: 0 or h?
0
Let h = -16.3 - -3.3. Let f = h - -13. Which is smaller: 8 or f?
f
Let o be (-18)/6*4/(-401106). Let x = -36366958/467957 + o. Let s = -78 - x. Do -1 and s have the same value?
False
Let h be (2 - 1)/(-4 - -3). Is 1/6 greater than h?
True
Suppose 0 = 5*i - 3*i. Suppose -b - 1 = -i. Let s = -8 + 6. Is s greater than or equal to b?
False
Let r(p) = -p + 6. Let n be r(13). Which is smaller: -8 or n?
-8
Let n = -0.02 + 0.32. Let a = 5 - 4. Is a equal to n?
False
Let j(i) = 13*i + 2. Let r be j(-2). Is -25 less than r?
True
Let s = -0.37 - -0.4. Let f = s + 1.97. Let z = f - 3. Are z and 2 equal?
False
Let b = 74 + -67. Are b and 5 equal?
False
Let c be (90/5)/(2/5). Suppose 0 = -3*b + 9 - c. Is -11 at most as big as b?
False
Let m = -7.03 + 7. Do -0.1 and m have the same value?
False
Let z be (2/(-12))/((-6)/4). Suppose 3*y + 3*s = 0, -s = 5*y + 2*s. Suppose r = -y*r. Which is greater: z or r?
z
Suppose -20 - 10 = -5*m. Let x = -9 - -13. Does m = x?
False
Suppose -2*l = x + 2*l + 7, -2*l = -2*x - 14. Let y(z) = z + 7. Let j be y(x). Is -1 less than j?
True
Suppose 0 = 2*u - 0*h + 2*h - 6, -24 = 2*u - 4*h. Let m be 8/(-6)*183/u. Let d = -852/7 + m. Which is smaller: d or 1/4?
1/4
Let m = -0.19 - 7.81. Let q = 9 + m. Which is smaller: 0.5 or q?
0.5
Suppose 1046146 = 5*t + j, 4*t + 2*j = -2*j + 836904. Let b = t + -24898536/119. Let k = b - -14/17. Does -1 = k?
False
Suppose 0*j + 55 = 5*j. Is j at least 13?
False
Let a = 30 - -7. Is 112/3 not equal to a?
True
Suppose -4*t = -20 - 0. Let s(g) = g - 7. Let z be s(t). Let r be 24/10 + 0 + z. Which is greater: 0 or r?
r
Let t = 0.05 - -0.15. Let h = 0.3 - 0.1. Let w = h - t. Which is smaller: -3 or w?
-3
Let g be 8/(-6) + 4/(-6). Let w = g + 0. Let i be ((-3)/4)/((-9)/(-6)). Which is greater: i or w?
i
Let o(s) = -2*s. Let u be o(-6). Is u at most 12?
True
Let m = 35622/61 - 584. Let i = m + 69/244. Let h = -8 - -7. Is i >= h?
True
Let o be (-12)/(-764)*(-4)/6. Is o < 1?
True
Suppose 0 = w - 3*w - 2. Is w > 0?
False
Let p = -18 - -20. Suppose m + p = -3. Is m equal to 1/2?
False
Suppose 4*a + 2 = 6. Is a smaller than 4?
True
Let v = -0.2 + 0.4. Let t = 0.3 - v. Is 1 >= t?
True
Let b = 105 + -212. Let h = b - -965/9. Which is smaller: h or 1?
h
Let y be -1 + 7 + (-3)/((-3)/(-2)). Let p be (-1)/(1/(-5))*1. Which is bigger: y or p?
p
Let s(v) = -2*v - 7. Let l be s(-5). Suppose i = -g - 1, -l*i - 5 = 3*g - g. Let d be (4/(8/3))/i. Which is bigger: 1 or d?
1
Let f be ((-4)/14)/((-9)/7). Let t = -246.8 - -247. Is f at most t?
False
Let w = -13/20 + 2/5. Let f be (-54)/33*3/9. Is w bigger than f?
True
Let h = 21 - 64/3. Which is bigger: 12/7 or h?
12/7
Suppose c - 6*c = -205. Suppose 4*n - 7 = c. Suppose 2*m = 6*m + n. Which is bigger: 0 or m?
0
Suppose 7 = 5*c - 13. Suppose 5*l = -c - 6. Let z = 7 + -10. Is z smaller than l?
True
Let z be (4/(-25))/((-6)/(-30)). Is 1 != z?
True
Let s = 22 + -23. Which is greater: s or -5/24?
-5/24
Let a = -0.58 + -0.02. Let r = 0.1 - a. Let d = 2.3 + r. Which is greater: 0 or d?
d
Let f = 7 - 10. Let v = 7 + -11. Let s = f - v. Do s and -2 have the same value?
False
Let i = 0.28 - 0.18. Which is bigger: -3 or i?
i
Let z be (1/3)/(8/48). Suppose -16 = -i + 4*y, i - 24 = -z*i + 4*y. Is 4 less than i?
False
Suppose -2*t - 8 = -6*t. Suppose -t = -2*y + y. Is 1 less than y?
True
Let p(q) be the second derivative of -q**5/20 + 2*q**4/3 + q**3/3 - 6*q**2 + 4*q. Let y be p(8). Is 3 > y?
False
Let n(p) = -273*p - 6. Let t be n(-4). Let l = t - 74936/69. Are l and 0 equal?
False
Let o(r) = r + 1. Let l be o(-1). Is -2/39 less than l?
True
Suppose 0 = -x + 5*x. Which is bigger: x or -2/45?
x
Suppose 14*l - 13*l - 1 = 0. Let n be (-18)/(-15)*10/4. Let m be n/10*2/(-6). Is l not equal to m?
True
Suppose 2*y - y + 3 = 0. Let w be (y/(-3))/((-2)/(-4)). Is w bigger than 1?
True
Suppose 7 = 5*s + 22. Is 1 equal to s?
False
Let r = -2.7 - -1.2. Let w = r - -1.3. Which is bigger: w or -1?
w
Suppose 10*a + 30 = 4*a. Which is smaller: a or -2?
a
Let z be (-2 - (-3 - 1)) + -10. Suppose -5*j - q + 23 + 31 = 0, j + q = 14. Let v be 15/j - (-14)/z. Is 1/4 less than v?
False
Let i = -14 + 10. Let w = -47/300 + 1/525. Let q = w + -2/21. Which is bigger: q or i?
q
Suppose 0 = 4*x - 2*x - 8. Let v be 0 - 0 - (-3 - -2). Let n be 3/((1 + 0)/v). Is n greater than x?
False
Let i = 42 - 41. Which is bigger: 4/7 or i?
i
Suppose 28*v + 258 = 22*v. Is -41 at least v?
True
Let b(k) = -k**2 + 1. Let d be b(-2). Let c be -1 + (0 - 0) + 1. Which is smaller: c or d?
d
Let o = -17/14 - -43/70. Let a = 6 - 3. Suppose -3*f + a = -m, 2*f + 4*m = 3*m - 3. Is o at least as big as f?
False
Let k(r) = r - 1. Let t be k(1). Let y = -35 + 235/7. Are t and y equal?
False
Let i = 1 + 0. Let t be (-2)/((-1)/(i - -1)). Let q be 2/4*t/9. Is q less than -1?
False
Let z = -4.1 + 4. Let x = z - -0.06. Which is bigger: 0 or x?
0
Let z = -116/35 + 26/7. Let v = 1 + -5. Which is greater: v or z?
z
Suppose -3*x = 81 + 39. Is x > -40?
False
Let j(f) = 3*f**2 - 1. Let y be j(-1). Suppose 2*s - 8 + y = 0. Suppose -s*q - 2 - 13 = 3*d, 16 = -2*d - 4*q. Is d < 0?
True
Let u(s) = s**3 - 6*s**2 - 8*s - 3. Let l be u(7). Let k be 4/l - 13/5. Which is smaller: -5 or k?
-5
Let u = 1 + -2. Let s = -49 + 34. Let t be (128/s)/4 - -2. Is t less than or equal to u?
False
Suppose z - 7 = -4*x, 5*x + 9 = 3*x - 3*z. Suppose 0 = -5*r - x*d - 24, 7 = -5*r + 4*d + 4. Is r smaller than -2?
True
Let z = -3.01 + 3. Let c = 204.01 - 206. Let t = z + c. Is 1/2 at least t?
True
Let x = -4.11 - -4. Let i = x + 1.41. Let b = -0.3 + i. Which is smaller: b or -1?
-1
Suppose -2*w + 7*w = 15. Let f be ((-2)/w)/(-1)*-3. Do f and -1 have the same value?
False
Let x be ((-10)/6 - -2)/(6/(-18)). Let t = -3/19 + 71/209. Is t != x?
True
Let a = -14 - -27. Which is smaller: 11 or a?
11
Let c be -1*(-1 - (4 - 3)). Which is greater: 3/5 or c?
c
Let j = -2 - -4. Let w be j/4 - 55/154. Suppose 0 = r + d + 5, -2*d = 2*r - d + 6. Is r > w?
False
Let p = -0.1 - -0.3. Let j = -0.3 - p. Let m = -1.65 - -1.65. Is j > m?
False
Let t be (-2)/(-9) - (-14)/21. Are t and 1 equal?
False
Let n = 3 - 7. Let a be n - -4 - 4/(-2). Suppose 3*r = 8*r - 5. Is r less than a?
True
Let b = -58.33 - -58. Let v = b + 0.3. Let w = v + -1.97. Is w at most -2?
True
Let g be ((5/(-6))/(-5))/(9/54). Which is bigger: 4/45 or g?
g
Let x = -1 + 4. Let f = 153.7 + -154. Which is smaller: x or f?
f
Suppose b - 1 = 4. Let w(n) = n - 5. Let s be w(b). Suppose -2*z + 5 - 1 = -4*a, a + 1 = 0. Do z and s have different values?
False
Let p = -22 - -30. Is -1 != p?
True
Let q(u) = -u**2 - 8*u - 14. Let f be q(-6). Suppose 0 - 3 = 3*r. Let c = r - f. Which is greater: c or -1/8?
c
Suppose -2*w + 2 = 0, 0*v - 40 = 2*v - 2*w. Let g be -2 + -1 + v/(-5). Which is bigger: 1 or g?
1
Let r(b) = 2*b + 6. Let j(f) = f + 1. Let g be j(-6). Let x be r(g). Which is bigger: x or -3?
-3
Let a(p) = -p**2 - 8*p + 3. Let j be a(-8). Suppose 0*x - j*x = -3. Let c = 1 - x. Is -1/3 greater than or e