maller: s or -3?
-3
Let c(p) = 5*p - 47. Let i be c(10). Let v(o) = o**2 - 4*o + 2. Let z be v(i). Which is smaller: z or 304?
z
Suppose -z - 946 = -5*t, 0*t = -4*t + z + 758. Which is bigger: t or 180?
t
Let f(z) = z**3 - 7*z**2 + 15*z - 18. Let a be f(9). Let q be 12*(-46)/a - -2. Let s be ((-2)/4)/((-8)/16). Which is bigger: q or s?
s
Let r be (9 - 8) + 8 + -2. Suppose -34 + r = -f - 5*z, -40 = -2*f + 4*z. Which is smaller: 18 or f?
18
Let m be (-10)/(-15) + 8/(-3). Let d be 1/(-2)*(-12 + m). Let i(z) = -z**3 + 8*z**2 - 8*z - 5. Let q be i(d). Which is smaller: q or -11?
q
Suppose 0 = -4*y + 3*s - 1186, 5*y - 18*s + 1484 = -15*s. Is y greater than -309?
True
Suppose 30 = 2*q - 2*t - 88, t = -q + 53. Let j be (-4*(-3)/(-126))/((-24)/q). Is 22 bigger than j?
True
Let p be 18/436*(1 + (-41)/(-3)). Let l = 22893/545 - p. Do 40 and l have the same value?
False
Let g be 6114/4*3/(-18). Let d = g - -259. Are 5 and d equal?
False
Let o(z) = -15*z + 90. Let v be o(7). Let a be (-48)/v*-1*(-15)/19. Which is smaller: a or 2?
2
Let u(a) = a**3 - 32*a**2 - 117*a - 527. Let c be u(36). Which is bigger: 442 or c?
c
Let a(v) = 2*v - 4. Let x be a(3). Suppose 0 = -2*d + 2 + x. Let f = 1528 - 12215/8. Which is smaller: f or d?
f
Let u = 14189.69 + -14196. Which is smaller: 1/8 or u?
u
Suppose 2*u + 4*t - 8 = 0, t = 10*u + 6*t + 20. Which is smaller: u or -65/12?
-65/12
Let r = 0.8553 + -0.6353. Which is smaller: r or -3/5?
-3/5
Suppose 5*y - 27 - 33 = -3*i, 3*y = 5*i - 134. Suppose -i*q + 2622 = 44*q. Suppose 3*t - 67 = -4*n + 93, -3*t = 3*n - 123. Which is bigger: n or q?
q
Let v be (-4)/5 - (-1190)/175. Let f(u) = 2*u**2 + 7*u + 15. Let r(y) = y**2 - y + 1. Let o(w) = f(w) - 4*r(w). Let p be o(v). Is p smaller than 0?
False
Let k be 19/7087*6/(-87). Which is bigger: -1 or k?
k
Let g(i) = -2*i**2 - i - 1. Let b be g(5). Let a = -500 + 441. Which is smaller: a or b?
a
Let z(d) = -d - 32. Let j be z(-32). Suppose -2*h = -2*n + n - 32, j = -4*h - 4*n + 88. Which is smaller: h or 1?
1
Suppose -d = -5*h + 725, h + 4*h - 740 = 4*d. Let c = h + -124. Suppose -8*u + c = 28. Is u equal to 2/161?
False
Let a = 494 + -514. Suppose 4 = -4*w + 5*w. Let g = w - 22. Which is smaller: g or a?
a
Let c be 142*((-6)/4 + 1). Suppose 4*a + 2*f - 280 = 0, 28 = -a + f + 101. Let x = c + a. Is 0 <= x?
True
Let z = 291/52 + -76/13. Which is greater: z or 1134?
1134
Let w(c) = -60*c - 2768. Let i be w(-71). Is 1488 < i?
True
Let q be (45/30)/(9/(-276)). Do q and -23 have different values?
True
Let o = -309 - 298. Let k = o - -614. Let g = -1/991 - -39647/6937. Which is greater: g or k?
k
Let a(q) = 4*q - 30. Let n be a(9). Suppose -156 = -4*z + n*z. Let l be ((-52)/z)/((-2)/3). Which is smaller: l or 2/13?
l
Let i(r) = 2*r**3 - 8*r**2 - 12*r + 12. Let m be i(5). Suppose 4*c + 12 = -m*a, 2*a = 3*a + 5*c + 15. Which is smaller: 2/25 or a?
a
Suppose -4*s - 10*s - 7056 = 0. Let k = s + 2512/5. Let x(n) = n + 7. Let h be x(-10). Which is smaller: k or h?
h
Let r = -9.8 + 30.4. Let b = r - 18.6. Which is smaller: b or 42?
b
Suppose -2 = 11*q - 9*q, 0 = 3*z - 4*q + 47. Let x(g) = g - 53. Let t be x(z). Do t and -0.2 have the same value?
False
Let h = 725 - 734.05. Let a = 9.55 + h. Is -13 <= a?
True
Let r = -61 - -55. Let b be 188/45 - r/27. Let p be (-18)/27 - (-17)/3. Do b and p have different values?
True
Suppose 130*s + 2 = -5*m + 129*s, 3*m = -7*s + 18. Is m less than or equal to 0.823?
True
Suppose 0 = 8937*g - 8905*g + 1888. Is 3 != g?
True
Let f(p) = 17 - 8*p - 2 - 3. Let s be f(-14). Suppose -x + 63 = -4*x - 3*q, -4*q + s = -4*x. Is -26 < x?
False
Let m be (-3)/2*450/(-27). Suppose 3*g = 5*g - 2*t - 28, 2*t = -2*g + 12. Let r be 2/g + (-30)/m. Which is bigger: -6/37 or r?
-6/37
Let c(z) be the second derivative of z**3 + 79*z**2/2 - z - 11. Let o be c(-10). Is 15 greater than o?
False
Let s(r) = -r**3 - 7*r + 1. Let c be s(0). Let a = 18447249/2 - 553372531/60. Let i = a - 749. Which is smaller: c or i?
i
Suppose -4216 = 112*o - 155*o - 205*o. Which is smaller: o or 5/2?
5/2
Let c = 2095 + -741. Let q = -1355.009 + c. Let f = q - -0.009. Is 4/7 != f?
True
Suppose -3*s - 74 = 5*y, -2*y + 5*s = -0 + 11. Let i(b) = -13 + b**3 - 2*b + 2*b + 13*b**2 - b. Let v be i(y). Is v <= 0?
True
Let p = -107 - 61. Let m = p + 169. Are m and 2/703 nonequal?
True
Let l = 246.0375 + -0.0375. Let b = l + -243. Which is greater: -1 or b?
b
Let f(h) = h + 5. Let m be f(-6). Let u be -9 + -2 + 5 + (7 - 4). Let p be (-22)/(-60) - m/u. Is p less than or equal to -1?
False
Let a = -5 + -8. Let t(w) = -764*w - 6112. Let m be t(-8). Which is smaller: a or m?
a
Let s = 1.67 - -2.29. Let j = -1.46 + s. Is j != 1/8?
True
Suppose -86*f + 98*f - 2820 = 0. Let m = -228 + f. Is 6 less than m?
True
Let a = -17508591/391 - -44779. Let q = -1 + 2. Is a >= q?
False
Suppose -u - 589 = 2*l - 0*l, l = -u - 293. Which is smaller: l or -297?
-297
Suppose q - 3*g = -277, -3*g = -3*q - 1128 + 273. Let p = 461243 - 461532. Is p less than q?
False
Let p = -30823 - -30820. Suppose -3*i = 5*w - 4, 2*i + 0*w - 4*w = 10. Suppose 0 = i*y + 2*y + 5. Is y smaller than p?
False
Let h = -3091.96656 - 0.03344. Which is bigger: h or 0?
0
Let w = 879 + -879.1. Which is smaller: w or 58.02?
w
Let m = 3821 - 3785.2. Is -0.1 > m?
False
Let p = 1688.1952 + -2.1952. Which is smaller: p or -5?
-5
Let b be (-24)/(-40) - ((-2222)/420)/(-11). Let h = 15.6 + -15.7. Which is smaller: h or b?
h
Suppose 5*m = 55008 + 467772. Let o = m + -989413426/9463. Let q = -19192/1258579 + o. Which is smaller: q or 1?
q
Let v(c) = c**3 - 66*c**2 - 8*c - 44. Let k be v(66). Which is smaller: -566 or k?
k
Let f(y) = 6*y**3 + 4*y**2 + 32*y + 147. Let q be f(-5). Is q < -661?
True
Let q = -289 + 502. Let o = 202.46 - q. Let x = o - 0.46. Which is bigger: 1 or x?
1
Suppose -34 = -27*d - 34. Let t be d/(-2 + 15/(2 + 1)). Is -2/57 bigger than t?
False
Let b be -4 - (-3 + (-1668306)/(-846)). Let t = 1973 + b. Which is smaller: -1 or t?
-1
Let f = -5254420/793 + 6626. Let u(o) = o**3 - 23*o**2 - 21*o - 73. Let w be u(24). Which is smaller: f or w?
w
Let t = 1211 - -7158. Does t = 0?
False
Let c = 66/1129 + -49237/475309. Which is greater: -1 or c?
c
Let o = 230 + -231. Let q be (-11)/o*7/(-4 + 11). Are q and 1/2 unequal?
True
Let i be 22 - ((-22409170)/(-35131))/29. Is i smaller than 0?
False
Let v = 200 - 196. Suppose -o + 5*c = 14, v = -o - c + 8. Is 1/346 <= o?
True
Let p(n) = n**3 - 9*n**2 + 20*n - 20. Let h be p(6). Let m be h/(-18)*(4 - (-119)/(-28)). Are m and -2/17 equal?
False
Let u be (18/21)/(-3) + 116/14. Suppose -m - 3 + u = 0. Suppose -5*n + h = -9, 2*n + m*h = -2*n - 16. Is 4/7 at most n?
True
Let a be -291*10*(-30)/525. Is a less than or equal to 167?
True
Let j be (-1)/(2/(-1820))*(-83)/(-166). Suppose -j*c + 453*c - 182 = 0. Is -90 <= c?
False
Suppose 116*a - 3124 + 13680 = 0. Is -92 smaller than a?
True
Let r(l) = -l**3 + 6*l**2 - 3*l + 9. Let z be r(6). Suppose 0 = 2*j + 5*b - 9, -2*j + b - 2*b = -5. Suppose j*d + 27 = -d. Is d less than or equal to z?
True
Let m(i) = -5041*i - 299. Let t be m(-5). Let z = 34245752/1375 - t. Is z at least 0?
True
Suppose 0 = y - 5*u - 1 - 0, 3 = 3*y - 4*u. Let d be (852/(-96))/(11/42). Let x = d - -137/4. Which is bigger: x or y?
y
Suppose -45*n + 49*n + 124 = 0. Let v = -141 - -111. Let g be (4 - 3)*v*1. Which is smaller: g or n?
n
Let s be 46/14 - 3 - 3636/(-63). Let x be -3 - s/(-18) - 245/9. Which is smaller: x or -1?
x
Let h = 326 - 349. Let d = -24 - h. Let q = 0.4 - 0.3. Which is greater: d or q?
q
Let j be (-32422)/(-688) + (-5)/80*2. Let k be 2/3*141/2. Let n = 94 - k. Is n less than j?
False
Suppose -5*l = -x, 9*l - 4*l - 5*x + 20 = 0. Let n be (l + 2/(-6))/((-2)/(-6)). Suppose 5*w - n*w = 57. Which is bigger: 21 or w?
21
Let q be ((-40)/(-3) + 2)/((-2059)/(-696)). Which is smaller: 6 or q?
q
Suppose -4*d - 3*w = 44, -3*w + w = -5*d - 78. Let m = -8 - d. Let x = -2879/39 - -1029/13. Is m less than x?
False
Let t(x) = -108*x**2 - 866*x - 16. Let h be t(-8). Are -6/1289 and h unequal?
True
Let a(t) = 191*t - 787. Let j be a(7). Is j less than 552?
True
Let z be ((-6156)/24)/(-27)*((-1860)/(-27))/(-5). Are z and -2/7 nonequal?
True
Let g = -1939 + 422703/218. Are -0.4 and g non-equal?
True
Let n = -12201/4 -