-36))/(w/2). Is k less than or equal to 4?
True
Let z = -1069 - -1071. Is 32 equal to z?
False
Let q = 46905 - 1735087/37. Is q <= 12?
True
Let b = 5.409 + 10.591. Which is smaller: -41/6 or b?
-41/6
Let o be 2/(-16) + (-230)/80. Let g be -1 - 18/4*74/o. Suppose 10*w - 15*w = -g. Which is smaller: w or 20?
20
Let f(w) = -473*w + 4732. Let o be f(10). Let b = 0 + -7. Is o < b?
False
Let i = -0.3215 - 58.6785. Which is bigger: i or 0.4?
0.4
Let j = 105 + -83. Let h = j - 18. Suppose -7*k = -5*k + h. Is -4/5 bigger than k?
True
Let f be 742/16 - (2/(-22) - (-1558)/3344). Is f less than 49?
True
Let y = -34 - -105. Let g = 67 - y. Let r(l) = l**3 + 5*l**2 + 3*l - 2. Let m be r(g). Which is smaller: m or 17?
m
Suppose -g = -39 - 7. Suppose 3*n - g = -3*u + 7*n, 2*u - 4*n = 36. Suppose 4*w - 34 + u = 0. Which is smaller: w or 5?
5
Let m = 0 - 0. Let d = 369.158 - 369. Let g = -54.158 + d. Which is smaller: g or m?
g
Suppose 2*a - 3*x = 19, 2*a + x - 5 = -3*a. Suppose a*i - 57 = -5*f - 0*i, -5*i + 27 = 2*f. Let w = 57 - f. Does w = 1?
False
Let a(z) = z**3 + 3*z**2 + z - 5. Let s be a(-5). Let b be (-1182)/19 - (-1944)/9234. Is s greater than b?
True
Let g = 5 + -4. Let t = -292 - -313. Suppose -t*a - 348 - 534 = 0. Is a at least as big as g?
False
Let s = 193.33 + 259.67. Which is smaller: s or -0.17?
-0.17
Let h be (-154)/(-70) - (-2*1)/(-10). Suppose -63 = h*m + 65. Which is smaller: -1 or m?
m
Suppose -9*w + 18*w = 19*w - 1060. Does w = 104?
False
Let c be (9228/(-5334) - -2) + 4*(-1)/14. Let y be (-2)/6 + (-6)/9. Let a = 1 + y. Which is smaller: a or c?
c
Let c = -3013.6 - -3010. Is c bigger than 1.6?
False
Let y be (46/(-27))/((-44)/8580). Which is bigger: y or 331?
y
Let l(g) be the second derivative of g**5/20 + g**4 + 11*g**3/6 - 9*g**2/2 + 97*g. Let n be l(-10). Which is smaller: -0.3 or n?
-0.3
Let x = -11/6 - -1/3. Let y = -26/75 + 32/525. Are y and x equal?
False
Let d = 241523/159 - 1519. Let a = d + 11603/318. Is a <= 36?
False
Let z(n) = n**2 + 7*n - 4. Let b be z(1). Let v be 6018/837 - 7 - b/18. Which is smaller: v or 1?
v
Let a be (0/6)/(3 - 0 - 5). Is 17/225 at most as big as a?
False
Let m be (128/400)/((32/12280)/2). Is m != 246?
True
Let d = 10.1 - 10. Let u = -412 + 634. Let q = -221.927 + u. Which is smaller: d or q?
q
Suppose -37*x + 16*x - 2750 = -10*x. Suppose 5*h - 2*w + 0*w = -15, -h - 3*w + 14 = 0. Which is bigger: x or h?
h
Let y(p) = 18*p**2 - 12*p - 29. Let i be y(-7). Is 938 <= i?
False
Let q(s) = 4*s**2 - 26*s + 4. Let n be q(7). Let k = 201 + n. Suppose 11*a + 177 = -k. Which is smaller: -35 or a?
a
Let p = 3304 + -16574/5. Let q(d) = -9*d - 5. Let i be q(-5). Suppose 0 = 9*v + 50 + i. Which is smaller: v or p?
p
Let f = -241.424 - 2.576. Which is bigger: -16 or f?
-16
Let y = 31 - 29. Suppose 0*d = -y*d. Let i = 0 - d. Which is bigger: i or 2/93?
2/93
Let f = 6655 + -46679/7. Suppose 65 = -5*v - 5*t, -3*v - 31 = t + 10. Which is smaller: f or v?
v
Suppose -16*r + 26*r = -30. Let k be (5 - (5 + r))/((-3)/321). Which is greater: -322 or k?
k
Let a = -21.36136 + -0.03864. Which is greater: a or -10?
-10
Let q = 13516 + -554252/41. Which is bigger: -2/7 or q?
-2/7
Suppose 3*z + a - 4*a + 12 = 0, -3*z = 5*a - 4. Let j be z*((-6)/(-8))/(54/36). Is j at most as big as -2/95?
True
Let c(y) = y**2 - y + 14. Let h be c(0). Suppose 0 = m - 3*b - h, 62 = -3*m + 6*m + b. Let o be (18/8)/(3/24). Are o and m unequal?
True
Suppose 2*x - 3660 = -2*h, 6*x - 5*x + 4*h = 1827. Let t = x - 31077/17. Which is greater: 4 or t?
4
Let f(p) = 5*p**3 + 3*p**2 - 8*p - 1. Let u be f(-5). Let x = u + 8688/17. Which is greater: 14 or x?
14
Suppose 2*d - 24*d - 43911 = 29*d. Is -861 < d?
False
Let m = 19708/17721 + -2/1969. Let i = -86/11 + 598/99. Let g = i + m. Is 0 > g?
True
Let b(f) = -465*f + 851. Let s be b(2). Is -635/8 >= s?
False
Let l = 24564 + -25294. Which is smaller: l or -1/4?
l
Suppose -3*q + 41*i - 22 = 40*i, q = -2*i - 12. Suppose m = -4*m + 30. Let t(y) = -y - 6. Let v be t(m). Which is bigger: q or v?
q
Let f = 12/5 - 26/15. Let z = -130 - -158. Suppose 24 = -2*l + z. Is l equal to f?
False
Let f = -6084 - -3544. Which is smaller: -2538 or f?
f
Let n(z) = z**2 - 11*z + 37. Let v be n(5). Suppose v*m = 18 - 60. Let b be 6/4*(-2)/1. Is m equal to b?
False
Let g = 377.96 + -381. Let x = -2.42 - g. Which is smaller: -1 or x?
-1
Let r(a) = a + 6. Let g be r(-10). Let c(y) = -y**3 - 5*y**2 - 7*y - 2. Let v be c(g). Let d = 9 + -1. Is v bigger than d?
True
Let f = 5772 + -9721. Which is smaller: f or -3953?
-3953
Let z = -575.1 + 42.1. Let t = 530 + z. Do -27 and t have the same value?
False
Let t(b) = -15 + 36 + b - 5. Let o be t(-17). Which is smaller: o or 0?
o
Let m = 42.9 + -42.82. Which is bigger: m or 0.073?
m
Suppose -5*y + 5 = -0. Let r(m) = -555*m + 15. Let c be r(-2). Let s = c + -48377/43. Is y at most as big as s?
False
Suppose 2331 = -0*a - 4*a + 7*a. Is 773 less than a?
True
Suppose 0*f - 13 = -f. Let a = 1181 + -1166. Which is bigger: a or f?
a
Let k be (-88)/(-18) + (-52)/(-468). Suppose -x - 10 + 52 = k*n, 5*x + 15 = 0. Which is smaller: 31/3 or n?
n
Let o = 2.23 + -9.23. Does o = 285?
False
Let p = -94/195 + 8/13. Let d = 19919.4 - 19920. Which is smaller: d or p?
d
Let y = 67.3 - 64. Let c = y - 2.1. Let m = -1.4 + c. Is 0.27 at least as big as m?
True
Let w = 8.147 + 2.853. Let i = 49 - 26. Let v = -19 + i. Which is smaller: v or w?
v
Let a = 2587 - 2594. Which is smaller: a or -128/21?
a
Let b = -77 - -72. Let w be 5/(-5 + b)*0. Which is bigger: w or 5/14?
5/14
Let z be (4/(-6))/(8/(-60)). Suppose 0*o = -2*o + 6, z*q = -o + 8. Let v be 280/160 - 2*1. Is v less than q?
True
Let j = -713 - -667. Let r(m) = -8*m - 6 + 2*m + 0*m**3 - 8*m**2 + 2*m**3 - 3*m**3. Let w be r(-4). Is j at most w?
True
Let k = -7588 - -7767. Is 6 at most k?
True
Let i = -20.23 + 19.6. Let p = 1.63 + i. Does 150 = p?
False
Let u = -75560 + 75363. Let i = 62 - 260. Which is smaller: i or u?
i
Let h(y) = -2*y**3 + y**2 + y - 1. Let o(a) = 11*a**3 + 24*a**2 + 22*a - 23. Let l(p) = 5*h(p) + o(p). Let v be l(-28). Which is bigger: v or 6/115?
6/115
Let i(f) = -73*f + 55. Let p be i(7). Let d be (23 - 17) + (1 - p). Is d smaller than 463?
False
Let l = 109966/33 - 3332. Which is bigger: 6 or l?
6
Suppose -20 = -4*y + 76. Suppose -2*t - y = -5*p, p = -t + 4*p - 14. Does t = 16?
False
Suppose d + 156 = -3*d. Suppose -132 = 2*f + 4*p, -4*f - 180 - 112 = p. Let m = f - d. Is -36 at least as big as m?
False
Let s(i) = -124*i**2 + 294*i + 892. Let g be s(-3). Which is smaller: -1104 or g?
g
Let v(y) = -y**2 + 78*y - 1491. Let k be v(45). Which is greater: k or -0.297?
-0.297
Suppose 5*h = -4*h. Suppose -3*w + 4*i + 64 = h, -w - 5*i + 58 = w. Which is greater: 25 or w?
25
Suppose -2*p - 14*x = -11*x, -3*p + x = 0. Which is greater: 1/3393 or p?
1/3393
Suppose 5*k - 68 = -2*c, -5*k - c = -5*c - 44. Suppose 7*r - k*r = -3*r. Does -5/131 = r?
False
Let p(u) = -u**2 - 4*u + 11. Suppose 0 = 6*s - s - 4*w - 27, -3 = s + 2*w. Let l be p(s). Let o be (2 - 3)*4/l. Which is smaller: -1/35 or o?
-1/35
Let f = -284.173 - -284. Let s = 0.273 + f. Is s less than or equal to -72?
False
Suppose 362*x = -171*x + 656*x + 1353. Let j be (-1)/(-3) + 40/6. Do x and j have different values?
True
Let d = -12.33 + 13. Let h = d + -30.67. Let m = h + 29.9. Is 1 not equal to m?
True
Suppose w = -2*t - 4*w + 14, t - w = 0. Suppose -13 = 3*s - 4*r, -t = 4*s - 2*r + 2. Let i be ((-42)/(-847))/((-104)/2002*7). Which is bigger: i or s?
s
Suppose 408*a - 832*a + 399*a - 1350 = 0. Let p = -40809/4 + 10147. Which is greater: p or a?
a
Let d = -59 - -63. Suppose -3*t + 5 = -2*f, -2*f = 7*t - d*t + 11. Let m be 69/((-4 - -4 - t)/(-2)). Which is smaller: -137 or m?
m
Let t = 4085/73 + -56. Which is smaller: t or 0?
t
Let v(d) = -8*d**2 + 76*d - 1210. Let u be v(16). Do -2041 and u have the same value?
False
Let d = 49304 + -49317. Let k = -8723/4 + 2169. Which is smaller: k or d?
d
Let f = 19.7338 + -20.198. Which is greater: f or -1/4?
-1/4
Let s = -0.3935 + 606.4935. Let c = -606 + s. Do c and -76 have different values?
True
Let h = 1.79 + -0.09. Let i be 1270 - (13 - 9 - -4). Let t = 1264 - i. Is h less than or equal to t?
True
Let z = -4268 + 4263.777. Let q = 0.223 + z. Is 1 > q