 l = 1.24 - c. Which is smaller: 1/2 or l?
l
Let i(b) = -28*b + 419. Let g be i(16). Suppose 5*n = 2*v + 64, -3*v - 46 = -v + 4*n. Which is greater: v or g?
v
Suppose 39 = x - z, z + 135 - 16 = 3*x. Is 40 < x?
False
Let u(a) = 4*a**2 - 1 - 5*a + a**3 + 2*a**2 + 11. Let x be u(-7). Suppose 6*b + 13 = -23. Is x equal to b?
False
Let h = -1.21 + 2.21. Is h equal to 2/221?
False
Suppose 5*z + 17 - 42 = 0, 3*n = z + 130. Let o be 6/(-15) - 1017/n. Let w = -81 - -58. Is o less than or equal to w?
True
Suppose -3*q - 5487 = 4*w, -3*w = -2*w. Let o = -601739/329 - q. Is o greater than 0?
True
Let f(k) = k**2 + 4*k - 1. Let x(r) = 3*r**2 + 12*r - 3. Let d(t) = -8*f(t) + 3*x(t). Let s be d(-4). Let m be 0*2/(-6) - s. Which is smaller: m or -2?
-2
Suppose -12*i = 4*n - 7*i - 22, 0 = i - 2. Suppose -18*x = -21*x + n. Is 7/9 not equal to x?
True
Let m = 0 - -2. Suppose -m*z + 18 = 4*v, 5*v + 5*z = 12 + 18. Let c(b) = 24*b**3 - 407*b**2 - 20*b + 57. Let f be c(17). Is v > f?
False
Let i(f) be the first derivative of 11*f**3/3 - 3*f**2/2 + 2*f + 11. Let b be i(3). Suppose 0 = -4*h + 20 - b. Which is bigger: h or -17?
-17
Let x = -459 - -460. Which is greater: x or -1/103?
x
Let n = -142 + 143. Is n >= 1/13?
True
Let l(q) = -q - 5. Let d be l(-5). Let h(x) = -x**3 + 4 + 5*x - 4*x - x**2 - 2. Let n be h(d). Is n less than or equal to 2?
True
Let z = 210.9 + -211. Is z at most -214?
False
Let u be (-1 + 1)*(-2)/(-4). Let i = -1 + u. Let s = -574/9 - -64. Which is smaller: i or s?
i
Let v be (-8)/(-2) - 7 - -9. Let b(k) = -v - 2*k + 0 + 1. Let m be b(-8). Is m at least as big as 11?
True
Suppose 0 = -5*f + 7*f - 48. Suppose 38*s - 34*s + f = 0. Does s = -3?
False
Suppose -315 = 5*c - 4*q, 123 + 66 = -3*c - 3*q. Let y = c - -63. Is y at least as big as 3/46?
False
Let o = -16.5 + 2.7. Let x = o - -14. Is x less than -1.9?
False
Let l = 1792 + -1792.3. Which is smaller: l or 79?
l
Let w = -244 - -338. Is w bigger than 94?
False
Let g be 1/12*3 + 892/16. Let a = g + -37. Which is bigger: a or 18?
a
Let s be (-4 + 5)/((-3)/(-15)). Let f(n) = -n**3 + 4*n**2 + 6*n - 5. Let v be f(s). Let m = 131/4 - 33. Which is smaller: v or m?
m
Let i be 34/(-40) + (-6)/(-10). Let j(d) = 4 - 4 + 3 + d. Let b be j(-3). Is i <= b?
True
Let u(n) = -n - 26. Let q be u(-5). Let s be ((-66)/4)/((-6)/(-8)). Do s and q have different values?
True
Let s be (1*27/18)/(3/6). Is s equal to 0?
False
Let m = -2276.9 - -2431. Let s = m + -154. Is s != -17/2?
True
Let r be ((-4)/6)/(1172/(-168) - -7). Is -28 >= r?
True
Let t(x) = x**2 - 3*x. Let z be t(7). Suppose 0 = k + k + z. Let y = -27 - -13. Is k equal to y?
True
Let y be 2/(-7) - 0/5. Let a = -0.38 + -0.22. Let j = -0.65 - a. Is j at most as big as y?
False
Let q = -11 - -10.7. Let c = -153/280 + -3/56. Which is smaller: q or c?
c
Let r(b) be the first derivative of -b**4/4 + 2*b**3 - 3*b**2/2 - 11*b + 22. Let w be r(5). Let o be 3/(-22)*(1 + -3). Which is greater: w or o?
o
Let j(b) = -b**2 + 7*b + 12. Let o be j(8). Suppose -o*m + 2*m = -6. Let i = -1.6 - -5.6. Is m less than i?
True
Let k = -190 + 189. Does -6/49 = k?
False
Let n = -90 + 35. Let u = n - -54. Are u and -2/5 equal?
False
Let r(m) = m**3 + 10*m**2 + 9*m - 18. Let i be r(-8). Suppose 40*s - 14 = i*s. Which is smaller: 6 or s?
6
Suppose 2*o + 0*o + 6 = 0. Let u be (2 - 88/12)*o. Is 16 != u?
False
Suppose -21 = 3*f + 4*a, 16 + 2 = -4*f - 2*a. Is f equal to 5?
False
Let a(b) be the third derivative of -b**4/24 - 5*b**3/6 + 7*b**2. Let l be a(-5). Suppose -12*r + 10*r + 30 = l. Is r at most 14?
False
Let l be 1/7 - 116/28. Let m be 1*(l/(-4))/(-10). Let i = 1 + -1. Is i != m?
True
Let f(u) = -2*u + 12. Let x be f(-14). Let c = -3 - x. Which is smaller: -44 or c?
-44
Let r(p) = p**2 + 13*p + 31. Let f be r(-10). Is 7/18 < f?
True
Let r = 20 + -21. Do r and -8/15 have different values?
True
Let v(n) = -58*n + 1450. Let k be v(25). Let a = -227/4 + 4783/84. Which is bigger: a or k?
a
Suppose -r = -3*l - 808, l - 4*r - 1088 = 5*l. Let v = -7021/26 - l. Is 2 at least v?
True
Suppose -229*f - 210 = -222*f. Which is smaller: f or -216/7?
-216/7
Let i = -26 - -27. Suppose 0 = -0*h - h + i, -5*n - 72 = -2*h. Which is bigger: -71/5 or n?
n
Let l(t) = -15*t**3 - 2*t**2 - 4*t - 1. Let y be l(-2). Which is bigger: y or 121?
121
Let o be (-65)/(-30) - 1/3. Let f = o + -7/3. Which is bigger: f or 1.2?
1.2
Let j be (-2)/(-36)*(-351)/18. Which is smaller: -4 or j?
-4
Let w be (1 + 0)*(-39)/(-533)*-1. Which is smaller: w or 0?
w
Let a be 9/4 - (-25)/(-100). Which is bigger: 3.5 or a?
3.5
Let a(n) = -5*n**2 + n - 13. Let r be a(3). Which is bigger: -48 or r?
-48
Let i be 21 - 3 - (18 + -12). Are i and 9 equal?
False
Let l be (41/(-2))/((-22)/44). Let m(r) = -10*r - 11. Let p be m(-5). Is l at most as big as p?
False
Let c(j) = j**3 + 14*j**2 - 2. Let d be c(-14). Let z be (72/(-16))/(d/4). Is z at least 10?
False
Suppose 0 = -10*u + 346 + 3724. Is 406 < u?
True
Let w = 15 - 11. Suppose -w*y - g - 40 = -2*g, -5*y - 2*g = 50. Let b = 18 - 28. Is b < y?
False
Let s(n) = 2*n**3 - 4*n**2 + 2*n + 2. Let i be s(3). Let a be (-16 + (8 - -3))*(-3 + -1). Let z = i - a. Is -1 greater than z?
False
Let a be -1*(-20)/(-12)*3*15. Is -149/2 != a?
True
Let t be 8/(-28)*(-49)/203. Is 1 at most t?
False
Let o = 0.12 - 2.52. Let l = 5.4 + o. Which is smaller: l or 2/3?
2/3
Let x(o) = 2*o - 4. Let g be x(-2). Let n(k) = -k**2 - 9*k - 5. Let r be n(g). Is 2 smaller than r?
True
Let f = -599 - -607. Let s be ((-18)/5)/((-3)/15). Let b = s - 9. Which is smaller: b or f?
f
Let m be ((-1)/(-6))/(3/4). Let f = 0.649 + -1.349. Are f and m equal?
False
Let p = -4.9 + 24.9. Let r = 19.95 - p. Which is smaller: -1/2 or r?
-1/2
Let l = 671 - 642. Do -0.6 and l have different values?
True
Let q = -1 + 3/2. Let h = 0.004 - -31.996. Let l = h + -34. Which is smaller: l or q?
l
Suppose 2*a - 708 = -14*l + 9*l, -432 = -3*l - 3*a. Is 137 equal to l?
False
Suppose -55 = -5*a + 5*u, 27 - 7 = a + 2*u. Suppose -11*s = 40 - 161. Suppose h + 2*y - 8 = 0, -y - s = -2*h + 15. Which is smaller: a or h?
h
Suppose -6*g + 3*g + 3*n - 9 = 0, -14 = 4*g - 3*n. Let s(r) = -2*r**2 + r - 1. Let z be s(g). Which is greater: z or -1?
-1
Let b = 0.32 + 0.68. Is -514 less than b?
True
Suppose -8*k + 13*k = 0. Suppose 2*q = -6*t + 4*t + 28, q - 2 = k. Which is smaller: -0.1 or t?
-0.1
Let r be 2 - (0/(-2) - (-522 - 0)). Is r at least as big as -521?
True
Let d = -1/365 - 1771/19710. Do -1 and d have the same value?
False
Let r = 37.8 + -64.9. Let a = -27 - r. Is 13 at least as big as a?
True
Suppose 0 = 9*w + 76 - 238. Is w <= 18?
True
Suppose -c + 2 = -2*z - 4, -z - 12 = -5*c. Let x(q) = c - 7*q - q + 5*q. Let y be x(1). Is y less than or equal to 3?
True
Let v = -1682 + 1519. Which is smaller: v or -166?
-166
Let v(i) = 2*i**2 + i - 3. Let z be v(-2). Suppose 2*l = z*l. Suppose 0*h - h - 8 = 3*k, -4*h + 4*k = l. Are 0 and h nonequal?
True
Let d = 19/7 + -43/21. Let f = 31 - 30. Suppose x + 8 = -3*b, x + f = 2*b + 8. Are d and x nonequal?
True
Let c = 136.742 + 0.258. Which is smaller: -2 or c?
-2
Let l be -4 + 0 + -1 + 1. Let i = 21 + -18. Suppose -i*x + 8*x + 18 = -n, 2*n + 6 = 0. Is l at least as big as x?
False
Let q be -87 + -4*(-1)/1. Which is bigger: -87 or q?
q
Suppose 72*k - 65*k = -182. Let m be (k + -2)/((-14)/21). Is m greater than 42?
False
Let v be -1*6/(-10) + (-171)/135. Let q = 0.25 + -0.21. Is v less than q?
True
Suppose 0 = -r + 3*g - 0 + 4, 0 = 3*r + 4*g - 38. Suppose -w - r = -6*w. Suppose -w*q = -a - 0*a - 9, -4*a + 3 = 5*q. Are a and -3 non-equal?
False
Let j(y) = y**3 - 4*y**2 + y. Let k be j(3). Let l be -3 + 3 - (-2)/k. Let o = 0 - -10. Which is bigger: o or l?
o
Let l = 0.302 + -0.502. Let m = -3119821/102 + 30587. Let v = -1/51 + m. Which is smaller: v or l?
l
Let j = 111.5 - 111. Which is greater: -12/11 or j?
j
Suppose -z = -t + 17, 3*t + 33 = 4*z + 106. Which is smaller: -64/3 or z?
z
Let t = -0.982 + 0.94. Let a = t - 0.058. Is -33 greater than or equal to a?
False
Let k be (-415 - -1) + (0 - 45/(-9)). Is k less than or equal to -410?
False
Let q be (-5)/25 - (-5 - 19614/(-30)). Which is greater: q or -648?
-648
Suppose -4*f = i + 1, -2*f + 9 = f + 4*i. Let b be 13/((-364)/40) + (-2)/f. Are 6 and b equal?
False
Let o be