5280?
True
Suppose 4*t = -t. Let y be (-4 - -23)/(0 + -1)*(-3060)/3825. Is y bigger than t?
True
Let k = 1938.17 + -1937.7. Which is smaller: -1/8 or k?
-1/8
Let p be (-2)/6*(-2 - -2078). Let c be p/(-231) + -2 + 264/126. Do c and 3 have the same value?
False
Suppose 7117*o = 7075*o - 84. Is o at least as big as -59?
True
Let y = 7913 - 7715. Which is greater: y or 212?
212
Let p(i) = 5*i + 309. Let r be p(0). Suppose -30*h = 1521 + r. Which is bigger: h or -60?
-60
Let h be (32/2904)/(56/(-2100)). Is h equal to 0?
False
Let a be (-1 - 1)*35/112 - 0. Let g = 106 - 102.85. Let n = g + -0.15. Which is smaller: a or n?
a
Let t = 199 + -175. Let i be (3 - 6)*2/t*4. Do 3/19 and i have the same value?
False
Let w be (-392)/530*(3 + (-119)/34). Is 0 smaller than w?
True
Let l = 4183.953 + -4184. Which is greater: 4/29 or l?
4/29
Let u = 25 - 0. Let a = -26 + u. Let p be 5/3 + a - 10/(-30). Which is smaller: 9/10 or p?
9/10
Suppose 2*c + 284 = 84. Let k = -129 - c. Is -27 <= k?
False
Let r = -1384/11 + 2885684/22935. Which is bigger: 1 or r?
1
Suppose -9*v + 539 + 199 = 0. Let o = -80 + v. Suppose -7*s = -2*u - 6*s - 82, o*s + 70 = -2*u. Which is smaller: -38 or u?
u
Suppose -5*c + 46 = -4. Suppose -8*b - 2*b - c = 0. Is b < -10/19?
True
Let s(x) = -x**3 - 20*x**2 - 20*x - 9. Let p be s(-19). Let j be (p/15)/(4/(-6)). Is j < -3/151?
True
Suppose 17*i - 6966 = 8*i. Suppose -13*s - 214 = i. Is -77 greater than or equal to s?
False
Let f = -1624 - -1632. Let y = -432/2497 - 2/227. Is y greater than f?
False
Let f = 478 + 125. Suppose 993*t - 990*t - f = 0. Is 0.1 not equal to t?
True
Let t be -1 - 743/(-660) - (20 + (-4172)/210). Is t greater than -1?
True
Let q be -1 + 5 + 2 - (-2108)/17. Suppose -9*g = -213 - 975. Is g less than or equal to q?
False
Suppose z - 40 = 2*y, 0 = 16*z - 20*z + 4*y + 148. Is z at least -73?
True
Let u(z) = -8*z**2 + 78*z + 99. Let j be u(11). Which is bigger: 68 or j?
68
Let j be (-9 - 15/(-3))/((-8)/(-48)). Let k be j/16*366/9. Let f = -106 + 46. Which is smaller: f or k?
k
Let r be (-16775)/((-8 + -274)*87). Let h = 5/846 + r. Which is bigger: h or 0?
h
Let c = 0.237 + -105.287. Let q = -105 - c. Let x = 0.1 - 0.1. Which is smaller: x or q?
x
Suppose 12627 = -30*f + 10852 + 34985. Is 2213/2 <= f?
True
Let p be -4 - (870/216 + -3)*(-2 - 2). Is 414 at least as big as p?
True
Suppose 13*g - 15*g = -4. Let w be (297/(-150) + g)/(4/15). Suppose -5*d - 2*c = 0, 0 = -3*d + d + 3*c. Which is bigger: d or w?
w
Suppose -5*s = -5*p - 145, p = 2*s - 7*s + 121. Let r = s - 2. Suppose r*x = 18*x + 180. Which is smaller: x or 38?
x
Let q = -101 + -12. Let u = q - -115. Is u greater than 2?
False
Let i = -4388.1 - -3880. Let z = 508 + i. Which is greater: z or -138/13?
z
Let f be ((-46)/(-5))/((-4)/(-2)). Let s = -47 + 51. Suppose s*t - 24 + 4 = 0. Is t < f?
False
Let f = -1086 + 1083.645. Let c = -2.33 - f. Is c smaller than 0?
False
Let g = 15.1 - 15. Let l be (-630)/((10/40)/(1/(-6))). Let o be 638/l - 1/((-8)/(-12)). Is o > g?
False
Let s = -989 - -1981. Let n = s + -862. Are n and -3 equal?
False
Let p = -31487/20994 + -2/10497. Suppose -3*n = 4*f + n, 3*n = 3*f + 18. Which is smaller: f or p?
f
Suppose 0 = w - 20*d + 25*d - 16, 5*w - 50 = 5*d. Let c(b) = -17*b + 192. Let u be c(w). Which is bigger: u or 1/5?
u
Suppose 2*d + 48 = 2*z, 4*d + 35 = z - 49. Is 42 <= d?
False
Let s be (20/5)/4*0. Let d be 2*10/(10 + 80). Which is smaller: d or s?
s
Let i(l) = -43*l - 86. Let c be i(-4). Let y = c - 110. Which is greater: -33 or y?
y
Let f = 0.752 + 71.148. Let i = f - 70.807. Let x = i + -0.093. Is x greater than -1.2?
True
Let d(n) = -n**3 + 7*n**2 - 8*n - 5. Let j(c) = -c**3 + 13*c**2 - 15*c - 9. Let z(o) = 5*d(o) - 3*j(o). Let h be z(-3). Which is smaller: 7 or h?
h
Let k = -1.9543 + 3.9253. Is -7 at least k?
False
Let j = -173.9 + 33.9. Let w = 173 + j. Is 2/3 != w?
True
Let y(s) = s**2 + 3*s - 11. Let t be y(-9). Suppose -o = -2*q - 91, 0 = 4*o + q - 6*q - 361. Let b = -90 + o. Is b not equal to t?
True
Let q = 83089/161 + -906760587/1757315. Let u = q - 7/185. Which is smaller: u or 1?
u
Let u(i) = -2*i**3 - 29*i**2 - 9*i - 289. Let k be u(-15). Is 55 smaller than k?
True
Let d = 7353 + -257361/35. Which is smaller: d or -42?
-42
Let i(d) = 11*d + 89. Let s(v) = 7*v + 59. Let u(c) = -5*i(c) + 8*s(c). Let y be u(-19). Suppose -15*m + 14 = -y*m. Which is smaller: 1 or m?
1
Let x = 4401 + -3780. Is 2/3 >= x?
False
Suppose -14*b - 55 = -15*b. Let c be -1 - b/(-20) - 2. Which is greater: 2/39 or c?
2/39
Let j = 17402 + -469868/27. Which is bigger: j or -1?
j
Let m = -7334 + 7314. Do m and 1.34 have the same value?
False
Suppose 13*r = 9*r + 5593 - 24205. Is -4654 >= r?
False
Let o = -733.3 - -687. Let h = -1.7 + o. Which is greater: -0.3 or h?
-0.3
Let s(b) = -44*b - 103. Let n(x) = -22*x + 174. Let y be n(8). Let m be s(y). Suppose -3*w + 11 = -d, 4*d = -4*w + 17 + 3. Are d and m equal?
False
Let q be (-14 + 4 - -12)*-1. Let j(y) be the first derivative of 4*y**3/3 + 2*y**2 + 3*y + 1. Let u be j(q). Is u at most 14?
True
Let c be 20/(-12)*(-6)/(-2). Let p be 42/60*(3 + c). Is 0.05 < p?
False
Let l = 3356 - 3353. Let b be (-1 - 1)*18/4. Let p = b + l. Is -2 at least p?
True
Let v(y) = -3*y - 2024. Let l be v(-59). Which is greater: -0.1 or l?
-0.1
Let o be (-5)/((-25)/(-6))*-25. Let m be (-4)/(-30) + (-34)/o. Let w be (-4)/(-3)*9/(-10). Which is bigger: w or m?
m
Suppose 4*h = -3*x - 0*x + 388, 2*x - 2*h = 282. Suppose 52 - x = 12*t. Which is bigger: t or -4/7?
-4/7
Let n be (-10)/(-5)*(52/18 - 3). Suppose 2*v = 24 - 12. Suppose -o + v = 3*l, -1 + 3 = l. Is n less than or equal to o?
True
Let q be ((-1)/2)/((-13)/(-26)). Let p = 4467/179690 - 7/302. Let g = p + 566/17255. Does q = g?
False
Suppose -4*x + j = 5737, -11001 = 5*x - 2*j - 3832. Which is smaller: x or -2?
x
Suppose 7587 - 2274 + 7260 = 99*r. Is r less than 101?
False
Suppose 0 = 3*c - c + 24, 0 = -6*y - c + 1424 - 1364. Let x = -0.99 + 1. Which is smaller: x or y?
x
Let a(p) = -p**3 - 37*p**2 - 110*p + 47. Let l be a(-34). Which is smaller: 345 or l?
l
Suppose -2*t - 25 = 5*q, 2*t + 3*t + 5 = -q. Suppose -3*j + 2*j + p - 57 = 0, t = 3*j - p + 179. Let d = j - -106. Is 45 greater than or equal to d?
True
Let d(b) = b**2 - 14*b - 32. Let h be d(14). Let g be h/(-36)*(-3)/164. Which is smaller: g or 0.2?
g
Let n(o) = 3*o**2 + o + 1. Let j be n(-1). Let a be (26 - 1550/60) + (-13)/6. Let f be (j/a*1)/(3/8). Is 1 less than f?
False
Let h be (78 - 77)*1/(-65). Which is greater: h or -2?
h
Let d be (-5187)/(-1729) - (163*2 - -1*1). Is d at least as big as -317?
False
Let l be 6 + -12 - -67 - 2. Let o = 58 - l. Let m = -1 - 1. Does m = o?
False
Let b be (-252 - -246) + (-56)/(-10). Let d = 54.939 + 0.061. Is d at most as big as b?
False
Let y be (756/30)/7 - (-8)/(-5). Suppose j - 12 = 3*j. Which is smaller: y or j?
j
Let m = -24/7 - -16/7. Let i be (-147)/15 - (-3 + 1 + -7). Is i smaller than m?
False
Suppose -h + 0*h = 0, -5*w - 2*h + 5600 = 0. Suppose -6*m - w = -m. Which is bigger: m or 1/4?
1/4
Let a(f) = 2*f - 20. Let q be a(10). Let u = -127/30 + 23/6. Let g = u + q. Is g less than or equal to -18?
False
Let d be (-1)/(-6) - ((-390357)/54)/(-11). Let a = d - -656. Let i be ((-2)/26)/(4/(-10)). Which is greater: a or i?
i
Suppose -a + 2*t + 0 - 8 = 0, t - 4 = 3*a. Suppose a = -122*w + 135*w - 182. Is w < 53/4?
False
Let b = -192.0144 - -0.1144. Let q = b - -192. Which is smaller: q or -0.05?
-0.05
Suppose 0 = 31*y + 65*y + 16527 - 79695. Which is smaller: 662 or y?
y
Let q be (2/46948)/((-72)/(-422628)) - 2/8. Are q and 0 equal?
False
Let t be (-1)/(((-1)/(-2))/((-220)/40)). Let d(u) = 14*u - 9. Let g be d(t). Is g greater than or equal to 144?
True
Suppose -7*s - 9*s - 16 = 0. Let g be (-2414)/68*s/2. Is 19 > g?
True
Let u = -7924168/25 + 316916. Let r = 558/11 + u. Is r at least 0?
True
Let q(s) = -8*s - 152. Let d be q(-21). Suppose 0 = -11*p + d*p. Which is greater: 7/33 or p?
7/33
Let i = 7 + -83. Let b = -47.82 + -29.78. Let w = b - i. Is -2/9 equal to w?
False
Suppose -5*k = 7*o - 8*o - 605, 470 = 4*k + 2*o. Let s = -48 - -48.1. Is s less than or equal to k?
True
Let t(y) = -y**3 + y**2 + 18*y - 35. Let l be t(3). Let c = -24.72 + -0.28. Let x = c - -26.3. Which is 