 -3*b - 51. Is -10 < s?
False
Let f(q) = -177*q + 176. Let o be f(1). Is -15/332 at most o?
False
Suppose -136 = 5*y - y. Let i = 38 + y. Suppose -4*f = -i*x - 56, f = -3*x + 13 - 51. Which is bigger: x or -14?
x
Suppose 4449 = 5*t - 4*w, 16*w - 13*w - 2691 = -3*t. Which is greater: t or 894?
894
Let q(u) = -u**3 + 14*u**2 + 16*u - 12. Suppose v + 0 - 15 = 0. Let h be q(v). Suppose 4*c - 31 = o, 0 = -c + h*c + 3*o - 33. Which is greater: c or 0?
c
Let k(j) = -j**3 - 4*j**2 + 9*j + 12. Let r be k(-5). Let x be (-16)/80 + r/(-10). Which is smaller: 0 or x?
0
Let c = -8 + 7. Let q(n) = -n - 2. Let a be q(c). Let m = 60 - 60. Is m less than a?
False
Let a be 2/(-2) - 62/(-64). Let d be -3 + (-2)/1280*-1772. Let t = d - a. Is 1 at least t?
True
Let c(g) = -g. Suppose 29 = 4*v + v + 3*p, -5*p + 31 = 4*v. Let a be 42/(-24) - 1/v. Let i be c(a). Do 2 and i have the same value?
True
Let d = -528 - -1583/3. Which is greater: -6/7 or d?
d
Suppose 0 = 69*b - 66*b - 48. Let i(w) = -2*w + 1. Let d be i(-2). Suppose b = d*f + 1. Which is greater: -1/2 or f?
f
Suppose 2*w + 150 + 6 = 0. Let l be 30/(-26) + (-12)/w. Let f be l*(-2)/(-2 + 4). Which is smaller: f or -1/16?
-1/16
Let g be (-20)/(-15) - 12/9. Let z be (-2)/1 - (-110)/65. Are g and z equal?
False
Let u = 29.647 + -0.647. Is -9 less than u?
True
Let b = -11.532 + -0.468. Which is bigger: 2/3 or b?
2/3
Let f = -33 + 35. Is f != 0.054?
True
Suppose n - 9*l + 4*l + 29 = 0, 0 = n - 3*l + 23. Let s = n + -11. Is s != -24?
True
Let v = 0.22 - -0.01. Let h = -0.13 + v. Are 2/21 and h nonequal?
True
Let u be (2/4)/((-25)/(-8546)). Let x = 171 - u. Suppose 0 = 5*q - 11*q. Which is smaller: x or q?
q
Let d = -109 + 2615/24. Is -0.1 at most as big as d?
True
Let f = -0.317 - -0.217. Which is smaller: f or 363?
f
Let l be (-2)/32 - (-5539)/(-464). Suppose o + 33 = -2*o. Which is bigger: o or l?
o
Let s = 0.7 + 7.3. Let t = -21 + s. Let f = t + 12. Is f <= -1?
True
Let r(w) = -w**3 - 6*w**2 - 7*w - 10. Let b be r(-5). Suppose 5*x + 0*x = b. Let q = x - 1. Is q > -2/5?
False
Let o(j) = -120*j - 940. Let d be o(-8). Which is smaller: -1/2 or d?
-1/2
Let c = 23.68 + -23.58. Is -0.0576 less than c?
True
Suppose -375 = 6*s - s. Let b(i) = -4*i**2 + 31*i + 198. Let o be b(13). Is o at least s?
True
Let z = -21 - -12. Let w be (4/(-6))/(2/z). Suppose -2*m + 7*m - 20 = 0. Which is bigger: m or w?
m
Let x(j) = -j**3 + 32*j**2 + 2*j - 65. Let c be x(32). Which is smaller: -3/865 or c?
c
Suppose 128*m + 30 = 126*m. Let h be m/(-24) + 1/(-4). Let v(s) = -s - 2. Let c be v(-2). Is h bigger than c?
True
Let l(b) = -2*b + 15. Let v be l(6). Let o be (18/(-45))/(v/((-30)/8)). Let y = -0.1 - -0.3. Is o at least y?
True
Let b = 4042619/1388655 + -2/30859. Let w = b - 25/9. Is -2/5 at most w?
True
Let x = 0.1346 - 183.1346. Are x and -1/4 non-equal?
True
Let v(t) = t**2 - 4*t. Let o(b) = 8*b - 9*b + 2 - 1. Let g(a) = 2*o(a) + v(a). Let z be g(4). Which is bigger: -2 or z?
-2
Let u = 6 + -6.3. Suppose -9*c + 16 = -173. Let n = c + -15. Which is smaller: u or n?
u
Let r be 3 + -5 + (-24)/(-11). Suppose 0 = 5*d + 4*l + 25, 11 = d - 5*l - 13. Is r < d?
False
Suppose -4*m = -3*t - 85, 5*m = 2*t - 0*t + 108. Which is greater: m or 9?
m
Suppose 13 - 27 = -14*s. Let o = -15 - -27. Which is greater: s or o?
o
Let c = -3654/5 - -733. Which is smaller: c or 1?
1
Let m(x) = -x - 15. Let n be m(-17). Suppose n*b = 7*b - 215. Is 45 less than b?
False
Let x be (-2231504)/(-4557) + 1/3. Let s = 490 - x. Which is smaller: s or 0.1?
s
Let h(q) = q**3 - 9*q**2 + 7*q + 4. Let b be h(8). Let s be (-5*b/20)/47. Which is smaller: s or 0?
0
Let q be (-3)/(12/4)*12. Which is smaller: -11 or q?
q
Let z = -23.27 - -23.5. Is z > -5?
True
Let t be ((-58)/14 - 18/(-126)) + 41. Let m(f) = -f**2 - 5*f - 4. Let k be m(-1). Which is greater: t or k?
t
Let w be ((-216)/15)/(7/165). Let o = -340 - w. Which is smaller: o or -1?
-1
Let l = -8733 - -61133/7. Let m = -2 + 3. Is l smaller than m?
True
Suppose -5*i - 7 = -22. Suppose 2*s - 1 + i = 0. Let k be (-2)/3 - 16/12. Is s greater than or equal to k?
True
Let v = 130690304/45 + -2903736. Let f = v - 493. Which is smaller: f or 1?
f
Let i = -0.068 - -17.568. Let y = i - 0.5. Let h = 15 - y. Is -7 != h?
True
Let d be (200/260)/(-1 + 2). Is -2/5 at most as big as d?
True
Let b(d) be the third derivative of -d**5/20 - 8*d**2. Let z be b(1). Is z greater than -5?
True
Suppose 2*q + 0 = 4. Let i(r) = r**3 - 2*r**2 + r - 1. Let p be i(q). Which is greater: p or 3/31?
p
Let k = 13.09 - 13. Let t = -0.08 + 0.28. Let o = t - k. Is o != -2/7?
True
Suppose 0 = -2*b + 5*s - 24 - 14, -3*b = -2*s + 35. Suppose 3*k = -12, -3*k = 4*t - 5 - 51. Let g = 9 - t. Which is smaller: b or g?
b
Let m = 7.1 + -44.2. Let a = m - -37. Which is bigger: a or -12.2?
a
Let m = 289241/201 + -1439. Which is smaller: -1 or m?
-1
Suppose -5 = -b, -3*v + 2 = -98*b + 99*b. Is v less than -3/5?
True
Let f be 3 + 1/((-5)/(-5)). Suppose c = f*c - 75. Are 25 and c nonequal?
False
Let v be (-1)/((-1)/(-3)*-1). Suppose -22 - 11 = -3*y. Suppose 0 = 3*m - 3*f + 2*f + 13, v*f + y = -m. Which is bigger: m or -4?
-4
Suppose -4*u - 5 = 3*l, u = -l - l. Let x = 6/29 - -272/87. Let o = x - 83/24. Is o <= l?
True
Let u be (5/2)/(55/132). Suppose -2*j - 9 = -5*j. Suppose -105 = -u*o + j. Is 19 greater than or equal to o?
True
Let u(q) = 3*q**2 - 22*q + 6. Let v be u(7). Let x be (-10)/((-130)/(-7)) + (0 - v). Let p be (-10)/(-6) + (-2)/3. Which is greater: x or p?
p
Let n(v) = -v**2 + 12*v + 34. Let g be n(15). Let x(p) = -7*p - 78. Let o be x(g). Is -7/8 at least o?
True
Let x(a) = 6*a - 1. Let p be x(1). Suppose 9 = -p*z + 24. Suppose -z*y - 3 = 3. Are y and -2 equal?
True
Let r be -2 - 3/(-72) - -2. Let k = 247 - 248. Is r <= k?
False
Let d be 8/7 + 3/(-21). Suppose -2*v - u = -1, 4*v + 3*u + 2 = d. Suppose 3*b + v = 2*k + 15, -4*k + 2*b = 38. Do -11 and k have the same value?
True
Suppose 0 = -19*s + 17*s - 10, 4*s = 2*a + 808. Is a smaller than -415?
False
Let b = -60 + 54. Let x be ((-4)/(-48))/(2/b). Which is smaller: x or -1?
-1
Let i = 280 + -279. Which is smaller: -25 or i?
-25
Let z be -4 + (-1)/(18/(-76)). Which is smaller: 3/4 or z?
z
Let w be (3 + 2572/264)*3. Let a = 179/11 + w. Let c = -3593/66 + a. Which is smaller: 0 or c?
0
Let c(o) = -o**3 + 10*o**2 + 33*o + 22. Let p be c(11). Is 264 bigger than p?
False
Let t = -4 + 8. Suppose t*i - 2*u + 52 = -6*u, -u = -2*i - 26. Which is smaller: i or -12?
i
Suppose -10*l = -11*l + 5*i - 54, 0 = 2*i - 10. Are -195/7 and l nonequal?
True
Suppose 5*x + 22 - 7 = 0. Suppose -4*z = -2 - 6. Let u = z + x. Which is bigger: -1/5 or u?
-1/5
Let z = -38 + 43. Suppose 5*s = 2*o - 60, -z*s - 2*o + 0*o = 80. Which is greater: s or -74/5?
s
Suppose 4*s + 0*s - 8 = 0. Suppose q + q = -s. Let f be -3 + (1/(-1))/q. Is 0 greater than or equal to f?
True
Let w(i) = -i - 5. Let l be w(-5). Suppose -r - 6 = -l*r. Let n = 12 + r. Is n at least as big as 4?
True
Let l = 1418 + -1441. Let x(h) = -h**2 - 3*h + 4. Let r be x(-7). Is r <= l?
True
Let w(j) = j**2 - 4*j + 5. Let f be w(3). Let a be 192/18 + f/(-3). Suppose -p + 7 + 3 = 0. Is p bigger than a?
False
Suppose -5*r = -r - 2*v - 14, 0 = -2*r + 3*v + 9. Is r bigger than 82/23?
False
Let j = -3049/1785 - -26/15. Which is greater: -1 or j?
j
Let y = -5 + 4. Let d be (9 + (-18)/3)*20/(-6). Which is smaller: d or y?
d
Suppose 0 = -b + 4*n + 35, b + n - 9 = 1. Which is bigger: 6 or b?
b
Let v = 195 - 315. Is v at least as big as -120?
True
Suppose 95*i - 89*i = 654. Is 108 less than i?
True
Let c = 17 + -9. Let t(s) = 0*s**2 + s**2 - 11 - 3*s - 3*s. Let l be t(c). Which is smaller: -2 or l?
-2
Let y(u) = -2*u**3 + 10*u**2 + 7*u + 1. Let w be y(-6). Is 751 != w?
False
Suppose c - 5 = 3*w, 6 = 3*c - 2*w - 16. Let r be 3/12*c*2/(-14). Is r <= 21?
True
Let p be (2 - 2)/1 - 3. Let f = p + 5. Suppose c + 16 = 4*u, 4*c - 7 - 1 = -f*u. Is -1/7 > c?
False
Suppose -13*k = -7*k - 36. Suppose -4 = -k*w - 4. Which is smaller: w or -3?
-3
Let k = 261.1 - 3.1. Which is bigger: 0 or k?
k
Let l(w) = -207*w**2 + 4*w + 3. Let x be l(-2). Let i = x + 10835/13. Let n(k) = 2*k - 16. Let c be n(8). Is c at most as big as i?
True
Let w be (-3 + 4)*(-104 - -1). Let a = -513/5 - w. Let m = -1947/8 - -243.