t u = 13921/513 - -29/27. Which is greater: u or 28?
u
Suppose 0 = 4*k - 16*k + 2*k. Suppose 0 = -50*q + 46*q + 136. Is q smaller than k?
False
Let f = 20.8049 - -5.1951. Let i = -0.4 - 1.6. Which is smaller: f or i?
i
Suppose -2*r - 248*u + 250*u = -1406, 0 = -4*r - u + 2817. Which is smaller: r or -0.4?
-0.4
Let k = -36 - -27. Suppose -2759 = 6*u - 395. Let y be ((-3)/(-24))/(u/(-132) - 3). Is y less than k?
False
Suppose -341 = -4*b - 645. Is -75 > b?
True
Let u = 1 - 0. Suppose -4*w + 2610 = -14*w. Let k be 1381/w + 5 - 4/(-18). Is u at most as big as k?
False
Let j = 5.967 + -6. Let n = j - 1.567. Is n > 2/11?
False
Let g = 337 - 334. Let z(s) = -s**3 - 17*s**2 + 15*s - 4. Let c be z(-18). Let u = c + -45. Is u < g?
False
Let w = 3.2 + -3.2. Suppose 8*t - 338 = 78. Let x = 52 - t. Is x at most as big as w?
True
Let g(m) = -10*m - 20. Let w(b) = 25*b + 61. Let l(s) = -8*g(s) - 3*w(s). Let f be l(5). Let r = 2743/1246 - -15/178. Are f and r equal?
False
Let n(o) = 37*o**2. Let x be n(-1). Let h be (-12)/(-2) - (62 + -18). Let t = x + h. Which is bigger: 3 or t?
3
Suppose -v + 177 = 3*y - 10, -5*y + 295 = 5*v. Suppose 9*g - 8*g + 27 = 3*m, 4*m + y = -2*g. Which is greater: g or -28?
-28
Let f = -179009255/2823 + 63411. Do f and 0 have the same value?
False
Let r(m) = -8 - 5*m - 4*m + 5*m. Let c(s) = 40*s + 625. Let d be c(-16). Let b be r(d). Is 52 smaller than b?
False
Suppose 15 - 5 = 5*z. Suppose -2*d + 14 = -z*w + d, 3*w = d - 21. Let q = 190 + -196. Is q <= w?
False
Let o = -2 + 5. Let l = o - 5. Let g = 1933/720 + -197/80. Is g at most l?
False
Let d = 7 - 13/2. Let a be (-15)/((-4)/(-4)*1). Let h be (-60)/(-18)*54/a. Which is smaller: d or h?
h
Let p = 153 + -169. Let j = -8 + p. Let a = 0.4 + 0.6. Is a greater than j?
True
Let k = -153104 + 153183.153. Let x = k - 0.153. Let o = x - 79. Which is bigger: o or -3/5?
o
Let x be (-4)/18 + 3 + (-929)/(-9). Let y = -100 + x. Suppose -y*q = 12*q + 216. Is q at most as big as -12?
True
Let z = 2046 + -2915. Let k = z + 546. Do -323 and k have the same value?
True
Let b = 156 - 330. Let r = -175 - b. Let d = 0 + -0.6. Which is greater: d or r?
d
Let f = -179305 - -715964861/3993. Which is smaller: 1 or f?
f
Let l be (-36)/(5*13/(-260)*5192/(-2)). Is 0 bigger than l?
True
Let c be (-2570)/(-32)*(16 + -10). Is c <= 481?
False
Let p = 61978 - 32042688/517. Is p >= -1?
True
Let q be 530/(-901)*(-1)/(5/(-2)). Suppose -4*s - s + 2*g = -3, 5*s - 7 = -2*g. Let v be (s + -1)/(4 + -5). Which is smaller: q or v?
q
Let x(p) be the second derivative of -p**5/5 - 11*p**4/12 + 2*p**3/3 + 26*p**2 - 138*p. Let t be x(-6). Which is greater: t or 494?
t
Let g(r) = -51*r**2 + 45*r + 124. Let c be g(-3). Which is smaller: -467 or c?
c
Let y = 1476153/68 + -87025/4. Is -47 greater than or equal to y?
True
Suppose 0 = 3*r - 297 + 48. Suppose -83 = 4*k - r. Suppose k*u + 5*u + 21 = -4*d, -u = d + 5. Is -4/5 <= u?
False
Suppose -21 + 31 = 5*k, 224 = -5*f + 2*k. Let w be (-3)/84 - (-11)/f. Suppose -2*h = -5*t + 5, -18 + 6 = 2*t + 2*h. Which is smaller: t or w?
t
Suppose -4714*v = -4648*v + 1650. Let q be ((-2)/3)/(4/6). Is v greater than or equal to q?
False
Let y(s) = 2*s - 24. Let r be y(8). Let u be 0/(r/4 - 0). Let q be u + -1 - 4/(-2). Is 3 at least q?
True
Let v = -196 + 183. Let g = 19.2 - 16. Let b = 3.1 - g. Is b at least v?
True
Let n(i) be the first derivative of -i**4/4 + 13*i**3/3 - 15*i**2/2 + 27*i - 1. Let r(g) = -10*g + 282. Let z be r(27). Let u be n(z). Is -8 less than u?
False
Let l be 189/730 + ((-4)/(-50))/(135/2025). Which is bigger: 2 or l?
2
Let s = 16106 - 65097/4. Let p = -615/4 - s. Are 16 and p equal?
False
Suppose 10*l - 76*l - 48 - 18 = 0. Which is smaller: l or -73/125?
l
Suppose 7*x = -38 - 53. Let o be (x/(-9) - 1)*(-51)/34. Which is greater: o or -0.01?
-0.01
Let i = -4.7 + 5. Let b = 1058 - 1058.28. Let x = b + i. Which is smaller: -3/2 or x?
-3/2
Let i be ((-234)/(-45))/(-13) + (-62)/(-5). Let n be 1/(i/(-8)) - -1. Is n at least 79?
False
Let s be -4 + 2 + 0 + 32. Suppose 12*z = -3*z + s. Suppose -v - 54 = z*b - 6*b, -2*b + 16 = 5*v. Is 12 equal to b?
False
Let y = -114 + 122. Let a be y/16 - 14/6. Let z = 4 + -6. Is a at least z?
True
Let m = -15 - 29. Let p(i) = 10*i**2 + 45*i + 22. Let s(f) = -22*f**2 - 88*f - 45. Let k(z) = -9*p(z) - 4*s(z). Let w be k(-27). Which is bigger: w or m?
m
Suppose -5*y = -4*c - 11 - 9, 5*c + y = 4. Suppose c = -a + 2 + 6. Suppose a*n - 3*n - 27 = b, 4*b = 2*n. Which is greater: 5 or n?
n
Let m = -96.919 + -0.281. Let q = -64.2 - m. Is 7 bigger than q?
False
Let l = -112.62 - 1.38. Let n = 218 + l. Which is greater: n or -1/4?
n
Let y(r) = -r**3 - 16*r**2 + 12*r + 4. Let g be y(-16). Let h be 18/45 - g/(-495). Let a = -3 + 4. Do a and h have the same value?
False
Let d be (-356)/98 - (115/(-69) - (-39)/(-9)). Is 1 less than d?
True
Let h(z) = 19*z + 15. Let a(r) = -17*r - 16. Let b(d) = 4*a(d) + 3*h(d). Let s be b(-9). Which is bigger: 81 or s?
81
Suppose 150 = -2*l - 5*w - 0*w, -6 = w. Which is bigger: -38 or l?
-38
Let t = -23/31 + -769/217. Let b be 1*(2 - -3*6). Suppose 5*k = 2*q - 6*q - 28, -2*q - b = 4*k. Which is smaller: t or k?
t
Let k = 965 + -819. Suppose 16*j = 18*j - 292. Is k <= j?
True
Suppose -71*s - n = -66*s - 147, 0 = 4*s - 4*n - 108. Suppose -4*q = s - 21, -m = 3*q - 41. Which is bigger: 41 or m?
m
Let t(c) = -c**3 + 4*c**2 + 10*c + 9. Let h be t(6). Let x(j) = 2*j**2 + 2*j - 5. Let m be x(h). Let q = m + -36/5. Which is smaller: 1 or q?
q
Let p be (-74*(3 + 0))/((-10)/(-19)). Let j = p - -416. Let t(f) = f**2 + 21*f - 79. Let h be t(-24). Which is bigger: j or h?
j
Let b = -340.84 - -344. Let v = b + -6.16. Is -1 at least as big as v?
True
Let u(n) = -2*n**3 + 10*n**2 - 24*n + 21. Let m be u(10). Is -1214 greater than m?
True
Suppose 4*x - 5177 = -6329. Are -284 and x equal?
False
Suppose -10632*f + 10678*f + 26772 = 0. Which is greater: -594 or f?
f
Let z = -73405/43263 - -2/1881. Is -3 equal to z?
False
Let i(p) = -139*p**2 + 545*p - 2168. Let s be i(4). Is -2212 not equal to s?
False
Let y(j) = -j**3 - 4*j**2 + 4*j + 4. Let d be y(-5). Let u = 27859.3 - 27858. Is d less than u?
False
Let y = -188383/3143 + 36/449. Let v = y + 60. Is -1/32 not equal to v?
True
Let y = -5799 - -5790. Which is bigger: y or -188/21?
-188/21
Let n = -0.10347 + 0.00347. Is n < 2805/23?
True
Let i = -43.42 - -45. Let b = i - -72.42. Let h = 0.158 - -0.842. Is b smaller than h?
False
Let x(m) = m**2 + 8*m - 18. Let u be x(-10). Suppose 12*l = u*l - 1950. Let n be 0 + -1 - (l/(-20) - 3). Is -8 less than n?
True
Suppose 0 = 3*d + 3*c - 15, 0 = d + 5*c - 2*c - 11. Let n be (1/d)/((-50)/(-58700)). Are 586 and n equal?
False
Let b(t) = 5*t + 78. Let y be b(-15). Suppose -v - 3*c = -7, 0*v - 32 = -y*v + 2*c. Let l = 0.1 + -0.2. Is v less than l?
False
Suppose 294002 = 92*a - 330494. Is a <= 6788?
True
Let z(x) = x**3 + 34*x**2 - 339*x + 24. Let n be z(8). Which is smaller: 130/317 or n?
n
Suppose i = 2*u + 163, -749 = 8*i - 13*i - u. Which is bigger: 2552/17 or i?
i
Let r = -1 + 1. Let h be 658/(-2940) - 19/(-95). Which is greater: h or r?
r
Let v = -2.737 + 2.68. Let x = 0.007 + v. Which is smaller: -2/5 or x?
-2/5
Let k = -8475549/433 - -19574. Which is smaller: -1 or k?
-1
Let i = 9831 + -9843. Is 241 at most i?
False
Suppose -5*l = -74 + 42 - 8. Is l greater than or equal to 119/18?
True
Let k be -8802 + 1 + (196 - 206). Does -8811 = k?
True
Suppose g - 17430 = -16*g - 18*g. Suppose -1996 = -3*a - a. Is a <= g?
False
Let z be ((9/(-462))/(-3))/(3/(-54)). Let m = z + 166/2079. Is 0 less than or equal to m?
False
Let l(x) = 2*x**2 + 2. Suppose 9*r + 26 = 7*r. Let y = r + 15. Let o be l(y). Which is bigger: o or 2?
o
Let o be 700/12 + 2/6. Let d be 59/(-4)*(-10 - (-112)/8). Let s = d + o. Which is smaller: 0.1 or s?
s
Suppose 2*k - 8 = -4*i, 14 + 2 = k - i. Suppose -133 = -4*u - r, 0 = 3*u - 2*r - 85 - 12. Let j(c) = c**3 - 33*c**2 - 3*c + 111. Let w be j(u). Is k equal to w?
True
Let l(y) = -3*y**2 - 18*y + 14. Let p be l(5). Let m = p + 152. Which is smaller: m or 1/115?
1/115
Suppose 3*f - 541 = 4*d + 75, 0 = -d + f - 152. Which is bigger: d or -165?
d
Let j = 15.922 + 6520.078. Let x = -6506.976 + j. Let l = -0.024 + x. Which is smaller: l or 0?
0
