, -4*d - d = 2*k - 3. Let x be ((-4)/(-12))/(2/k). Let q be (-3 + 3)/(x*1). Is 3/4 at most as big as q?
False
Suppose 1 - 5 = -2*i. Let n = 3/2 - i. Let f = 2 + -1.8. Are f and n unequal?
True
Let a = 511/19 - 27. Let f be ((-2)/4 + 0)*0. Is a > f?
False
Let t = -26 - -46. Let a be (-2)/3*10/t. Is a at most -3?
False
Suppose -3 - 3 = -2*k. Let v be 3 + 2/6*k. Suppose -29 = -v*u - 5. Is u at most as big as 6?
True
Let q = 0.19 - 10.19. Let p = q - -10.1. Let u = 0.3 + -0.1. Which is bigger: u or p?
u
Let m = -1254/7 - -178. Is m > -2?
True
Let r = -26 - 1. Which is smaller: 1 or r?
r
Let c = -6 + 13. Let y be 3/c - (-7)/(-7). Do -2 and y have the same value?
False
Let o be (-2)/(-2) + (-2)/2. Let a be 2/(-8) - (-1)/4. Let x = a - o. Is x not equal to 1?
True
Let p(q) be the second derivative of q**5/20 + q**4/3 - 5*q**3/6 - 3*q**2 + 2*q. Let d be p(-5). Let x be 2 + -1 + 7/(-5). Which is smaller: d or x?
d
Suppose 0 = 4*y + 2*r + 18, -y - 6*r = -2*r + 22. Suppose -5*z = -w - 3*w + 17, 0 = -2*z - 2*w + 4. Are y and z unequal?
True
Let o = 39 - 38.84. Let a = -0.06 + 0. Let h = o + a. Is -1 <= h?
True
Let f = -0.64 - -0.04. Let g = 0.2 - 0.7. Let t = f - g. Is 1/3 smaller than t?
False
Let j be 1*(824/204 + -4). Is j greater than or equal to -1?
True
Suppose 2*v + 2*v - 24 = 4*l, 0 = 3*l - 4*v + 17. Let t(j) = -j**3 - 6*j**2 + 8*j + 7. Let h be t(l). Suppose 3*b - 6*b = h. Is b greater than or equal to 0?
True
Let d(u) = -3*u**2 + 1. Let i be d(-1). Let h be 62/(-3) - 3/9. Let y be h/18 - 3/(-9). Is y greater than i?
True
Let y be 5348/(-21) + (-2)/(-3). Let v be 4/14 + y/252. Let w = 2/9 + v. Which is greater: 0 or w?
0
Let k be 32/56 + (-37)/7 + 3. Which is smaller: -2 or k?
-2
Suppose 0 = 5*q - 37 - 43. Suppose s + q = -3*s. Which is bigger: s or -1?
-1
Let y = -565/2 - -291. Let x = -9 + y. Does 1 = x?
False
Suppose 7*w - 8 = 8*w. Let j = w + 4. Is -4 equal to j?
True
Suppose 0 = 5*y - 4*w + 13 - 43, 12 = 2*y - 2*w. Which is smaller: y or 10?
y
Suppose -4*w - 4*k = 16, 3 - 2 = -4*w - k. Let o be (-36)/(-14) - (2 + 0). Is o <= w?
True
Let w = -2 + 6. Let o be w/18 + (-58)/18. Is -6 != o?
True
Let j be 2/7 - (-48)/28. Let g be (-6 + j)/(1/(-2)). Suppose 3*c - 2*c - 5*s + g = 0, -3*c + 5*s = 4. Which is greater: 3 or c?
3
Let d(y) = y + 9. Let s(z) = z**3 + 9*z**2 - 8. Let r be s(-9). Let n be d(r). Which is smaller: n or 1/4?
1/4
Let n = 29 + -30. Is n less than or equal to -1?
True
Suppose -3*t - 44 = 5*i, 4*t + 2*i + 66 = -i. Is -19 at most t?
True
Let d(i) = i**3 + 3*i**2 - 5*i + 3. Let u be d(-3). Is 18 less than u?
False
Let l(g) = 3*g**2 - 2 + 5*g + 0*g - 2*g**2. Let w be l(-6). Is w at most 5?
True
Let i be ((-1)/(-8))/(12/58). Let q = 1/16 + i. Let w be 26/40 - 2/8. Do w and q have the same value?
False
Let x be 5/(-7)*1 - -2. Is x > 2?
False
Let v be -1 + 1 - 6/(-1). Suppose 4*b - 24 = -0*b. Is v less than b?
False
Let m(r) = r**2 - 4*r + 5. Let n be m(6). Let h = n - 17. Is h greater than or equal to -10/9?
True
Let r(l) = 2*l + 4. Let d be r(5). Let g = d - 27/2. Which is smaller: 2 or g?
g
Let h(x) = x + 8. Suppose -5*c + 0*c = 0. Let d be h(c). Let m be (85/d)/5 - 2. Is m greater than or equal to 0?
True
Let u = -201/4 + 93/2. Is -5 greater than u?
False
Suppose 2*w - 28 = 6*w. Let g = -5 - w. Which is bigger: 4/7 or g?
g
Let y be (-5)/(-42) - (-3)/18. Which is smaller: -8 or y?
-8
Suppose 0 = p + p + 8. Let y be (-4)/18 - p/18. Suppose 4*h + 3 + 1 = 0. Which is smaller: y or h?
h
Let a = 56726/27 - 42492985/20223. Let w = -3/107 + a. Is -1 greater than w?
False
Let n(t) = 4*t + 0*t - 5*t + 7. Let s(v) = v - 7. Let z(i) = -3*n(i) - 4*s(i). Let y be z(6). Is 2/3 not equal to y?
True
Let r be ((-13)/(39/(-9)))/(166/4). Which is smaller: -1 or r?
-1
Suppose o + 6 + 2 = -k, -4*k - o - 29 = 0. Let r(n) = -2 - 6 - 3*n + 2*n. Let j be r(k). Which is smaller: 2 or j?
j
Let u = -5 - -1. Is -7 >= u?
False
Let v be (-2)/(-4)*-2 + -6. Let w(n) = 3*n - 3. Let r be w(3). Let c = r + v. Is -2/9 less than or equal to c?
False
Suppose 1 = -3*z - y, 12 = -3*y - 0*y. Let j = 2/3639 + -25878/1213. Let f = j + 21. Is z > f?
True
Let x = -5704/13 + 439. Are x and -1 unequal?
True
Suppose -13 = b + 5. Let u be (-14)/(-3) + 12/b. Which is greater: u or -1?
u
Suppose 0 = -5*v + 3*v. Suppose v = -2*x - x. Let s = 1/42 - -17/168. Which is smaller: x or s?
x
Let x = -36 - -322/9. Let m(w) = w**2 + 5*w + 7. Let z be m(-3). Is x > z?
False
Let d = -12865/1554 + 3/74. Let s = d + 26/3. Which is smaller: s or -1?
-1
Let o = -5 + 4.34. Let f = -0.7 - o. Which is smaller: f or -1?
-1
Let r = 28 - 24. Is r smaller than 6?
True
Suppose -3*y = -2*y. Suppose y*u + 5 = 5*u. Suppose -2*n + 2 = -4*n. Is u != n?
True
Suppose 0 = -2*q - 4, 3*q - 6 + 24 = 4*i. Suppose 39 = -i*o + 6. Do -11 and o have different values?
False
Let u be 14/(-308)*7 - (-2)/(-11). Let f be 1 + -1 - (-1)/3. Is f less than u?
False
Let i be (-1)/(-2) - (-30)/4. Let d be (174/18 - 9)/(4/42). Are d and i unequal?
True
Suppose 11*a - 13*a = -28. Let f = a - 10. Is 0 > f?
False
Let g be (-2)/9 + (-730)/(-18). Let f = g + -40. Let o = -31 + 31. Is o at most f?
True
Suppose 2*s + 0*c - 46 = -2*c, -2*s - 4*c = -50. Suppose 0 = -4*z + 3*l - s, 3*z + z + 6 = -2*l. Let j = z - -3. Is j at most 0?
True
Let n = 30 - 55. Are -24 and n unequal?
True
Let k = 80 - 100. Do -18 and k have the same value?
False
Suppose 0 = -t - 0*r + 2*r + 10, -10 = 2*t + 2*r. Suppose 3*h + t*h + q = -3, q = 3. Let z be (-3)/h*12/(-63). Is -2 > z?
False
Let p be (-52)/13*1/2. Is p less than or equal to -1?
True
Let o = 53 + -54. Is -1/29 <= o?
False
Let n(m) = 2*m**2 - 1. Let v be n(1). Let k be (2/(-18))/(5/(-15))*-3. Does v = k?
False
Let g = 279.05 + -142. Let r = 140 - g. Let y = -0.05 - r. Which is smaller: 2/3 or y?
y
Let n be 14/91 + 1133/(-13). Is -86 at most n?
False
Suppose 4*k = -3*l - 14, 2*l - 3*l - 13 = 3*k. Let j = -6 - k. Is j less than or equal to 1/2?
True
Let r = 27 - 34. Is -5 < r?
False
Let i(l) = l**2 + 5*l + 3. Let w be i(-4). Which is greater: w or -2/5?
-2/5
Suppose -4*j - o = -14, -3*j + 5 = -4*j + 4*o. Suppose 4*l - 5 = 11, 0 = -k - j*l + 13. Which is bigger: -1 or k?
k
Let l = -0.4 + 0.6. Let m be (-2)/8 + (-18)/(-8). Suppose -m*z = -z. Which is smaller: l or z?
z
Let j = 7 - 3. Let r = 6 - 11. Let h = r + j. Is -2 less than h?
True
Let j = 2158/11 - 196. Is -19 at least j?
False
Let n = 7 + -5. Let x be (-4)/6 + -1 + n. Is -0.1 not equal to x?
True
Let m = -963 + 29849/31. Which is greater: 1 or m?
1
Suppose -4*p + 0 - 4 = 0. Let j = 50 + -74. Let n be j/10 - 6/(-15). Are n and p equal?
False
Let q = -16 + 16. Let t = -9 + -4. Do q and t have different values?
True
Let w = -0.08 + 12.08. Let s = 8 - w. Is s >= 0?
False
Let d = -0.4 - -0.7. Let i = -1.3 + d. Let k = 8 + -7.7. Is k <= i?
False
Suppose -5*m + 17 = 3*t, -3*t + 7 = -3*m - 2. Let n be m/2*13/52. Which is smaller: n or 0?
0
Suppose 3*t - 2*t - f = -2, -2*f + 3 = -3*t. Let p = 49 - 50. Is t <= p?
False
Let w be (-2)/58*6/24. Let x = w + 467/348. Is x less than or equal to 2?
True
Let d = 0.44 + 0.06. Which is smaller: d or 1/3?
1/3
Let p = -205/44 + 54/11. Let l(n) = -n**2 + 4*n + 2. Let u be l(4). Let w = -2 + u. Is p < w?
False
Let o be 1 - (20 + 0) - -1. Let p = o - -10. Is p >= -8?
True
Let i be -1 + -1 - (-21)/9. Suppose 5*f + 2*n = 2, 3*n - 2 = 5*f + n. Let v be f + (-1 - 0/1). Is i at least v?
True
Let p = 5 - -1. Suppose 2*d + 6 = -d. Let c be (2/(-6))/(d/p). Is c smaller than 0?
False
Suppose -47 = 5*k - 2. Let o be -4*k/16*2. Let u = 4 - o. Which is bigger: u or 0?
0
Let i = -0.7 + -4.3. Let j = -5.03 - i. Is j bigger than -1?
True
Let z(q) = q**2 - 10*q + 6. Let y = -63 - -7. Let f be y/(-6) + 9/(-27). Let l be z(f). Is -2 smaller than l?
False
Suppose 24 = 3*c + c. Do c and -1/4 have different values?
True
Let t = -28 + -3. Does t = -95/3?
False
Let d be 2/3 - (-352)/(-492). Which is bigger: 1 or d?
1
Let g be (-9)/6*-2*1. Let i be 8/10 - g/3. Which is greater: -1 or i?
i
Let s be 4*-6*(-2)/16. Suppose -3 = 3*r + s. Which is smaller: r or -8/7?
r
Let q = 6/347 - 5929/1735. Is q less than -4?
False
Suppose -v + 4*o - 11 = -2*v, -3*v - o + 11 = 0. Let p be (-3 - -1) + v + -2. Which is smaller: p or -1/5?
p
Let x = 1 + -1. Let d = -0