4 - 22 = w. Which is smaller: 4 or s?
4
Let s = 32054 + -352359/11. Is 20 <= s?
True
Let p be (-3)/555*(7 + 8/(-2)). Is 1 <= p?
False
Let i = -7.9 - -1.5. Let g = -8 - i. Let a = -1.6 - g. Which is smaller: a or -2?
-2
Let z = 0.75 + 0.15. Let b(x) = 2*x - 8. Let d(g) = -2*g - 9. Let s be d(-6). Let r be b(s). Is r <= z?
True
Let s = -22.2 - -27. Let q = s + -5. Let w = -178 - -185. Which is greater: w or q?
w
Let m be (-18)/24*2*8/12. Which is bigger: -2/261 or m?
-2/261
Let o(v) = -v + 2. Let m(a) = 3*a - 1. Let c(f) = -f. Let z(x) = -2*c(x) - m(x). Let r(s) = -4*o(s) + 5*z(s). Let j be r(-4). Is j at most -2?
False
Let d = 71003581/2283 + -31101. Is d > 0?
False
Let s = 38 - -48. Is s > 86?
False
Let g be 74/(-44)*(-476)/493. Let c = g - 19/11. Which is smaller: 0 or c?
c
Let l = -127 - -136. Is 68/7 >= l?
True
Let q be -7 - ((-532)/147 - 5). Does q = 1?
False
Let x(c) = -6*c**2 - c - 2. Let l be x(-2). Let i = l - -9. Do i and -14 have the same value?
False
Let v(j) = j**3 + 8*j**2 + 5*j - 6. Let k be v(-7). Suppose 3*i = k*i - 5. Suppose 3*p = -i - 2. Which is smaller: -2/35 or p?
p
Suppose -112 = 121*k - 123*k. Which is greater: 52 or k?
k
Let f be (-171)/56 + 2/(-3). Let t = 2068 - 16515/8. Let v = f + t. Is 1 smaller than v?
False
Let h(w) = -w**3 + 5*w**2 - 8*w + 5. Let u = -86 + 89. Let p be h(u). Let r be (-86)/(-630) - (-2)/(-9). Is r smaller than p?
False
Suppose 0 = -4*s + j + 11, j = -4*s + 3 + 2. Is 13/15 greater than or equal to s?
False
Let a(k) = 8*k**3 - 3*k + 5. Let m be a(2). Suppose -2*o - 11 = -m. Which is greater: 25 or o?
o
Suppose -24*u + 93 = -579. Which is smaller: 260/9 or u?
u
Let o = 7.26 - -0.44. Let i = o + -9. Which is greater: -1 or i?
-1
Let c(i) = -i**3 + 23*i**2 - 2*i + 26. Let y be c(23). Is y > -16?
False
Let a(y) = 3*y - 10. Let j be a(4). Let i(w) = -2*w + 12*w**2 - 21*w**j + 10 - w**3 + 14*w**2. Let g be i(5). Which is bigger: g or 1/5?
1/5
Let h = -2.965 + 3. Let l = 4.035 - h. Which is smaller: 1/2 or l?
1/2
Suppose f + b - 9 = 2*b, f - 9 = -b. Let o be 5*(f + -11 + (-26)/(-12)). Is o <= 1?
True
Suppose -7*n + 8*n - 9 = 3*r, -15 = 5*r. Let t = 54 - 71. Is t less than n?
True
Let t = 15 - 35. Let c = 25 + t. Suppose -36 = c*k + k. Which is smaller: k or -1?
k
Let j = 2201 - 2201. Is 8/37 at least j?
True
Let k = 57103/9 + -6345. Let f = -0.3 + 0.34. Let o = 0.34 - f. Which is smaller: k or o?
k
Let f(g) = -2*g - 10. Let y be f(-7). Let k be (0 + 1)*(-8)/(-4). Suppose -w = -3*u + 11, -2*u - u = k*w - 23. Is y less than w?
False
Suppose -2*p = c - 69, c - 5*p - 185 = -2*c. Let r be (-3)/((-6)/2*5/c). Is 13 <= r?
True
Let n be 12/(-54) - (4088/18)/4. Suppose 5*o - 29 = 5*z - 9, 0 = -4*o - 3*z - 12. Which is smaller: n or o?
n
Let p(a) = 3*a + 35. Let x be p(-19). Let s be 22/x - (-1 - 2). Is -2/5 > s?
False
Let i be ((-203)/14 + -4)*2. Which is smaller: i or -35?
i
Let s = -9 - -10. Suppose 5*u - 18 = 2*u. Suppose -5*a = -u + s. Which is smaller: 12/5 or a?
a
Let s be 3/(-9)*45*(-14)/6. Which is smaller: s or 13?
13
Suppose -2*y + 8*w - 9*w + 101 = 0, w = 5*y - 249. Which is smaller: y or 43?
43
Let x = -0.63 - -8.73. Let v = x - 19.9. Let b = v + 12. Which is smaller: b or 7?
b
Let l be (-32)/112 + 48/70. Let h = 85.9 + -67. Let p = h - 2.9. Is p < l?
False
Suppose 0 = -3*r - 4*o + 98 + 76, 2*r - 112 = -4*o. Which is bigger: 61 or r?
r
Let d = 1561 - 1606. Is 1/3 less than or equal to d?
False
Let z be 7/42 + (-79)/402. Is 1 at least z?
True
Let v(c) be the third derivative of -c**5/60 + c**4/12 + c**3/2 - 2*c**2. Let r be v(3). Let t be -1*r/(-2*2). Do t and 1/3 have the same value?
False
Suppose 4*o = 2*o. Suppose o = y - 0 - 2. Suppose 3*s + 17 = -2*d, 3*d + y*s + 23 = -2*s. Which is bigger: d or -2/35?
-2/35
Let x(t) = 0*t**2 + 4*t - t**2 + 4*t + 8 - t. Let j be x(7). Let q = -26/3 + j. Which is bigger: 0 or q?
0
Let i = 7693 - 7692.6. Let l be (-2)/(19 - (-2 + 4)). Is i less than or equal to l?
False
Let u(z) = 86*z**3 + 3*z**2 + 5*z - 13. Let j be u(2). Is j at least 1?
True
Let d = 77/58 + -2363/2610. Do d and 1 have the same value?
False
Let x = 2.42 + 1.58. Which is smaller: -2/19 or x?
-2/19
Let i = -16 + -24. Let a = -79/2 - i. Is a less than 0.01?
False
Let w = 0.235 - -0.015. Is w >= -1?
True
Let u be (-9)/(-12) + 185/(-148). Which is bigger: u or 44?
44
Suppose 0 = -3*k + 10*a - 8*a - 17, -70 = 5*k + 5*a. Is k <= 1/7?
True
Suppose -2*n = 3*n + 20, 4*t - 2*n = 0. Let u be ((-6)/(-6))/(t/14). Is u not equal to -7?
False
Let b be 61/3 + (-3)/9. Suppose -4*u + 94 = -r, 5*u + 120*r - 121*r = 116. Is u equal to b?
False
Suppose p + 4644 = 44*p. Is 100 > p?
False
Suppose 0 = -3*s + 3*l + 18, l - 2*l - 2 = 0. Suppose 0 = -6*y + 8 - 2. Suppose 2*r + 10 = s*h, -24 = 5*h + 5*r + y. Is 1/7 at least as big as h?
True
Let g = 60 - 41. Let b be ((-22)/(-54))/(((-76)/24)/g). Which is bigger: -1 or b?
-1
Let d = 0.01 + 0.08. Let h = d + -0.19. Which is smaller: 11 or h?
h
Let z = -0.5 + 2.5. Let p = -1.8 + z. Let s = -277.08 + 277. Which is greater: p or s?
p
Let l = 12 + -7. Suppose l*u = 3*u. Let w be (-9 + 7)/(4/6). Is w smaller than u?
True
Let k = 1883/9 + -209. Which is bigger: k or 5?
5
Let q = 49 - 31. Let m = -112 - -132. Which is smaller: q or m?
q
Let q = -29067/41 + 709. Let v be 264/10*(-10)/369. Let w = v + q. Is 0.3 at most as big as w?
False
Let n = -104 + 113. Which is smaller: n or 11?
n
Let h = 10 + -2. Suppose 2*g + g - 24 = 0. Is g at least h?
True
Suppose -342*d + 29 = -371*d. Which is bigger: -10/677 or d?
-10/677
Let q be ((-6)/5)/((-3)/10). Let i be (3/2)/((-309)/(-206)). Which is smaller: i or q?
i
Suppose -2*m + 2 - 6 = -4*r, 3*m - 2*r - 6 = 0. Suppose 0*t - 3*t = -i + 49, -4*t - i - 77 = 0. Let k be 32/63 + m/t. Is k at least as big as 0?
True
Suppose k = 18 + 18. Let h be 50/(-104) + 9/k. Which is bigger: -2/5 or h?
h
Let l be ((1/(-3))/(-1))/((-54)/243). Suppose -4*v = 16, u = -v - 9 + 1. Let j be -3*(4/9)/u. Does l = j?
False
Let g = 18 - 17. Suppose 0 = b - 4*b + 2*o + 18, 5*o + 7 = -2*b. Let x be b/(4/18*-3). Does g = x?
False
Suppose -6*t = 4*t - 35*t. Is t >= 1/856?
False
Let y be 1 + 7 + (-195)/(-1). Which is smaller: 201 or y?
201
Let h = 135.5 + -129.5. Is -0.1 greater than or equal to h?
False
Let h = -2 - -1. Let l be 0*(h - 0)/(-2). Let c be l/(0 + -2) - -5. Is c < 5?
False
Let v = 2215 - 2194. Let x be ((-4)/(-3))/((-2)/(-30)). Which is bigger: x or v?
v
Let x = -310 + 309.987. Is x at least as big as 0.07?
False
Let t be (-1)/3 - 192/(-9). Let c be -1 + 129/(-9)*(0 - 3). Suppose o + o - g - c = 0, -o + 21 = -2*g. Do t and o have the same value?
True
Let l = 117 + -125. Suppose -3*t - 29 = -c - 5, 2*c - t = 28. Let x be 40/(-6)*c/l. Which is smaller: 9 or x?
9
Suppose 0 = -28*v + 23*v + 210. Is v > 122/3?
True
Suppose 3*s - 45 = -3*v + 54, -5*v = 2*s - 81. Let y be (2 - s/12) + -1. Which is smaller: y or -0.1?
y
Let z = 11 - 5. Let g be (-9)/21*z/(-9). Are g and -8/7 unequal?
True
Let i = -1958 + 1957.8. Let g(l) be the second derivative of l**3/6 - l**2 - l. Let x be g(-7). Which is bigger: x or i?
i
Suppose -12 = -3*t - 9. Let d = 38605/51 - 757. Which is greater: t or d?
t
Suppose -2*z = 56 + 28. Let v = 71 + z. Suppose 4*s - 148 = -5*g, 1858 = -3*g + 3*s + 1936. Is v > g?
True
Let j be (21/(-2))/(111/(-24) - -5). Suppose -3*x + 4 = -7*x + 5*d, x - 3*d = -1. Is x at least j?
True
Let j = -173/3 + 57. Let n be 2/(-6)*2*-3. Suppose 2*o + w + 12 = -3*w, -2*w - 6 = n*o. Which is greater: o or j?
o
Let y be (-4)/(((-12)/78)/1). Which is smaller: y or 53/2?
y
Let g = 199.34 + -200. Let t = -101/3 - -34. Which is smaller: t or g?
g
Let j be -3 - 15/((-90)/24). Is -43 bigger than j?
False
Let x = -73 + 43. Let q = 43 + -73. Is x smaller than q?
False
Let f = -61 - -37. Suppose z + 15 = -n - 4, 3*z = n - 77. Is z <= f?
True
Let p be 1*-2 - 16/(-4). Suppose 5*s - 1 = -p*v, -3*s - v = s + 1. Which is bigger: 6/17 or s?
6/17
Let f be (-1 + 3794/7)*1. Which is smaller: 543 or f?
f
Let t = -1/3168 + 305/129888. Are t and -1 nonequal?
True
Suppose -m - 68 - 451 = -z, 0 = 2*m - z + 1043. Is m != -523?
True
Let p(z) = z + 4. Let u be p(12). Suppose 3*g = 5*n + 9, -4*n + 5*g + u = -6*n. Is n bigger than 8?
False
Suppose g + 3*d = 5*d - 141, 3*d + 12 = 0. Which is smaller: 