se
Let x(b) = 12*b - 183. Let q be x(15). Let s be 600/90 - (-2)/q - 4. Is s at most as big as -2/9?
False
Let q = -77.96 - 108.04. Which is bigger: -15 or q?
-15
Let q be 5 + (84/133 - -2) + 2 + -3. Which is smaller: q or 8?
q
Suppose 2*x + 129 + 7 = 0. Let h = -69 - x. Let d be (6/(-240))/(2/(-12)). Is h < d?
True
Let o(m) = m**3 + 22*m**2 + 19*m + 3. Let q = -304 - -283. Let a be o(q). Suppose 4 = x, 147 = 3*c - x + 4*x. Are c and a non-equal?
False
Let g = 2.3 - 10.5. Let f = -83.5 - -75.27. Let i = f - g. Are i and 0 non-equal?
True
Let b = 4187 + -11846. Do -7661 and b have different values?
True
Let n = -85 + 120. Let z = -1551.96 + 1517. Let a = z + n. Is a greater than 0.1?
False
Let f be 10/(-3)*18/(-90) + 132/(-9). Which is bigger: f or -172?
f
Let a = -1.862 - -1.41. Let o = 0.552 + a. Let z = -0.025 - -0.06. Which is smaller: o or z?
z
Suppose 0 = 29*g - 228 - 816. Suppose -152 = -2*i - g*i. Which is bigger: -1/3 or i?
i
Let x be 10/(-45) + 184/18. Let t be (-290)/12*(-4464)/(-90). Let v = t + 1210. Is x less than or equal to v?
True
Let i be (16 - 2)*15/(-10). Let x = i + 21. Suppose 6*y + 128 - 398 = x. Which is bigger: 44 or y?
y
Let k(i) = 51*i**2 + 38*i - 55. Let v be k(4). Do 913 and v have the same value?
True
Let g(j) = -38*j + 36. Let i be g(-1). Is 50 < i?
True
Let b = -582.3 + -872.7. Is b greater than 2/7?
False
Let s be 28/(-4) - 89/(-15). Let c be ((-2)/(-5))/1 - (-4)/(-10). Is s equal to c?
False
Let d = -31265 - -218857/7. Is d <= -2/18179?
False
Suppose 333*z = 306*z + 135. Which is greater: 4 or z?
z
Suppose -77*q - 201 = 6*q + 131. Let a = -5177 - -77609/15. Are a and q nonequal?
True
Suppose 9 = 3*w - 46*s + 41*s, 2*s - 6 = -2*w. Suppose 3*x = n + 2*x + 1, -2*n + w*x = 5. Let m = 28.9 + -26. Is n smaller than m?
True
Let g = -112/87 + 18/29. Let m = -73 + 78. Suppose 5*f - 1 = -3*i, 3 = -2*f + m*i - 9. Are g and f unequal?
True
Suppose 2*a - 23769 + 74677 = 3*m, 2*m = -4*a + 33928. Let y be m/12780 + (2 - (-20)/(-6)). Which is greater: y or 1?
1
Let s(b) = b**3 - 8*b**2 - 7. Let u be s(8). Let t be 56/u + 4 - (3 + -1). Which is smaller: t or -27?
-27
Let q(h) = 3*h**3 - 5*h**2 - h + 4. Let z be q(4). Let p be z/(-20) + 18/30 - -4. Is -2/141 less than or equal to p?
False
Let p be (-42)/(-98)*21/270. Which is bigger: -256 or p?
p
Suppose 26*p + 30*p = 56. Which is smaller: 2/6693 or p?
2/6693
Suppose -15*p + 16*p = 7*p - 2454. Which is smaller: p or 386?
386
Let f be (-1106)/(-98) + -11 + 12/7. Let r be (-7 + 1)*((-340)/(-8) - f). Do r and -243 have the same value?
True
Let y = -11 + 40. Suppose 3*m = 3*r - 24, r - 14 = 12*m - 14*m. Is m bigger than y?
False
Let b be -6 - (-3 + -1 - (71 - 64)). Which is smaller: b or 135/32?
135/32
Let j be (-7 + 5)*(-1)/2. Suppose -5*v - 51 = -j. Let o = -842 - -835. Is v < o?
True
Let s be -2 + (-268)/(-9) + 4/18. Let w(b) = -s*b + 11*b + 22*b - 1 + b**3 - 4*b**2. Let a be w(2). Is -4/33 != a?
True
Let i = 218 - -51. Suppose 0 = -7*c - i + 1431. Is c at most 163?
False
Let b = 177.9 + -188. Let v = b - -21. Let w = -10.7 + v. Which is bigger: 14 or w?
14
Let r be 3/6*-3*186/(-18). Is r greater than or equal to 14?
True
Let d(q) = -26*q + 150. Let b be d(6). Let p be (-8)/(-20) + b/(-10) + -1. Which is bigger: p or 4/57?
4/57
Suppose 8*u + 25 + 39 = 0. Let m be (0 - (-2 - u))/(-2) - -1. Suppose 2*o - 3*z = 0, o + z = -m*z + 26. Which is bigger: o or 11?
11
Let r = 40.0301 - 0.0301. Let h = -4 + 4.5. Let a = 0.4 - h. Does r = a?
False
Let d(x) = 2028*x + 8215. Let o be d(0). Which is bigger: 8217 or o?
8217
Suppose 922*t = 962*t - 57200. Which is smaller: t or 1429?
1429
Let p be (-750)/450*((2 - 0) + 1). Let r be ((-99)/55)/(1/p). Suppose -36 = -y - 3*y. Are y and r non-equal?
False
Let p = 110 + -75. Suppose -5*o - 30 - p = 0. Let h = 38/77 + -3425/231. Is h smaller than o?
True
Let j = 137 - 132. Suppose j*n = -2*a + 16, -2*n + 2 = -2. Let r = 3035/7 - 431. Which is greater: r or a?
a
Let j(l) = 28*l + 1644. Let w be j(122). Is 5059 greater than w?
False
Let i = 220216/2363595 - 66/713. Let c(s) = -5*s + 9. Let l be c(2). Is l bigger than i?
False
Let r = -876.8 - -873.8. Let v = 0 - -0.3. Is r at most v?
True
Let n be 8/(-10)*25/(-15)*3. Suppose -10*z + n*t - 165 = -5*z, 0 = -4*z - t - 111. Which is smaller: z or -30?
-30
Let v(u) = -u**3 - 19*u**2 + u + 25. Let m be v(-19). Suppose -10 = -m*g + 4*g. Suppose -2*p - 31 = -3*p - 5*y, g*p - 155 = -4*y. Which is smaller: p or 33?
p
Suppose 31*z - 2362 = 33*z - 2*x, -z - 1167 = x. Which is smaller: z or -1171?
z
Let z be ((-56)/20664)/((-2)/9). Is 1 bigger than z?
True
Let q = -3 - -1. Let l(b) = -34*b - 62. Let w be l(-5). Let n be ((18/(-8))/3)/(9/w). Which is greater: q or n?
q
Suppose 429 = -6*l + 69. Let x be 5/(-18)*(-4086)/l. Let u = 71/4 + x. Which is bigger: u or -2?
u
Let a be (-5)/20 - 12/16. Let n be a + 20/16 + 6/(-12). Which is smaller: 1/44 or n?
n
Suppose 6*w + 96 = 12*w. Suppose -2561 = -3*i + w*i. Which is greater: i or -198?
i
Let v = 20161 - 20542. Which is bigger: v or -400?
v
Let u(t) be the first derivative of -4*t**2 - 39*t + 19. Let x be u(-5). Is x less than 1?
False
Let l be (-258840)/11255 - 23/(-1). Which is bigger: l or 1?
1
Let k = -140876 - -589425177/4184. Is k != 0?
True
Let c = 44210/90079 - 105/209. Is c at least as big as 0?
False
Let h = -4518 - -7412. Let p = h + -66572/23. Is 0 at most as big as p?
False
Suppose -52*v = -u - 53*v - 3872, -3*u + 5*v - 11656 = 0. Which is smaller: -3876 or u?
u
Let p be 1980 + (-418)/(-1 - -23). Is 1961 smaller than p?
False
Let f = -7026 - -6288. Which is greater: 0.6 or f?
0.6
Let y = 7579.25 - 7579. Is 1/4 smaller than y?
False
Suppose 4*k = -k. Let l be 220/5 - (6 + -1*2). Suppose 0 = 5*z - 5*f - l, z = 3*z + 5*f + 12. Is z less than k?
False
Let d(c) = 1923*c + 3. Let h be d(-1). Let j = h - -24943/13. Is 0 not equal to j?
True
Let c = 27 + -60. Let a be (-10)/55 + (-600)/c. Suppose 48 - a = -3*d. Which is greater: -4 or d?
-4
Let f = 5033 - 5391. Is -2/3 less than or equal to f?
False
Let m = 134.26 - 137. Let g = 55.74 + m. Which is bigger: g or -3/4?
g
Let r = -237 - -235. Let d be (2/r + 1780/60)*3. Is d at least as big as 86?
True
Let q = -573 - -572. Suppose 0 = 4*l - 2*l + 4. Let j = 16 - l. Which is greater: j or q?
j
Suppose -4*i = 29 + 19. Let o(n) = 88*n - 15. Let k(g) = -75*g + 16. Let r(q) = 7*k(q) + 6*o(q). Let b be r(i). Which is smaller: -1/5 or b?
b
Let y(g) = g**3 + 10*g**2 - 12*g - 4. Let w(h) = -h**3 + 9*h**2 - h - 2. Let q be w(9). Let d be y(q). Is 0.17 smaller than d?
True
Let a = 177 + -176. Let w be -9 + 6 - (-4)/(180/115). Is a >= w?
True
Let p(h) be the third derivative of -h**4/6 - 2*h**3 - 13*h**2. Let r be p(-6). Suppose -3*o = 5*q + r, -q = -5*q - 4*o - 16. Which is bigger: 1/13 or q?
1/13
Suppose -4*f - 4*z - 28 = 0, -5 = 4*f - f - 5*z. Let x(p) = 12*p + 1. Let v(k) = -5*k + 49. Let s(d) = 3*v(d) - 3*x(d). Let j be s(3). Which is greater: j or f?
f
Let z = -832 + 31619/38. Let s be -1*(-5)/(-15)*3. Which is smaller: z or s?
s
Suppose 6*g = 4*g - 6, 4*m = -3*g - 9. Let f be m/(0 - 1) + 21 + -22. Let b(h) = 9*h. Let o be b(-1). Is f <= o?
False
Let m(s) = 20*s - 412. Let o be m(20). Let z be (1 + -4)*(-77)/(-21). Is z not equal to o?
True
Let a = -287 - -81. Let s = -334.4 - a. Let o = -129 - s. Is o bigger than 1/2?
False
Let l(w) = w**2 - 25*w + 70. Let a be l(24). Let n = a + -60. Which is smaller: n or -9?
n
Suppose 28490 = -112*s - 42*s. Which is smaller: s or -176?
s
Let p be 3*(-72737)/(-37485) - 4. Let j = p + -38/21. Is j greater than 1?
False
Let k = 601617/4862 + -1361/11. Let g = k - 4759/663. Which is smaller: -6 or g?
g
Let h = 70803/13 + -5451. Let p be -18*(-1)/(-2 + 7 - 4). Let a be ((-52)/(-12) + -3)/((-4)/p). Which is smaller: a or h?
a
Let a be (1 - 0)/(18/36). Let y = -4 - a. Let q be y/21 + 4/14. Is q at most as big as 3?
True
Let b(z) = z**3 - 13*z**2 - 12*z + 10. Suppose 6 = -3*l, 0*v - 4*v + 82 = 3*l. Let r be ((-4)/1)/(v/(-77)). Let c be b(r). Is c at least as big as 39?
False
Let y be (-6)/(-9)*30 - (-4)/1. Let i be (-2)/y*-6*(2 + 12). Suppose -p + 4 = 3*a - i, 0 = -4*a + p + 17. Which is bigger: a or 23/5?
23/5
Suppose -3*z - 10*l + 39 = -5*l, 24 = z - 2*l. Let v be 4/(-6) - (-984)/z. Are v a