1022. Is 0 at most as big as k?
True
Let m = -4862 - -4862. Let a be (1/(-6))/((-16)/(-6)). Which is smaller: m or a?
a
Let j = -132 - -130. Let r = 40.8 + -3.8. Is j greater than or equal to r?
False
Let b be (7/(-252))/(4/(-150)). Let l = 7/8 - b. Let n be (-2)/(-10)*(2 + 3). Is n > l?
True
Suppose 0 = -353*f + 347*f - 1476. Which is smaller: f or -245?
f
Let p = -52 + 30. Let q = p + 20. Which is smaller: 0 or q?
q
Let f = -0.1514 - 0.8486. Let y = 0 + 0.1. Let c = 0.9 + y. Which is smaller: f or c?
f
Let d = 91 + -132. Let h = -40.81 - d. Let l = 3 + -4. Which is smaller: l or h?
l
Let f = 53/28 - 15/7. Let t = -0.1 + -0.9. Let d = -1.1 - t. Which is smaller: d or f?
f
Let f = 141.2 - -39.8. Which is smaller: -2 or f?
-2
Let h be (1 + 2/(-6))/(585/(-135)). Is h not equal to -1?
True
Suppose -8 + 13 = -5*o. Is o not equal to 4/73?
True
Suppose w - 16 = 5*w, -3*f - 4*w - 853 = 0. Let q = f - -160. Are -120 and q equal?
False
Let z = -8.9 - -8.5. Let x(t) = -2*t**2 + 2*t - 9. Let j(q) = -q**2 + q - 4. Let p(r) = 7*j(r) - 3*x(r). Let f be p(2). Which is smaller: f or z?
f
Let r be (-54)/(-10) + 45/15. Suppose -5*w + 50 = -5*j, 2*w + 0*w - 24 = 4*j. Is r smaller than w?
False
Suppose 5*d - 482 = 333. Which is greater: d or 164?
164
Let m(i) = 3*i - 17. Let c be m(11). Suppose 0 = -2*w - 5*k - 12, 2*w - 3*k - c = w. Let n be -3 + w - (-1 - 19). Is n greater than 22?
False
Suppose 4*z + c = -4, -11*c + 8 = -13*c. Let q(p) = -3*p + 7. Let y be q(5). Do y and z have the same value?
False
Let s be ((-1826)/(-891)*9)/((-2)/(-1)). Is s at least 8?
True
Let l be 11/(-3) + 4 - (-200)/12. Suppose 14*w = l*w. Do 0.8 and w have the same value?
False
Let y = 0 - -5. Let f be (5 - 4)*-1*-1. Suppose y*q - 9 = f. Is 3/5 greater than or equal to q?
False
Let v be -6*(-4)/6 - 2. Suppose -135*w = -124*w - 55. Which is greater: v or w?
w
Let u = 3/59 - -38/413. Let q be ((-1)/((2 - 1)*-1))/(-1). Do q and u have the same value?
False
Suppose 95*s - 90*s = 105. Which is smaller: 23 or s?
s
Let a(x) = -2*x**2 - 4*x + 1. Let y be a(-4). Let u be 6/(-58)*(-10)/y. Are 0 and u unequal?
True
Let s = 378 + -379. Is -2/11 less than or equal to s?
False
Suppose 5*q = -117 + 37. Let i(c) = 3*c + 11. Let m be i(q). Which is bigger: -36 or m?
-36
Let p = 35 + -34. Which is bigger: -1/65 or p?
p
Let u = 129.77 + 2.23. Let i = u + -132.69. Let m = -0.31 + i. Is 0.06 less than or equal to m?
False
Suppose -2*f - 2*f - 432 = 0. Let v be 12/f*((-6)/(-1) + -2). Is -1/5 > v?
True
Let m(t) be the third derivative of -t**4/24 + 5*t**3/3 + 9*t**2. Let c be m(11). Let w be (-2)/(-8) - 50/72. Which is bigger: w or c?
w
Let n be (8 - 6) + -1 - (-18)/(-14). Do 4/199 and n have the same value?
False
Let i = 3245 + -3250. Let q = 0.5 + -0.2. Let y = 0.4 - q. Which is greater: i or y?
y
Let s be 6*-3*(-8)/(-12). Let z = s + 12. Let f = -1 + -2. Do f and z have different values?
True
Let a = 39 + -44. Which is greater: -6/17 or a?
-6/17
Suppose 0 = -112*i + 101*i - 781. Are -70 and i unequal?
True
Suppose -3*i + 116 = o, -5*o + 0*o - 44 = -i. Let s = 19 - -21. Which is greater: i or s?
s
Suppose 4*q - q - 354 = 0. Is q at most as big as 353/3?
False
Let k(z) = 2*z**2 - 2*z - 2. Let p be k(7). Let w be (-2 + p/44)/(3/(-36)). Which is bigger: w or 3?
3
Let g(c) = 9*c - 200. Let x be g(22). Let j = 0.1 - 0.12. Which is smaller: x or j?
x
Let b be 6/27 - 12*14/189. Suppose 5*m - f = -4, f + 6 = -2*m - 3*f. Is m < b?
True
Suppose -5*f = -5*w + 10, -2*w + 6*w = -3*f - 27. Suppose 2*u - 10 = -3*u. Let g be (-2 - u) + 10 + -7. Which is bigger: w or g?
g
Let k = -451/3 + 154. Let u be 1/(((-2)/7)/((-56)/49)). Is u <= k?
False
Let t be 1/7 - 4182/119. Which is greater: -71/2 or t?
t
Let p = 38476/495 - -1836/55. Is 0 at most p?
True
Suppose m + 4 = 2*p - 6*p, -5*p = 5*m - 40. Let g be 13 + (-20)/(-5) + -7. Which is bigger: g or m?
m
Let p = 585/2 + -299. Suppose 2*d + 6 = -d, 0 = -u + 3*d. Is u >= p?
True
Let c = -1694.9 - -1785. Let i = c - 91. Which is smaller: 1/4 or i?
i
Suppose 10*u - 83 = -3. Suppose -2*i + 0*i = -2*z + 34, 5*i = z - 25. Suppose 5*n - u*n - z = 0. Is -5 smaller than n?
False
Suppose c - 5*b - 6 = 0, -2*b + 1 = -4*c + 7. Let w be -5 - (-3 - -1)*c. Is -4 less than w?
True
Let p be (-1 + 2)*-1 - 3. Let f be (-35)/(-6)*p/(-28). Let z be 2 + -2 + 0 + 0. Is f bigger than z?
True
Let i(l) = l**2 - 9*l + 6. Let o be i(8). Let u be (-2)/o*(3 - 2). Suppose -3*b + u = 16, 65 = -5*q - 4*b. Which is bigger: q or 0.1?
0.1
Let p = -0.9 + 0.5. Let i = -2.951 - 0.069. Let a = i - -0.02. Is a at least as big as p?
False
Let o be 0*3/6 + -4 + 41. Let i be 2*o/4 - 6/2. Is i at most 15?
False
Suppose f + 5*b + 5 = 7*b, 5*f + 5 = 5*b. Suppose -3*k - 38 = -4*s, -2*k = f*k + 3*s + 102. Which is bigger: k or 2?
2
Let x = -0.55 + 1.49. Let n = x - -2.96. Let p = n + -4. Which is smaller: p or 10/7?
p
Suppose 2 = 3*r - 4. Let c = -11134 + 11138. Which is bigger: c or r?
c
Let d = 1/74 - -65/666. Let c(o) = -33*o - 1. Let h be c(1). Let u = 33 + h. Is u greater than or equal to d?
False
Let d = -348 - -1747/5. Is -0.06 less than or equal to d?
True
Let z(w) = -4*w + 4. Let u be z(-5). Let l = 38 - u. Let i = l + -4. Is i <= 10?
True
Let d be (-60)/(-8)*(-16)/(-20). Let t be -1 + -1 - 132/d. Let a = -119/5 - t. Which is smaller: a or -1?
-1
Suppose 4*y - 4 = 3*n + 6*y, -2 = 3*n + y. Suppose -2*v + 1 = -3*d, -5*d + 13 = -n*d + 4*v. Let i be ((-6)/(-68))/((-3)/4). Which is greater: i or d?
d
Let g be 4/20 - 303*117/181305. Which is bigger: -1 or g?
g
Let i be 5760/1928 - (-6)/(-2). Let q = -1919/723 + i. Which is smaller: -3 or q?
-3
Let j = 37 + -32. Let p(z) = -z**3 + 6*z**2 - 6*z + 10. Let m be p(j). Suppose -2*l + 11 = 1. Is m < l?
False
Let b = 0.142 + 65.858. Let g = 68 - b. Is g less than -5?
False
Let n = -163 + 164. Is 2/31 > n?
False
Let m = -33.875 + 34. Let g = 4.875 + m. Let x = 53/120 - 1/24. Which is bigger: g or x?
g
Let w = -88 - -91.9. Let y = w + -2.2. Let j = 1.6 - y. Is 3/2 > j?
True
Let s(p) = -p**3 + 4*p**2 + p - 12. Let q be s(3). Is q at least as big as 2/67?
False
Suppose -3*f - 9 = -3, 2*m + f = -36. Let v be 2*1/8*m. Do v and -3 have the same value?
False
Let s = -12 - -12.7. Let q = -26.8 - -25.1. Let m = q + s. Which is smaller: -0.3 or m?
m
Let w = 6.36 + -1.36. Is w > 3/16?
True
Let m = 1073.746 - -0.254. Which is greater: m or -1/2?
m
Suppose 0 = 2*l + 97*l + 99. Which is smaller: l or 22/97?
l
Let l = 45 + -21. Let k = l + -18. Is 6 bigger than k?
False
Let x = 82 + -86.1. Let v = 4.1 + x. Let b(j) = j**3 + 6*j**2 + 5*j - 1. Let g be b(-5). Which is bigger: g or v?
v
Let k(o) = -o**2 - 6*o - 6. Let p be k(-3). Suppose 5*m - 3*m = 3*s + 229, -s - 58 = p*m. Is s at least as big as -73?
True
Let b = 145 - -78. Which is greater: b or 226?
226
Let i = -425 + 445. Is 20 at least as big as i?
True
Let z be -52 - 4/(-8)*2. Let m = 80 + z. Let j = 521/18 - m. Is j less than or equal to 1?
True
Let n(d) = d**2 + 19*d + 91. Let s be n(-9). Suppose 2*x + 16 = 3*v + 7*x, 0 = 3*v + 4*x - 14. Suppose -3 = -v*y - s. Is y greater than or equal to -0.18?
True
Let w be (-6)/(-36) + (-5)/(-6). Is w not equal to 2/855?
True
Let n be (-40)/(-200)*(-5)/3. Which is smaller: n or 149?
n
Let m be (-2 + 1 + 4)*(2 + 1). Let b be 1/(-6) + 65/30. Suppose -b*y + 5*v = -8, y - 2*v - 3*v = m. Is y greater than 1/29?
False
Let d = 7 + -6. Let c be 2/(-14) - 1635/(-2625). Let z = 3/25 + c. Are d and z nonequal?
True
Suppose -v = -35*v - 13464. Which is greater: v or -395?
-395
Suppose 0 = c - 2, p - 4*p = -2*c + 4. Let q be (-48)/12 + -1 + 10. Suppose 32 = -q*i - 3*i. Which is smaller: i or p?
i
Let a(i) = -3*i**3 - 15*i**2 - 3*i - 27. Let r(x) = -2*x**3 - 8*x**2 - x - 14. Let q(l) = -3*a(l) + 5*r(l). Let m be q(6). Which is bigger: 6/35 or m?
6/35
Let d = -27 - -24.9. Is d smaller than 15?
True
Let b(q) be the first derivative of q**4/4 - 7*q**3/3 + 11*q**2/2 + 3*q + 9. Let p be b(3). Is p less than or equal to 1.8?
True
Suppose 5*z + 4 = -6, 3*v - 83 = 4*z. Which is greater: v or -1/8?
v
Let s = 2 + 3. Suppose 46 - 1 = 5*g. Suppose 2*p = 2, 3*p = -0*w + 2*w - g. Are w and s equal?
False
Let x be ((-629)/323 + 2/1)/1. Do x and -2/3 have the same value?
False
Suppose -3*o - 2 = 5*b, -3*b + 14 = -2*o - 0*o. Su