Suppose -2*s = u - 12. Which is bigger: s or 3?
3
Let c = -2194 + 3227. Is 1033 at least c?
True
Suppose 8 = -2*v, -3*v - 51 = 4*j + 105. Let u be (-33)/j*3 - 6/8. Let b be ((-2)/12)/((-2)/9). Which is smaller: u or b?
b
Suppose 7 - 23 = z. Suppose -5*j + 10 = -9*m + 8*m, 0 = -5*m + 3*j - 72. Which is smaller: m or z?
z
Let k be (-10137)/(-651) - (-10)/(-2). Is 11 at least k?
True
Let s be ((180/70)/(-9))/(4/(-14)). Which is smaller: 6/287 or s?
6/287
Suppose 2*l - 8 = -n - 77, 0 = 3*n + 2*l + 187. Is -55 smaller than n?
False
Let i = -833 - -955. Is 1 less than i?
True
Suppose -3*m + 7 = -4*i, m - 15 + 0 = -5*i. Which is smaller: i or 0.003?
0.003
Let k be (-3)/21*90*42/8. Is k greater than -68?
True
Let y(q) = -q**2 + 4*q - 13. Let b be y(0). Let f = b + -7. Which is smaller: -21 or f?
-21
Let k = 28 + -29.7. Let a = -1.72 - k. Which is smaller: 0.4 or a?
a
Let s be (2 - (-26)/(-14))*1135376/46. Let m = s + -3526. Is m not equal to 1?
True
Let a = -17/3 + 6661/1176. Which is smaller: 1 or a?
a
Let m(g) be the second derivative of g**4/12 - 2*g**3/3 + g**2 + 4*g. Let d be m(4). Suppose -5*i = -d*j - 9, 2*j - 3*j - i = 1. Is j < -3?
False
Let i be ((-73)/(-12))/1 + (-1122)/748. Is 0 bigger than i?
False
Let q be (-67)/(-335) + (-34)/70. Let h(u) = 7*u + 8. Let d be h(6). Let j be (-45)/d*4/3. Are j and q nonequal?
True
Let w = 848 + -263. Is w greater than or equal to 584?
True
Let n be -8 - -32764*1/4096. Are n and 1 nonequal?
True
Suppose 0 = -6*w - w. Suppose w = -12*d - 32 + 8. Is d <= -9/10?
True
Let b be 185/(-296)*6/(-5). Do b and 10/3 have different values?
True
Suppose -8*r = -4*r - 12. Suppose -4*b + 65 = -v, -r + 35 = b + 5*v. Suppose b*y = 20*y - 6. Which is greater: -9 or y?
y
Let l = -1.55 - 0.05. Suppose 3*n - n - 2*t = -2, -3*n + 21 = 5*t. Let x be -1 + 7/n - 2. Which is smaller: l or x?
l
Let a be (-267)/(-9) - 4/6. Suppose -h + a = -3*x, -2*x - 4*h - 12 = 2*x. Let c(m) = -m**2 - 3*m + 2. Let o be c(2). Is o != x?
False
Let m(c) = c + 1. Let o be m(0). Let d be (-2544)/6410 + 16/40. Let v = -1264/5769 - d. Is o at least as big as v?
True
Suppose 40 - 12 = 2*p. Let c be ((-1)/p)/(2/4). Let k(b) = 4*b**2 - 41*b + 9. Let y be k(10). Is c smaller than y?
False
Let w = 6727/8 + -854. Do w and -14 have different values?
True
Let h = -176 - -143. Which is bigger: -3 or h?
-3
Let p be 1 + 116/(-6)*6/(-4). Let f = p + -26. Let g(y) = -y**3 + 4*y**2 + 5. Let v be g(4). Which is smaller: v or f?
f
Let o be (-4)/22*1 + (-23496)/(-134552). Are o and 0 non-equal?
True
Let j = -25 - -22. Which is bigger: -30/19 or j?
-30/19
Suppose 3*u + 3 = 0, 7*y + 4*u + 24 = 3*y. Suppose -8*t + 116 = -76. Suppose 4*h + 0*h = -t. Is h smaller than y?
True
Let h = -1 + 0. Let w(f) = -53*f + 1082. Let a be w(22). Which is greater: a or h?
h
Let m(t) = t**3 - 7*t**2 - 9*t + 8. Suppose -2*w = -0*w. Suppose 3*i - 33 + 9 = w. Let y be m(i). Which is smaller: -2/29 or y?
-2/29
Let o be (2/4)/((-1)/(-22)). Suppose 0 = 2*h - 3 - o. Let l be (-5)/3*((-742)/70 + 7). Which is smaller: l or h?
l
Let a(i) = -i**3 - 7*i**2 + 24*i + 91. Let w be a(-8). Is w bigger than -37?
False
Let l be (-3 - -11)*2/4. Suppose l*f = -f - 5. Is -7/5 less than f?
True
Let u = -16 - -29. Suppose -3*y = 4*a + 12, -5*y = -4*a + u + 7. Suppose 5*b + 4*l - 3 = a, -2*b - l + 0*l = 0. Which is greater: 1/4 or b?
1/4
Let o(x) = -2*x**2 + 14*x + 1. Let s be o(5). Let w be (-1)/s - (-1)/3. Which is greater: w or 1?
1
Let r(i) = -5*i**2 + 6*i - 6. Let f be r(3). Let q = 22 + -56. Which is smaller: q or f?
q
Suppose -2*l - 34 = 3*l + b, 46 = -5*l - 4*b. Let d(i) = -4*i + 1. Let x be d(l). Let n = x + -277/11. Is n at least 0?
False
Let o = 95257/29 + -3287. Is o smaller than -1?
True
Suppose 3*h + 2*y = -14, -h - y - y - 2 = 0. Let a be 24/11 - (-12)/h. Let p = 16/33 + a. Which is smaller: 1 or p?
p
Let o = -7.82 - -8. Let w = o + -0.29. Let m = w + 0.51. Does m = -1/6?
False
Suppose -4*c + 86 = -14. Suppose 5*y - 25 = 3*i, 3*y = 8*y + 5*i - c. Does y = 6?
False
Let y be (-4)/10*10/14. Let m(d) = 4*d - 7. Let r be m(3). Suppose r*a - 2*q + 2 = 0, 4*a - 3*q = -4 + 1. Is y != a?
True
Let l = 77 - 367. Is l < -289?
True
Suppose -3*o - 2*u - 16 = 0, 5*o - 3*u = -2 - 12. Let f be -1 + -3 + o/(-1). Let r = -30 + 30. Is r bigger than f?
False
Let l = 4.972 - -0.128. Let p = l + -5. Is p <= 4/9?
True
Suppose 2*r + 2*p + 12 = 0, 166 = -4*p + 158. Are r and -26 non-equal?
True
Suppose -5*g + 200 = 5*z, -z = -5*g + 2*z + 168. Let p = g - 467/13. Let n(k) = -3*k + 46. Let w be n(15). Is p > w?
False
Let z(g) = -5*g**3 + 6*g**2 + 2. Let l(q) = -6*q**3 + 7*q**2 - q + 3. Let v(k) = -4*l(k) + 5*z(k). Let p be v(3). Which is bigger: 0 or p?
p
Let l be (-1064)/(-6699) + (-10)/55. Let g be (18/(-15) + 1)*-5. Is g less than l?
False
Suppose 5 = 3*c + 4*r - 2, -4*r = c - 5. Let z be c/((-3*1)/3). Let l be 24/(-18)*(18/20)/(-3). Are l and z equal?
False
Suppose -3*k - 28 = -17*k. Let v be (-2174)/120 - 1/4. Let m = v + 121/6. Which is smaller: m or k?
m
Let u(q) = q - 2. Let j = 4 + -8. Let d be u(j). Let n = 1.1 - 1. Which is bigger: d or n?
n
Let y = 3/26 + -41/130. Suppose 12 = 3*z + 3*l - 7*l, 5*l + 4 = z. Let b be ((-3)/21)/(z/14). Is y < b?
False
Let a = -47.8 + 54. Let o = -7.85 + a. Let b = o - 0.35. Which is greater: b or 9?
9
Let b be (((4/(-1))/(-8))/(-2))/1. Let o = -2.7 + 3. Let w = o + -0.1. Do w and b have the same value?
False
Let s = 356 + -356. Is s bigger than -18/13?
True
Let l(c) = 239*c + 110. Let n be l(-5). Is n less than or equal to -1085?
True
Let p = 43 - 38. Let n(t) = -2*t**3 + 10*t**2 + t + 20. Let l be n(p). Is l at most 24?
False
Let z = -170 - -117. Which is smaller: z or -51?
z
Let c = 75 + -18. Let f = 58 - c. Is f less than -0.37?
False
Let o be (91/(-21) + 5)/((-2)/12). Let a(k) = -k**3 + 9*k**2 + 3*k - 7. Let n be a(9). Suppose 4*d = -s - 9 - 12, -3*d - n = 5*s. Which is bigger: d or o?
o
Let t(d) = d**2 + 3*d + 2. Let y be t(-5). Let w = y - 13. Are -1 and w equal?
True
Let p be 0/(-7) + (0 - 100). Let b be 6/5*p/15. Let c be (1/9)/(b/(-48)). Are c and 2 equal?
False
Let p = 17.27 - 12.27. Let n = -3.86 + 4. Which is greater: p or n?
p
Let v be (2 + -1)/1 + 0. Suppose 3 - v = -f. Which is bigger: f or -11?
f
Let b(v) = -v + 1. Let y be b(-1). Let h be (4/(-8))/(y/(-4)). Suppose 3*c = -4*w + 5, 2*c - 3*w = h - 9. Is c < -2/11?
True
Suppose -67 = -5*b - l - 3, 4*l = b + 4. Is 53/4 != b?
True
Suppose 8*l - 15 = 3*l. Suppose -5*u - 14 = -4*u - 5*s, -22 = l*u - 5*s. Are u and -7 non-equal?
True
Let n = -3.97 + 4. Let f = -6 + 5.93. Let p = f - n. Which is bigger: 0.2 or p?
0.2
Let w(z) = 4*z - 461. Let s be w(-8). Do -493 and s have the same value?
True
Let h = 81 + -890/11. Is h not equal to 0.05?
True
Let z = -0.088 + 0.788. Let w be (-1)/(-1)*-2*4. Let i be w/(-28) + 2/(-7). Do i and z have different values?
True
Let z = 0.38 + 24.62. Let m = z - 29. Does m = 1/7?
False
Let r = -3 - -1.87. Let w = r - -51.13. Which is greater: w or -2?
w
Let x(r) be the first derivative of -r**3/3 + 5*r**2/2 - 2*r + 1. Let y be x(3). Let n be 128/174 - y/6. Is n <= 1?
True
Let t = -27 + 31. Let r be 4/(-20) + 18/(-10). Let o be (t/(-24))/(r/(-8)). Which is smaller: o or -1?
-1
Let j(r) = r + 3. Let a be j(-6). Let q(f) = -5*f - 16. Let i be q(a). Let s be 15/(-28) + 2/8. Is s greater than i?
True
Let d be (30/20)/(3*(-1)/4). Which is smaller: d or 258?
d
Suppose 2*i - u = 17, -2*u + 14 = 4*i - 8. Let x = 8 - 4. Do x and i have the same value?
False
Let q(y) = -y - 10. Let s(o) = 3*o. Let x be s(-4). Let f be q(x). Which is bigger: -0.01 or f?
f
Suppose 0 = 5*n - 2 - 23. Suppose 134 = -n*b + 134. Let f = 1/3 + 0. Is f less than b?
False
Let h = 924 + -924.05. Is h >= -1/24?
False
Let p(h) = h**2 - 4*h - 11. Let l be p(6). Let o be l/(-4 + (2 - -1)). Let x(j) = -2*j**2 - 2*j + 2. Let w be x(-2). Which is greater: w or o?
o
Let w be -2 + (-60)/(-112)*(-25235)/(-40). Let a = 336 - w. Let j = -2 - -1. Is j at least as big as a?
False
Let v be -2*(-120)/80*92/6. Which is greater: 25 or v?
v
Suppose -4*w + 5*v + 19 = -9, 0 = -4*w - v + 4. Let b = w + -3. Let q = -15/29 + 341/435. Which is greater: q or b?
q
Let u = 95 - 43. Let l = -47486 + 47486.1. Is l greater than or equal to u?
False
Suppose -46 = -3