 = -0.019 + 0.669. Let v = 21.65 - c. Which is smaller: v or 0.2?
0.2
Let w(k) = -k**3 + 4*k**2 - 3*k + 2. Let h be w(3). Suppose -d = 4*b + d + 34, 0 = h*b - 3*d + 13. Are 1 and b non-equal?
True
Suppose 2*m + 6 = i + 18, -3*m = 2*i + 10. Let o be 2*(4/i - -2). Let y be (-2)/(23 + o)*1. Are y and 0 unequal?
True
Let s = -133 + 180. Let k = 34 - 36. Does s = k?
False
Let j = 34 - 28. Let d = j - -2. Is 6 at least as big as d?
False
Let b be (11 - -3) + (2 - 2). Suppose -2*x + 3*x - 3*z + b = 0, 28 = 3*x + 5*z. Is -2/111 < x?
True
Let r = 0 + 1. Let i = 508/3855 + 2/1285. Which is smaller: i or r?
i
Let h(g) = -35*g**2 + g. Let q be h(-1). Let w be ((-8)/(-12))/((-3)/q). Suppose 7*m - w*m = 0. Are m and 1 nonequal?
True
Let k = 24 + -21. Let u = -2.96 + k. Let i = -2.9 + 3. Which is smaller: u or i?
u
Suppose -2*r - p - 4*p = 1, -5*r = p - 55. Let m be 3/189*(-7)/(140/r). Is 0 at most m?
False
Let r(n) = -2*n**3 - 5*n**2 - 24*n + 12. Let x be r(-6). Are x and 407 non-equal?
True
Let b(s) = s**2 - 6*s - 36. Let d be b(11). Suppose 3*n + 2*n + 2*g - 104 = 0, n + g = d. Does 24 = n?
False
Let j = 72/11 + -338/55. Let c(n) = 5*n + 145. Let s be c(-29). Is j equal to s?
False
Let c be ((-24)/56)/((-9)/6). Which is smaller: c or -8?
-8
Suppose -2*z + 2 = 0, -5*i + 9*i - 228 = 4*z. Is i at least as big as 8?
True
Let y = -2655 + 2656. Let u be ((-6)/(-5))/((-2)/(-5)). Suppose -5*p = u*f + 19, f - 3*f = -3*p - 19. Is f <= y?
False
Let c be (6024/1255)/(2/(-5)). Are c and -121/10 non-equal?
True
Let s = 0.6 + -0.1. Let m = s + -0.5. Let k = -71 + 60. Are k and m equal?
False
Let k = 1.193 + 1.807. Which is smaller: -1.83 or k?
-1.83
Let a be ((-138)/(-1150))/(1/(-1) - -2). Suppose 5*y + 15 = 0, 3*w = 5*y + 21 - 3. Are w and a equal?
False
Suppose 473*x - 100 = 478*x. Which is smaller: 5/9 or x?
x
Suppose -2*g = -3*g + 4. Suppose g*c = 2*c + 4. Let o = -2 - -5. Which is greater: o or c?
o
Let c = -54 + 34. Let i = -15 - c. Which is smaller: i or 0.3?
0.3
Let w be (72/(-6) - -7) + 922/185. Which is greater: w or 2?
2
Let m be ((-6)/(-417))/(26 + -27). Is -1 <= m?
True
Let a = -0.28 - 12.72. Let w = -19 - -3. Let c = w - a. Is 0.1 != c?
True
Let q = 140.35 - 3.35. Let p = q - 152.2. Let d = p - -15. Is d bigger than 0?
False
Suppose l + 21 = 8*l. Let x be (3/l)/(1/3). Suppose -2 = -2*n, -6 = 3*m + n - 16. Is m greater than or equal to x?
True
Suppose -5*n + 28 = 3*u, 2*n = -0*n + 5*u + 5. Suppose -b + n*b = -32. Is -0.2 > b?
True
Suppose 3*p + 9 = -0*a + 2*a, -3*a + 6 = 3*p. Suppose -s - 12 = -0*s - 4*v, 0 = 4*s + v - a. Let h be 2/((2 - 9) + -2). Is h < s?
True
Suppose t + 25 = -2*g - 69, -3*t - 3*g - 276 = 0. Let c = t + 632/7. Let p be (-154)/(-35) + (-8)/2. Which is smaller: p or c?
c
Let h be (2 - 1) + 21/(-4). Suppose -4*g + 4*f + 448 = 0, -86 - 135 = -2*g + 3*f. Suppose 3*s - 103 = -g. Is h <= s?
True
Let x be 0 - -3 - (-2264)/(-32). Let w = 9493/140 + x. Which is smaller: w or 1?
w
Let y be (-1436)/(-284) + (-14 - -9). Which is greater: y or -1?
y
Suppose -428 = -3*y - 434. Let b = 496/3 - 168. Which is smaller: b or y?
b
Suppose 6*t = 2*t. Let y = 0.86 + -4.86. Which is bigger: y or t?
t
Let z(g) = g**2 + 2*g - 1. Suppose 0 = -2*v - 2*v + 8. Suppose 5*r - 23 = p, 4*p - v*r + 2 = -0. Let k be z(p). Is 6 equal to k?
False
Suppose -5*a + 4*a - 3 = 0. Let s = -10 + a. Let z be (-1)/((-5)/s) - -2. Is z < 0.2?
True
Let x = -12 - -12. Suppose -4*l + 304 = -x*l. Let p be (140/l - 2) + 0. Is p less than 1?
True
Let s(d) = -d**3 - 4*d**2 - 10*d - 18. Let m be s(-3). Is 24/11 smaller than m?
True
Suppose -52 = 40*m - 44*m. Which is smaller: 14 or m?
m
Let n = 28 + 436. Is 0.2 < n?
True
Suppose 412 - 160 = -42*l. Which is smaller: l or -4?
l
Let c(q) = q**3 + q - 26. Let k be 2/(-8) - 3/(-12). Let a be c(k). Let y = 22 + a. Are y and -1 unequal?
True
Let s = -1.36 - -10.36. Let i = s + -8.7. Is 4/3 > i?
True
Let b = 18 - 17.9. Are -2/7 and b non-equal?
True
Let b = 21 - 27. Let h be (-285)/(-10)*4/b. Which is smaller: h or -18?
h
Let r be 3*3/9*(25 - 26). Is r at most -8?
False
Let n(y) = -y**3 + y**2 + 2*y - 2. Let m be n(-2). Let h be ((-5)/15)/(2/m). Which is bigger: -1/13 or h?
-1/13
Let y = -1 - -4. Let f(k) = -2*k**2 + 7*k + 1. Let d be f(y). Which is bigger: d or 2?
d
Let d = 374 + -196. Is d not equal to 179?
True
Let n = 186 + -183. Which is bigger: 37 or n?
37
Let b(m) = 57*m - 3*m**3 - 7*m**2 + 4*m**3 - 50*m - 12. Let u be b(6). Let z = 1/3 + u. Which is smaller: -7 or z?
-7
Let u = 8233 - 8231. Let r = 0 + 8. Which is bigger: r or u?
r
Let f = 330 + -326. Which is bigger: f or 16/3?
16/3
Let l(q) = -q**3 + q**2 - q - 2. Let f be l(0). Suppose -4*i + 2817 = 2821. Which is bigger: f or i?
i
Suppose 5*s - 8 = -5*l + 17, 2*l - 5*s = -25. Suppose l = 3*k - j + 6, 0 = -5*k + 5*j - 6 - 4. Let t be 0 - ((-1 - 0) + 1). Is t less than k?
False
Let d(v) = v**3 + 20*v**2 - 155*v + 12. Let q be d(-26). Let y = 21 + -34. Which is smaller: y or q?
q
Let i(x) = 5*x**2 + 4*x + 8. Let q be i(5). Is q at most as big as 0?
False
Let k(j) = j + 9. Let g(h) = -1. Let u(b) = -b - 5. Let a(x) = 5*g(x) + u(x). Let t(o) = 3*a(o) + 4*k(o). Let s be t(-6). Which is bigger: s or 1/2?
1/2
Let j = -377/1860 + 1/372. Which is bigger: 0.1 or j?
0.1
Let i be 7 - -177*(-4)/(-24). Which is smaller: i or 37?
i
Let u = 0 - 2. Let r be u/3*(-27)/(-18). Which is smaller: 0 or r?
r
Let k = 106 - 173. Let j = 66.8 + k. Is j bigger than -0.29?
True
Suppose 4*l + 0*l + f = 7, 0 = -5*l - 5*f - 10. Let p be l/(-18) + 53/336. Is p at least 0?
False
Let u = 874 + -874. Do -4/423 and u have the same value?
False
Let v = -7 - -11. Suppose 4*z - 4*p = -44, -p + 6*p - 44 = v*z. Suppose -34*m = -36*m - c - 25, 4*c + 28 = -2*m. Which is smaller: z or m?
m
Let o = -7.6 + 8. Let f = o + -7.4. Is f smaller than 1?
True
Let h(u) = 7*u + 488. Let q be h(-38). Which is bigger: q or 217?
q
Suppose 5*h = 0, -k - 19 = h - 10. Does -49/5 = k?
False
Let a = 102 - 102. Is -21/16 > a?
False
Suppose 0 = 8*n + 5*n - 3926. Are 605/2 and n equal?
False
Let d = 12 - 13. Let y = 4.4 + -4. Let r = -0.1 - y. Does d = r?
False
Let u be 6 - (4 - (-343)/28). Which is smaller: u or -11?
-11
Let h be -9 - -1 - -9 - (1 + -1). Is h less than or equal to -6/91?
False
Suppose 41 = 2*g - 5*a, -3*g = 4*a - 38 - 58. Let c = -26 + g. Which is bigger: 6 or c?
6
Let q be 3 - (4/(-20) - -2). Let y = -14.6 + 13. Let i = y + 1.8. Is q greater than i?
True
Let a = 286 - 339. Is a bigger than 0.07?
False
Let g = 28 + -10. Let f = g + -16.4. Let n = f - 1.5. Which is smaller: -8 or n?
-8
Let k = 3035 + -3036. Let a = -0.2 - 0.3. Let h = a - 0.1. Which is smaller: k or h?
k
Suppose 4 = b - 3*b + 2*p, -3*b + 2*p = 1. Suppose 0 = -b*n + 4*u - 16 - 0, 3*u - 12 = 2*n. Suppose -4*k + 0*k - 24 = n. Which is greater: k or -5?
-5
Let j(z) = z**2 - 2. Let h be j(-2). Let d be 4 + -1 + (-24)/h. Let o = d - -9. Which is smaller: o or 3/7?
o
Let x(t) = t**3 + 9*t**2 + 7*t + 4. Let l be x(-8). Suppose y - d = -2, l = -4*y + 4*d - d. Suppose -20 = 116*j - 112*j. Which is smaller: y or j?
y
Let q = -16 + 19. Suppose i = q*m + 13, -5*i - 4*m - 3 = -2*m. Suppose -10 = 4*j - 2*v, 10 = 2*j + v + 3*v. Is j > i?
False
Suppose j - 14 = 3*l, 2*j - 5*l = 12 + 11. Let y be (-8)/(-24)*9/(-14). Which is smaller: y or j?
j
Let x = 814 + -761. Which is smaller: 272/5 or x?
x
Let y(o) = o - 3. Let q be y(-2). Let m = 5 + q. Suppose 0*i - 2*i = m. Is -6/13 bigger than i?
False
Let x = 0.96 + -1. Let g = -199 - -205. Which is smaller: x or g?
x
Let x(q) = 2*q**3 + q**2 - q + 2. Let y be x(-2). Which is smaller: -6 or y?
y
Let v be -19 + (-8 - (-9)/3). Let h be 3*(10/v - (-10)/60). Is h < -0.6?
True
Let v = -31 + 46. Let a = v - 13. Which is bigger: -6/5 or a?
a
Suppose -7*z + 101 = 94. Is -1/122 at least as big as z?
False
Let b be (-116)/(-6)*(-14)/(280/(-30)). Is b greater than or equal to 23?
True
Suppose -8*v + 7*v = 0. Suppose 4*r + 2 = -2*f + 5*r, -5*r = v. Suppose -2*l - 15 = 3*l. Is l at most as big as f?
True
Let o be -2 + 2*(-4 + 8). Suppose o = l - 4. Which is smaller: l or 9?
9
Let k = -0.034 + 4.234. Let y = 3.2 - k. Is y at most as big as 5?
True
Let n = -0.8 + 3.6. Let p = n - 1.4. Let k = p - -1.6. Which is smaller: k or -3?
-3
Let s be (-8)/12*27/33. L