f - 0. Which is smaller: b or 2/5?
b
Suppose 9*a - 6089 + 25592 = -90*a. Which is smaller: a or -200?
-200
Let f be -16*((-15)/4 - -3). Let o be (-273)/(-423) + f/(-18). Let q be (-2)/11 - (-9)/(-11). Which is smaller: q or o?
q
Suppose q - 3 = 0, 4*x + 8 = 3*q + 3. Let k(t) = -4*t**2 + 3*t + 3. Let m be k(3). Let w be 50 - (x/4)/(6/m). Are 52 and w nonequal?
True
Suppose 759 = -16*r + 13*r. Let j = r - -241. Are -78/7 and j unequal?
True
Let q = -4367 - -3976. Which is greater: -390 or q?
-390
Suppose -20*i + 10*i = -1600. Let p = i - 167. Suppose -5*j - 40 = -0*j. Which is bigger: j or p?
p
Let b = 2.373 + 843.627. Which is greater: b or -1?
b
Let c be (-3 - 100/(-30))*57. Suppose -7*j + 4*z = -10*j + c, -2*j + 4*z = -26. Suppose 5*u = a + 58, 5*u - a - 67 = 3*a. Are u and j equal?
False
Let o(s) = -349*s**3 + s**2 - 18*s + 18. Let r be o(1). Which is bigger: -345 or r?
-345
Let u = -0.0137 + -20.9863. Do u and 0.1 have the same value?
False
Let s = -11492 - -13962784/1215. Let x = s + 1/243. Which is bigger: x or 1?
1
Let z be ((-114)/(-12))/(4/(-56)). Let y be (2 + z/42)*4/7. Let m = -0.45 - 2.45. Which is bigger: m or y?
y
Suppose 2*l = -0 + 12. Let q be (-24)/40 - (-9)/15. Suppose -5*y - l + 11 = q. Which is smaller: -4 or y?
-4
Let m be ((-128)/576)/(66/(-900)). Which is bigger: m or -1/3?
m
Let g = -5244 + 5245. Does g = -2/891?
False
Let l = -0.23876 - -0.23876. Which is smaller: -1.0332 or l?
-1.0332
Let d be -199 - 14402 - 1*-10. Do d and -14592 have different values?
True
Let p = 9273 + -9271. Which is smaller: 95/44 or p?
p
Let v be (202/(-9))/(8/12). Suppose 5*y + 4*k - 10 = -184, 4*k = 3*y + 98. Which is greater: v or y?
v
Let n be (10/6 - 2)/(10/870). Suppose -2*t - 6*f = -3*f + 56, 104 = -4*t - 2*f. Is n smaller than t?
True
Let j = 3576221/205 - 17445. Which is smaller: j or 1?
j
Let g = 29.8 + 214.2. Let s = g + -243.7. Is s at most -1/6?
False
Suppose 2*g - 5*x - 5 = 0, 14 = -g + 3*g + 4*x. Suppose -g*y - 3*d + 160 = -129, -69 = -y + 5*d. Let h = 122 + -62. Which is smaller: y or h?
y
Let v(a) = -54*a - 3618. Let x be v(-68). Which is greater: -4 or x?
x
Let d = 65537/3 + -21846. Let f = 0 - -1. Is f != d?
True
Let u = 433.5 - 436. Let s(f) = 8*f - 9. Let q be s(3). Is u less than q?
True
Let p(u) = 202*u + 585. Let m be p(-4). Which is bigger: m or -220?
-220
Let j = 5501 + -5500.89. Are -1/73 and j equal?
False
Let k be (-2)/(-32*(-2)/(-5)). Suppose -3*l - 5*d = 33, l + 3*d = -18 - 1. Is l < k?
True
Let q = -0.6699 - -1.0299. Which is bigger: q or -29?
q
Let m(d) = -166*d + 1493. Let v be m(9). Which is bigger: v or 122?
122
Let f = -7.172 - 0.128. Let x = -171 - -163.7. Let a = f - x. Do -1/10 and a have different values?
True
Suppose u + 145 = 5*m, 7*m - 8*m + 141 = -u. Is -125 not equal to u?
True
Let v be (-8)/(-3) + 2/6. Let y = -9564/11 + 867. Let m = -4/33 - y. Is v <= m?
False
Let t(a) = -a**3 + 41*a**2 - 99*a + 65. Let y be t(40). Are y and -2298 nonequal?
True
Suppose -787 + 951 = 10*j - 2526. Which is smaller: -2 or j?
-2
Suppose -14 = -2*p + 4*x, -141*x = -p - 140*x + 4. Which is smaller: p or -9/22?
-9/22
Let j = 20/963 + 61492/6741. Which is bigger: j or -129?
j
Let a(x) = x**2 + 19*x + 9. Let r be a(11). Let b(u) = -2 - r*u + 39 + 337*u. Let p be b(18). Is p < 2/137?
False
Let x = 8.8334 - 4.0793. Let t = x + -0.0541. Which is bigger: t or -1?
t
Suppose -2169 - 3521 = 10*k. Let m = k - -570. Which is smaller: 2/1043 or m?
2/1043
Let n be ((-6)/(-255))/((-46)/230). Is n greater than -79?
True
Let v = 3110 - 3111. Which is bigger: 1/12026 or v?
1/12026
Suppose 0 = c + 4*q - 844, -q - 1753 = -2*c + 4*q. Let g be (2/c)/(21/(-42)). Is 1 not equal to g?
True
Let r = -46878 - -751649/16. Let c = -100 + r. Suppose 2*n + f + 0 = -7, -2*n + 18 = -4*f. Which is greater: n or c?
c
Let n(t) = -6*t + 51. Let o be n(7). Suppose 5*q - 5*f + 3 = 3*q, -o = -q - f. Is q at least 0.6?
True
Let t be ((-18)/(-3) + 2164942/(-360828))*(8 - 0). Is t >= 1?
False
Let u(g) = -3*g**2 - 7*g. Let f be u(-6). Suppose -451*m = -187*m + 16632. Which is bigger: f or m?
m
Let g be (-70)/385 + 38/209. Which is smaller: 2/16461 or g?
g
Let w(v) = -3*v - 10. Let j be w(-9). Suppose j*h - 12*h + 5*x - 340 = 0, -3*x = 15. Is h < 76?
True
Let a be 66*((-9)/15)/((-8)/20). Let k = -169 + a. Which is smaller: k or -71?
-71
Let r = 1 + 12. Let k(t) = t**2 - 15*t + 27. Let n be k(r). Let l be 41/62*(n - -2) - 2. Which is smaller: 1 or l?
l
Let o = 5306 + -5306.5. Which is smaller: o or -598?
-598
Suppose -9 = -5*g + 3*t + 13, -10 = 3*g + 4*t. Suppose g*y - 63 = -137. Let x = -99 + 62. Is x less than y?
False
Let a(z) = -z**2 + 77*z - 730. Let y be a(66). Let q = -1.9 - -0.9. Which is bigger: y or q?
q
Let d = 5718 + -5717. Which is bigger: 2/4841 or d?
d
Let j = 33 - 35. Let o be (10 + 2)/(j/6). Let f = o + 31. Is -3 smaller than f?
False
Let i(k) be the third derivative of k**5/30 + 5*k**4/6 + 3*k**3 + 4*k**2. Let g(u) = -u**3 - u - 9. Let r be g(0). Let l be i(r). Which is smaller: l or 1/7?
l
Let i = -3 - -3.1. Suppose 415 = -s - 2*m + 4*m, 5*m + 1223 = -3*s. Let c = s - -407. Is c at most as big as i?
True
Let j be (8/(-20))/((-1)/((-9)/6)). Let h = -1308 - -1307. Do h and j have the same value?
False
Let y = -0.96735 - 0.03265. Is y <= 1739?
True
Let b = -1768 - -478. Is b != -1290?
False
Let y be 22/374 - (4725/34085 - 0). Does 1 = y?
False
Suppose -58*n - 62*n = -44*n. Which is bigger: n or -7/919?
n
Suppose -201 = -j - 200. Is j greater than or equal to 3/322?
True
Let a = 189 + -377. Let m = a + 180. Which is greater: 3 or m?
3
Suppose -3*q = -2*w - 267, -4*w = -7*w + q - 397. Let d(s) = 129*s**3 + 5*s + 4. Let r be d(-1). Which is smaller: w or r?
w
Let c = 204 + -201. Let j be 1*c*((-36)/27)/(-1). Is j not equal to -0.05?
True
Let z = 19.27 - 0.27. Let m = -960 - -944. Let t = z + m. Is t > 0.4?
True
Let k be (-10)/(-4)*(-24)/(-10). Suppose -k = 2*w + 4*w. Let y be 59/299 - (-10)/(-65). Which is greater: w or y?
y
Let z be (-4866)/(-41650) - -102*38/(-969)*(-3)/(-102). Suppose -2*w - 3 = w. Which is smaller: w or z?
w
Suppose 93*k + 409389 = -252899 - 667519. Which is greater: -14300 or k?
k
Let o(j) = j**2 - 1. Let u be o(1). Suppose 4*k + 16 = 52. Let t be ((k - 4)/(-5))/(1 - 0). Are u and t nonequal?
True
Let d = 13266 - 27193/2. Let z = d + 331. Is z equal to -1.9?
False
Let y = -523 - -4705/9. Let h = 15 + -15. Suppose h = -4*k + 3*k. Is k at least as big as y?
True
Let k = -2352 + 1331. Let h = -17395/17 - k. Is h greater than -3?
True
Let x(y) = -2*y - 13. Let q be x(14). Let w = 81/2 + q. Suppose -61 - 54 = 5*r. Are r and w equal?
False
Let t = 0.8 + -8.8. Let i = t - -7.8. Let c(w) = 7*w - 165. Let j be c(23). Which is greater: i or j?
i
Suppose -5*u + 5*j = -15, u = 10*j - 5*j + 15. Let o = 4778126/571 - 8368. Are o and u equal?
False
Let c = 562096 - 121974575/217. Let y = -19/31 + c. Which is greater: 2 or y?
2
Let c = -43 - -115. Let m = 72 - c. Which is greater: m or -1/134?
m
Suppose -12 = -3*s, -s + 24 - 266 = -3*o. Suppose 2*c + 126 = 2*u, 2*c = 5*u + 6*c - 351. Let n = o - u. Which is bigger: 14 or n?
n
Suppose 60 = -5*d - t, -21 = 4*d + 5*t + 48. Let r(b) = b - 2. Let l(x) = -x - 1. Let a(h) = -3*l(h) - r(h). Let k be a(-8). Is d <= k?
True
Let h(i) = i**2 - 47*i + 528. Let o be h(18). Is 248/5 at least o?
True
Suppose 2*i + 0*i - 23 = 3*v, -2*i + 33 = -5*v. Suppose -3*s + 5*o = -46, 0 = 3*s - i*s - o + 10. Let q = 0.044 + 0.956. Which is bigger: s or q?
s
Let o = 3458 - 3483. Is 56 less than o?
False
Let u be (-84)/(-18) + 2/6. Suppose 2*b + 2*b = 0, -4*z + 12 = -2*b. Suppose -z*r = -1 - u. Which is smaller: r or 25?
r
Let z be (-11)/(-22)*0/2*1. Suppose -2*a + g - 18 = -32, -5*a + 3*g + 36 = z. Are 8 and a nonequal?
True
Let n = 497 + -489. Let r be n/((-448)/20)*(-30)/25. Does r = 3/10?
False
Suppose 6 = 4*b + 3*o, 3*o = -4*b + 9*b + 6. Suppose -34*f + 29*f = b. Let u = 5692/17 + -335. Is f greater than u?
True
Let a = -1 - -1. Let f = 43802 - 569414/13. Is f >= a?
True
Let s = 16877 - 16876.8. Let g = 0.2 - 0.6. Which is smaller: g or s?
g
Let p be -3*(6/45)/(11/2200). Let j(n) = 5*n + 7. Let w be j(-15). Let v = p - w. Which is greater: -11 or v?
-11
Let d be 4/16 - 34/8. Let i(w) = 3407*w + 7. Let q be i(2). Let 