 = n*m - q. Let c = -3 + 2. Does m = c?
False
Let p(s) = 2*s + 1. Let g be p(-1). Let k be 3/27*g*-3. Is 0 at most as big as k?
True
Let f be (-116)/(-39) + -5 + 2. Let s(m) = -m**2 + 3*m + 1. Let w be s(3). Is f at least w?
False
Let n be -3 + -1 + (-216)/(-60). Which is bigger: 0.1 or n?
0.1
Let g = -0.98 + 0.78. Which is smaller: g or 2.4?
g
Let n = 30 + -26. Which is greater: 5/2 or n?
n
Let b = -7.7 - -8. Let r be 1/2*(-5)/(-15). Does b = r?
False
Let n = -47/123 + 2/41. Let l = -0.1 - 0.9. Which is greater: l or n?
n
Let f(n) = 9*n**2 - 28*n. Let i be f(3). Let y = -19 + 18.1. Let p = y - -1. Which is smaller: p or i?
i
Suppose -21*b = -8*b - 13. Which is bigger: b or 1/12?
b
Let c = 6 + -4. Let s = 5 - -2. Suppose -z = q - 9, 0 = 2*q + 3*z - 6*z + s. Which is bigger: c or q?
q
Let c = 7 + 9. Suppose -3*a = w + 12, 3*w + 2*a = -2*a - c. Let p be ((-1 + 2)*-2)/9. Are w and p nonequal?
True
Let f be 0 - (-13 - -10)*(-4)/18. Let m = 1/111 - 77/333. Which is greater: f or m?
m
Let g(v) = 2*v**2 - v**2 - 4 - 2*v - v**3 - 5*v**2 + 0. Let u be g(-4). Suppose 0 = h + 3*h + u. Which is smaller: h or 1?
h
Suppose -2*y + 12 = 2*w, -w + 0*w = -5*y + 30. Do 5 and y have different values?
True
Let f = -6 - -17. Let j = f - 6. Let d = j + -2. Are 1 and d unequal?
True
Let k be 2 - 1/((-3)/(-5)). Is 1/13 > k?
False
Let u = 1949/11 + -177. Which is greater: u or -0.1?
u
Let t be 1*-1 + (-13)/(-14). Is t at most -1?
False
Let a be (6/5)/((-8)/(-20)). Let g be -1 + a + -4 + 1. Let c = -9 - -6. Which is smaller: g or c?
c
Suppose 24 = 4*p + 5*n, 9*n + 22 = 2*p + 14*n. Do p and -3/34 have the same value?
False
Suppose -4 = -3*z + 5. Suppose 4 = -z*n - 5. Which is smaller: n or 0.3?
n
Let w = -50 + 83. Let f be -1 + w/45*1. Which is greater: f or -1?
f
Let h be ((-5)/4)/(1/12). Let g be (-5)/(-4)*6/h. Which is greater: -1 or g?
g
Let l be 6/(-15)*5/(-1). Is l not equal to 11/8?
True
Let q = 2 - -2. Suppose 0 = 6*x - 2*x + q. Let n be x*3 + 3 + -1. Which is smaller: 0 or n?
n
Suppose 4*a + 13 = 9*a - 3*w, 0 = 5*a + 3*w - 7. Let u be a + ((-1)/2 - 0). Suppose -2 + 5 = 3*v. Which is smaller: v or u?
v
Let m(k) = 4*k**3 - k**2 - 1. Let i be m(2). Let s = -53/2 + i. Let y = -5.4 - -5. Is s greater than y?
True
Let f(g) = 14*g - 43. Let b be f(3). Are b and -2 nonequal?
True
Let i be (15/18)/(34/13). Let a = 1/68 + i. Which is bigger: a or 8?
8
Let w = 4.5 + -4.4. Which is smaller: w or 0.26?
w
Let p = -4 + 9. Suppose -p*l + 5 = -0*l. Is 1/4 smaller than l?
True
Let l(k) = -k**2 - 9*k - 9. Let y be l(-7). Let z(t) = -t**3 + 6*t**2 - 5*t. Let v be z(y). Let p be ((-2)/(-12))/((-2)/8). Which is smaller: p or v?
p
Let y(l) = 2*l**2 + 5*l - 4. Let z be y(-4). Let o = 15/2 - z. Which is smaller: -1 or o?
-1
Let i(v) = v**3 + 6*v**2 - 2*v - 4. Let k be i(-6). Suppose k = 3*t + g - 6*g, -t = 2*g + 1. Which is smaller: 8 or t?
t
Let t(u) = -u - 14. Let c be t(-7). Which is smaller: c or -6?
c
Let b = -0.063 - -16.063. Is b at least 0?
True
Let y = -82 + 58. Let q be 6/(-12)*(y - -2). Is -0.1 less than q?
True
Let x(i) be the first derivative of i**2/2 - 9*i - 3. Let p be x(6). Is p < -3?
False
Let a be 1/3*(11 - -4). Let w = -1 + a. Suppose -24 = 4*f + w*d, 4*f + 10 = -5*d - 12. Do 1 and f have the same value?
False
Let m be 24 + ((-8)/(-2))/(-2). Let c = 29 - 26. Let k be m/(-8) - c/12. Is k at least as big as -0.1?
False
Suppose 31 = x - 26. Let o = 169/3 - x. Let p be 14/(-8) - -1*2. Which is smaller: p or o?
o
Suppose 3*p - 3*d = -2*p - 32, 5*d = -4*p + 4. Suppose 4*l - z - 2 = 0, -3*l + 3*z + 3 = -3. Let j = p + l. Which is smaller: j or -3?
j
Let i be (1 + (-102)/117)*6. Let w = i - 33/26. Let v be 1 - (1 - (-2)/2). Is v bigger than w?
False
Let t(b) = 24*b**3 - b**2 + 1. Let x be t(-1). Which is bigger: -23 or x?
-23
Let k = 23 + -33. Is -10 smaller than k?
False
Let j = 12 + -10.8. Let u = 1 - j. Which is bigger: -0.1 or u?
-0.1
Let o(w) = -2 + 5*w + 0*w - 3*w. Let f be o(-4). Let y = -6 - f. Is 0 less than y?
True
Let y = 1 + -1.05. Is -2/5 < y?
True
Let x = 30 - 18. Let t = -13 + x. Does 0 = t?
False
Suppose -10 = 4*u - 2. Let o(w) = 2*w + 2. Let c be o(u). Which is bigger: -1 or c?
-1
Suppose 2*q - 3 = -5. Is q less than 2/67?
True
Let u = 4.41 - 0.51. Let h = u + -4. Let k = 0 - -1. Is h bigger than k?
False
Let i be 3 + (-21)/15 + -1. Which is smaller: i or 1?
i
Suppose 5*l - 20 = -5*v, 0*v - 4 = 2*v - 2*l. Which is greater: -2/77 or v?
v
Suppose 4*k = 4*t, 30 = 4*t + 3*k - 5. Let f be 2/t*20/32. Which is greater: f or 0?
f
Let s be 2/(-4)*(528/(-18) - -4). Which is smaller: 14 or s?
s
Let k(w) = w**2 - 6*w - 2. Let q be k(7). Are -13 and q non-equal?
True
Let y be 13*(-3)/12 + 4. Is y at least as big as -2/3?
True
Let v be (-3)/(-7) + 116/(-238). Which is bigger: 0 or v?
0
Let m be 2/(-3) + 46/60. Let g(w) = -w**2 - 9*w + 1. Let b be g(-9). Which is bigger: m or b?
b
Let z be ((-9)/(-3))/(-1 - (-25)/22). Which is smaller: z or 24?
z
Let n = 33 - 33.19. Let q = n - -0.39. Is -3 smaller than q?
True
Let o = 0.7 - -3.3. Let s = o + -1. Let g = 0.03 - 0.13. Which is smaller: s or g?
g
Let l be (-17)/36 + (-26)/(-117). Which is bigger: -9 or l?
l
Let x be 3/3*(0 - 1). Let c = -0.2 - -2.2. Let a = 1 - c. Is a greater than x?
False
Suppose t = -3*c + 4 - 1, c - 9 = -3*t. Suppose b - 9 = -2*r - r, -r + t = -4*b. Suppose b = -2*m + 6, 2*q + m + 6 = 3*m. Do q and -1/7 have the same value?
False
Let l be (33/(-6) - -4)/((-3)/2). Which is bigger: l or 3/8?
l
Let j be 2/(-45)*(7 + -17). Which is smaller: j or 1?
j
Let d = 4 - 4. Let x be (1/(-7))/((-9)/18). Are x and d equal?
False
Let u(i) = i**2 + i - 4. Let m be u(0). Let x(j) = -2*j - 5. Let b be x(-5). Let o be b/(-9) + m/(-18). Is o at least 1/2?
False
Let i = 13 - 13. Is i < 1/3?
True
Let v = -1/28 + -13/28. Let u = -125/182 + 8/13. Which is greater: v or u?
u
Let l = 0.01 - -0.27. Let u = -0.02 - l. Let p = -1.3 - u. Is p less than or equal to 0.1?
True
Suppose 0 = 5*b - 14 - 1. Suppose 3 = -4*a - h, 0*a - 5*h + 8 = -b*a. Let f be 65/(-25) - (a - 1). Is f less than or equal to -2?
False
Let i be 4*(-2)/(-4) + -6. Let c be i/(-14) - 27/21. Let q = 0.9 - 1. Which is greater: q or c?
q
Let y = 27 - 35. Is 8 > y?
True
Let s = 3 + -2.5. Let a = -1.8 + 2.3. Let t = s - a. Are t and 0 non-equal?
False
Suppose 3*g = 4*z + 19, -20 = g - 6*g - 5*z. Suppose -g*a + a + 12 = 0. Is a at most 3?
True
Let h = -12.16 - -0.16. Let j = h + 12.18. Let b = j - -0.02. Which is smaller: 2 or b?
b
Let n = -2 + 2.2. Let b = 72 + -70. Which is greater: b or n?
b
Suppose 3*s + 4 = 7*s. Let d = s + -2. Is d at most as big as 2/15?
True
Let j = -8 + 10. Is j greater than 2?
False
Let c = -8 + 11. Suppose -2*p + 0*p + c*i = 5, -3*p + 2*i = 5. Let d = 2/1213 - 2460/20621. Do d and p have different values?
True
Let h(d) = d - 6. Let y be h(-11). Which is greater: y or -14?
-14
Let f be 3 - ((-1)/1 + 0). Let p = f - 9. Let k be p/6 + 2/(-3). Which is greater: -2 or k?
k
Let v = -0.481 + -0.019. Which is smaller: v or 1?
v
Let h be (2/(-6))/((1 - 3)/6). Which is bigger: -2/157 or h?
h
Let h = 21 - 21.18. Is h <= 0?
True
Suppose 0*x - 3*x = -3. Let g be 2/6*18/6. Is x > g?
False
Let k be -25 - 4 - (-4 + 3). Which is greater: 2 or k?
2
Let x be 3*1/(-6)*0. Let g be (4/(-10))/((-18)/10). Which is greater: x or g?
g
Suppose -15*w - 6 = -21*w. Is 1 less than or equal to w?
True
Let z(w) = w**3 - w**2 - 4*w - 3. Let x be z(-1). Is 7 greater than x?
True
Let p = -291/1157 + -5/89. Is 1 <= p?
False
Suppose 3*q + 2*m + 29 = 0, 4*m + 18 = -4*q - 26. Let s(j) = 3*j - 3. Let p be s(q). Let r = p + 95/4. Which is smaller: r or -2?
-2
Suppose 317 = -4*l - 719. Let n = l - -1807/7. Which is smaller: n or -0.1?
n
Suppose 7*l = 3*l. Suppose l*g + g + 4 = -2*o, -4*g + 5*o + 10 = 0. Which is smaller: g or -1/5?
-1/5
Let c = 7 + -12. Let i = c - -5. Is 0 not equal to i?
False
Let q = 1/14 + -9/28. Is q >= 0?
False
Let u(n) be the third derivative of -n**5/60 + n**4/4 - 2*n**3/3 + n**2. Let g be u(4). Let q be -1 + (-48)/(-10) - 332/415. Which is smaller: q or g?
q
Suppose 5*t = h, -4*h + 32 = -0*h - 4*t. Suppose 3*c + h = -2*y + 2, 16 = 4*c - 4*y. Suppose c*x = -3*x. Is x <= 2?
True
Suppose -v - 2 = -3*v. Is 1 < v?
False
Suppose -3*x - x + 28 = 0. Let l(t) = -t*