/75). Which is smaller: 0 or p?
p
Let p(l) = -13*l - 8. Let m(k) = -9*k - 5. Let d(u) = 7*m(u) - 5*p(u). Let v = -2 - 1. Let j be d(v). Is j at least 2/11?
False
Let y = -3 - -3. Let d(i) = i**3 + 5*i**2 + 5*i + 2. Let n be d(-3). Suppose -12 = 2*c - 4*g, 0*g + 15 = 5*c + n*g. Is c != y?
False
Suppose -71*n = -77*n - 252. Is -43 not equal to n?
True
Let v(t) = 9*t**3 - 5*t**2 - 12*t + 10. Let i be v(4). Which is bigger: 457 or i?
i
Let o be (-6 - -7)/(87/12 - 0). Is o not equal to 0.9?
True
Let z be (-135)/180 - 1/4. Is z at least 8/17?
False
Let f = -1 - -26. Let l = 24 - f. Let d(k) = -4*k + 3. Let n be d(2). Do l and n have the same value?
False
Let c = -120 - -147.2. Let q = 27 - c. Is -0.04 greater than or equal to q?
True
Suppose 0 = 3*b - 3*o + 23 + 13, -b + 4*o = 27. Let v be 5 + (-2 - -1 - 10). Which is smaller: v or b?
b
Let p = 0 + 20. Suppose -5*m + 3*s + 11 + p = 0, 5*m = -4*s + 17. Let q be 0 - (-2 - (m - -1)). Which is smaller: q or 7?
7
Suppose -5*r = 3*t - 15, 0 = 5*r - t + 2 + 3. Suppose x + 20 + 9 = r. Let y = x + 36. Which is bigger: y or 8?
8
Suppose -5*k + 17 = -3. Suppose 3 + 13 = -k*i. Let u be i/(-22) + 1785/(-77). Do -22 and u have different values?
True
Let p be 9/6*2*(-8)/(-12). Suppose 0 = p*j - 1 - 1. Is 8/21 > j?
False
Let o = -0.12 + 0.66. Let g = -0.33 + o. Which is smaller: 0 or g?
0
Suppose -5*s = 4*o - 3, -o + 4 = 4*s - 5. Let u be o + ((-159)/(-9))/(0 - -5). Is 1 < u?
False
Let k be 4 - (-3 + (-340)/8). Which is bigger: 51 or k?
51
Let o = -0.35 - 37.65. Let a = 24 + o. Is a equal to 2?
False
Let g = -120 + 120. Let f = 3/5 - -181/15. Let w = 13 - f. Is g smaller than w?
True
Let o = -5 - -11/2. Let j = 10 + -10. Let i = j + -1/3. Which is smaller: o or i?
i
Let q(t) = -3*t + 6. Let m(c) = -21*c + 42. Let s(i) = -4*m(i) + 27*q(i). Let v be s(2). Is v != -1/34?
True
Let v(f) be the first derivative of f**3 - 3*f**2/2 + f + 4. Let c be v(1). Let z be 1*(-2 - -2)/(-1). Is c <= z?
False
Let a = -288 - -176. Let z = a - -112.19. Is 1 < z?
False
Let u be 0/(0 - (-6 - -4)). Which is smaller: -89 or u?
-89
Let v = 375.1 + -375. Let z be 1 + (-1)/(5/(-2)). Which is greater: z or v?
z
Let g = -25.134 + 25.2. Is g <= 2?
True
Suppose -28 = -5*r + 222. Let h = r - 51. Which is greater: -3 or h?
h
Let t = -100 + 97. Let k be 174/135*3 + t + -1. Let n = -2 + 3. Is n greater than or equal to k?
True
Let o = -37 + 39. Suppose 2*j = -o*j + 4*y - 20, -j + 3 = -3*y. Let t be j/(20/(-5) + 5). Is t < -2?
True
Let i(o) = -o**3 - 8*o**2 - 9*o - 6. Let w be i(-7). Let j be (-2)/(-3) + 13 + -5. Which is smaller: w or j?
w
Let d be 996/(-8)*(-12)/(-18). Let w = d + 49. Is -34 at most w?
True
Let d = 261 - 245. Is 1.8 at most as big as d?
True
Let b(t) = -t**3 + t + 6. Let c be b(0). Suppose -y + v = -0*y - 6, -3*y = -v - 14. Which is smaller: c or y?
y
Let s be 1/(-18)*1548/300. Let y be ((-2)/4)/(400/96). Let x = y - s. Is 0 > x?
False
Let l be 4798/(-6895) - (-4)/10. Let d = -2051 - -404045/197. Let i = d - l. Which is smaller: i or 1?
i
Let c(z) = -z**2 + 9*z + 6. Suppose -5 = 4*u + q, -2*u - 2*u - 4*q = 20. Suppose 0 = -u*f + f - b - 12, -5*b + 10 = 5*f. Let p be c(f). Is p equal to 20?
True
Suppose 5*g + 4*y - 45 = 2*y, 5*y = -25. Is g at least 3/5?
True
Let i = 0.871 - 0.971. Which is smaller: -606 or i?
-606
Let m be (29*1/(-2))/(850/100). Which is bigger: m or -2?
m
Let k = 1244 - 254. Is 990 > k?
False
Let y be (2 + 18/(-4))*(-1356)/105. Is y > 31?
True
Suppose 0*u - 4 = -u. Suppose -3*j = -4*h - 16, -j - h = -5*j + u. Are j and 23 equal?
False
Let j be (-4)/(-30) + (-456)/(-630). Let s be (-7)/(-35) - 18/(-10). Let v be (0/(-5))/(0 + s). Which is smaller: j or v?
v
Let s be 64/48 + (-1)/1. Let k = -0.1 - -0.06. Let i = k + -1.96. Which is greater: i or s?
s
Suppose -4*q + 170 = 2*j, 2*q = -2 + 10. Suppose -2*x = 5*g - 27, -17 = 5*x + 5*g - j. Which is smaller: 8 or x?
8
Suppose h = -4*h - 15. Let q = -48 - -46. Which is greater: q or h?
q
Suppose 3*a - 4*a + 2 = 0. Suppose 0 = a*u - 3*u - 2. Suppose -5*v = 3*o + 9, v + o = -2*o + 3. Which is smaller: v or u?
v
Let b = -74494/89 - -837. Let z = 1035984 - 1198633412/1157. Let o = z - b. Which is bigger: -1 or o?
o
Let m(y) = 26*y**2 + 5*y + 1. Let w be m(-3). Let z be (576/w - 3) + 2/11. Let a = 0.2 + 0. Are a and z non-equal?
True
Let v(g) = g**2 + 6*g + 3. Let b be v(-8). Let x = b - 33. Let l be (-9)/21 - 34/x. Is l at least as big as 9/4?
False
Suppose 19 = 3*h + 4. Suppose h*s - 5 = c, 0 = s - 4*c - 0 - 1. Which is smaller: -2/89 or s?
-2/89
Let i = -0.119 - 0.201. Let o = 0.2 + 0.8. Does i = o?
False
Let w = 247 - 297. Is -50 > w?
False
Let i = 19 + -14.9. Let z = 0.9 + i. Let c = -4.92 + z. Which is greater: c or -2?
c
Let n be 5*-2*1/5. Let j = -246 - -2690/11. Which is greater: n or j?
j
Let c = -40406 - -40405. Let w be (-2 + 0)/(-4)*2. Let y = -1 + w. Which is smaller: c or y?
c
Suppose -2*u = -p - 5, 9 = 4*u + 2*p + 3. Suppose -u*h + 24 = 8. Is -1 greater than h?
False
Let m = 78 - 75. Suppose -5*n - 41 = -3*g, -m*n - 4*g = -n + 32. Which is smaller: n or -13?
-13
Let m = -0.681 - -0.681. Which is smaller: m or 4/279?
m
Let w(d) = -d + 3. Let g be 3*((-1 - 2) + 4). Suppose 5*k - 9 = g*p + 5, k - 2*p = 0. Let z be w(k). Is -1 at most as big as z?
True
Let y = -1 - 2. Let a be y*(-1)/(3/2). Let v be (a + 22/(-10))*-2. Is 0.7 greater than v?
True
Suppose 0 = 10*x - 5*x - 30. Let p be (-6)/(-9) + x/(-9). Suppose 4*i - 37 + 13 = p. Is i > 5?
True
Let c(x) = 7*x**3 + x. Let j be c(-1). Let t = j + 6. Let u be 2*2/44*t. Which is greater: u or -2/7?
u
Suppose -4*t + 18 = -2*g - 38, -5*t - 4*g = -70. Let x = t + -16. Let l be (20/12)/(x/(-6)). Do 3 and l have different values?
True
Let g = 47 + -42. Suppose -g*o + 0*o + 70 = 0. Is 13 equal to o?
False
Let f be (-11)/(-3) - 4/6. Let k be f - 1/(1/(-3)). Suppose -k*j = -2*j + 4. Which is greater: j or -9/7?
j
Let v(z) = -11*z - 3. Let b(n) = 54*n + 16. Let r(d) = -2*b(d) - 11*v(d). Let q be r(-1). Let h = -1599 + 1586. Which is smaller: h or q?
h
Let s(v) = v**3 - 3*v**2 + 3. Let p be s(2). Let o(l) = 2*l**3 - 2*l**2 - 3*l - 2. Let g be o(p). Let z be (-4)/6 + (-8)/g. Which is greater: 1 or z?
z
Suppose -5 = -2*a - 25. Let d be 5 - 2 - (-8 - a). Let p be 5 + -2 - 6/d. Which is smaller: -2 or p?
p
Let g be 8/32 - (-39414)/(-56). Let s = g + 702. Suppose -22*k - 14 = -8*k. Which is bigger: k or s?
k
Let v be (-9)/126 + 446/(-28). Which is greater: v or 2?
2
Let t = 42048/5 + -8383. Let i = -26 + t. Let d = 0.4 + -2.4. Do i and d have the same value?
False
Let w = 2.9 + -2. Let a = 9.1 - 10. Let u = a + w. Do 0.04 and u have the same value?
False
Let b be -1 + -4 + 52/13. Let h be (b + 1)/(2/2). Suppose h = -4*z + 6*z. Is z smaller than 0?
False
Let h be (-1 - 0)*(-10 + 2). Let b(m) = m**3 - 3*m**2 + 8 + m**2 - h*m - m**2 - 3*m**2. Let o be b(7). Which is smaller: o or 4?
o
Suppose 0 = -4*g + g. Let s(f) = -f**3 + f**2 + f + 1. Let z be s(g). Let p be -3 - (2 - 39/7). Which is bigger: p or z?
z
Suppose 290 = 4*i - 34. Let m be 2/18 - 7/i. Which is greater: m or -1?
m
Let q = -2812/5 - -569. Is 2.4 at least q?
False
Let a = 433/5 + -25557/295. Which is smaller: -0.1 or a?
-0.1
Let x be -2 + (-10)/4*84/(-10). Suppose 8*n = x*n + 88. Which is smaller: n or -7?
n
Let v = 0.61 + -0.604. Let f = v - 1.006. Which is bigger: f or -10/3?
f
Let n be 2*(-1 + -1 + 4). Suppose 0 = -3*o - o. Suppose o*z + 15 = -2*z - 5*f, -f - 25 = -4*z. Is z at least as big as n?
True
Let y = 0.039 - -0.007. Let s = 1.546 - y. Which is greater: -1 or s?
s
Let a(z) = -3*z - 1. Let f be a(5). Let r = -91 + 85. Let m be (r/f)/((-3)/2). Which is smaller: 1 or m?
m
Suppose 0*b = -2*w + b - 28, 5*w - b + 67 = 0. Which is greater: w or -14?
w
Let b(p) = 4*p + 17. Let g be b(-6). Let c be -1 + -1 + g/((-476)/160). Is c at least as big as 0.1?
True
Let f be (0 + -3)/(((-9)/880)/(-3)). Which is bigger: f or -879?
-879
Let n = 11.9 + -11.89. Is 9 equal to n?
False
Suppose 0 = -0*h - 4*h - 12. Let q be 1/(5 + (h - 1)). Let y = -104/235 + 2/47. Which is smaller: q or y?
y
Let i be (-3)/((-6)/20) - 0. Let x = -69 + 47. Let v = x - -22. Is v <= i?
True
Let l(m) = 2*m + 14. Let v(a) = 2 + 4 - 2 - 2*a - 7. Let w be v(2). Let o be l(w). Which is smaller: -1.6 or o?
-1.6