d = 1 + -2. Which is smaller: z or d?
d
Let h be (0/2)/(-1 + 2). Let c be ((-8)/(-6)*3/10)/(-8). Let x = c - 77/60. Is h less than x?
False
Let c be (5/50*8)/(6/15). Suppose 2*p - 5*p = -3. Let k = c - p. Do 0 and k have the same value?
False
Let z = 287 - 268.9. Let q = 17 - z. Let a = -4 - -3.9. Is a >= q?
True
Let k be 28442*1/(-48) - 6/(-9). Let h = k + 589. Which is smaller: h or -3?
-3
Let s = 0.11 - -7.89. Let c = -11.74 - -0.74. Let r = c + s. Which is greater: r or -2?
-2
Suppose 89*n = 92*n. Let o(s) = 2*s + 4. Let j be o(-4). Let m = 5 + j. Which is bigger: n or m?
m
Suppose -18 = 18*n + 18. Which is greater: -15/26 or n?
-15/26
Suppose 4*z + 3*k + 2 + 2 = 0, -12 = -3*k. Suppose -5*c + 5*h = 2*h - 17, -2*h = -c + 9. Suppose b - 1 = -4*t, -b + 2*t + 0 + c = 0. Which is bigger: b or z?
b
Let i = 95/294 - 1/3. Which is smaller: i or 1?
i
Let q = -4 - -5. Let v = -20/37 - -311/370. Is v less than q?
True
Let m be 3/7 + 128/28. Suppose 3*w - o = 3*o + 7, 0 = -5*w + m*o + 15. Suppose 0 = -p + 2*u + 6, w*p + 2 = p - 5*u. Is 8/7 at least as big as p?
False
Suppose -4*d + n = 24, -n + 4*n = -d + 7. Let t(b) = 5*b + 14. Let c(r) = 3*r + 9. Let i(o) = 8*c(o) - 5*t(o). Let l be i(d). Which is bigger: l or 1?
l
Let k be (-14 - -19)*37/1. Is 185 smaller than k?
False
Let l be 6/(-2)*5*-1. Let g = 119 + -125. Let j be 2 - g/l*-3. Which is smaller: j or 1?
j
Let s(t) = 9*t + 2. Let x(h) = 5*h + 1. Let n(k) = -6*s(k) + 11*x(k). Let l be n(-1). Suppose -i + 2 = 4. Is i at least as big as l?
True
Let f = 38 - 24. Let l = 14.1 - f. Is l less than -0.07?
False
Let n be (-2 - (-476)/(-7))/((-2)/3). Which is bigger: 419/4 or n?
n
Let o = 7 - 22/3. Let w = -22 + -38. Let a = -54 - w. Is a smaller than o?
False
Let m be (1/(-3))/(1/(-27)). Let j be (-9)/21*(-6)/m. Let y = -0.92 - -1.03. Which is smaller: y or j?
y
Let u = 100984/55 - 1836. Let w = -14/55 + u. Which is bigger: w or 2?
2
Let m be -1 + ((-68)/(-24) - 2). Let o = 0.18 + 24.82. Let n = -25.07 + o. Is n at most as big as m?
False
Let z = -91.6 + 90. Let s = -1.8 + 0.2. Let n = s - z. Do n and 10 have the same value?
False
Let x = -14.9 - -16. Let d = x + -1.44. Let k = 0.04 + d. Is 3/5 < k?
False
Let c = 119 + -68. Let x = -50.06 + c. Let p = 0.06 + x. Which is smaller: p or 0.4?
0.4
Suppose -m - 54 = -a - 56, -10 = 5*a. Which is smaller: m or -5/96?
-5/96
Suppose 4*x - 2*x = -3*v - 219, -x = 2*v + 109. Which is bigger: x or -112?
x
Let s(x) = 2*x**2 - 18*x + 11. Suppose l + 3*l = 3*w - 21, -2*w = -4*l - 14. Let v be s(w). Which is bigger: -18 or v?
v
Let c = 29 - 26. Suppose c*i = i + 2. Does i = 2/71?
False
Let d = -770 + 771. Is d less than or equal to -1/5?
False
Let m = -6 + 7. Let f = 3608/5 + -722. Which is greater: m or f?
m
Let c = -560 - -3901/7. Do -3 and c have different values?
True
Let d be (-4)/(-1)*(-7 - (-156)/16). Suppose -24 - 41 = -5*s. Is s > d?
True
Let y = 5 + -4. Let s be 2 + y + (-17 - 1). Suppose -6*i - 16 = -5*i. Is s smaller than i?
False
Suppose 0 = 5*p + 825 - 35. Which is smaller: p or -159?
-159
Let g(s) = -2*s**3 - 6*s**2 + 6*s + 6. Let d be g(-3). Which is smaller: d or -5?
d
Let a = -555 + 558. Which is smaller: a or 30/7?
a
Let n be (-4)/(-66) + (-4290)/(-1089). Which is smaller: 134/39 or n?
134/39
Let k = 21/41 - -384/451. Are k and 1 unequal?
True
Suppose -70 = 28*i - 33*i. Which is bigger: 11 or i?
i
Let q = 3 - 3.15. Let l = -0.26049 + -0.03951. Which is bigger: l or q?
q
Let w = 47 + -48. Let a be 4 + -2 - (-1 + -25). Let d = a - 978/35. Which is bigger: d or w?
d
Let n be (8 - (-1269)/72) + 9. Is 36 smaller than n?
False
Suppose 5*h = -l + 103, -5*l - h + 2*h = -385. Suppose -28 = 5*g - l. Is 8 bigger than g?
False
Let c(p) = 0*p + 0*p + p - 2*p. Let a be c(0). Suppose -2*j = 3*y - 6*j - 5, -3*y - 4*j + 13 = 0. Is a less than y?
True
Suppose 4*l = 4, 5*s = 3*s - 2*l - 4. Let q be 3 + s + (-15)/35. Which is bigger: q or -1?
q
Let d = -43 + 20. Let f = d - -20. Let y = -3 - f. Are y and 2 non-equal?
True
Let m = -0.0628 + 0.1228. Which is bigger: -20 or m?
m
Suppose 0*k = 3*s - 2*k + 65, -5*k = 2*s + 75. Let b be (-31)/(-15) - ((-70)/s)/7. Which is greater: -0.08 or b?
b
Let w(r) = -2*r**3 - 3*r**2 - 2*r + 2. Let b be w(-2). Let z be ((-3)/2)/(b + -4). Suppose 2*y = -0*y. Is z < y?
True
Let j be 672/(-26) - (3 - (-296)/(-104)). Do j and -25 have the same value?
False
Let k = 26 + -22. Suppose 2*t - 3*w = -50 - 1304, k*w + 3431 = -5*t. Let o = t - -19809/29. Which is bigger: -1 or o?
o
Let a = -241 - -201. Which is bigger: a or -42?
a
Suppose 0 = 5*y - 0*y + 3*l + 290, -3*y + 5*l - 140 = 0. Let a be (-1 - -2)/((-5)/y). Which is bigger: a or 12?
12
Let u(i) = i**3 + 6*i**2 - 9*i - 5. Let y be u(-7). Suppose y*k - 4*k - 15 = 0. Let q = 13 + -9. Is k at least q?
False
Let q = -0.0538 + 137.1538. Let l = q + -137. Are 27 and l equal?
False
Let v be (5 - (3 - (-16300)/8152))*-4. Is 0 > v?
True
Suppose 0 = 2*v + 5 - 17. Let p(m) = m**2 - 4*m - 8. Let k be p(v). Suppose -j + 15 = k*q, j - 3*j + 5*q - 22 = 0. Is -1/5 less than j?
False
Let a be 1/(-5) - (-396)/55. Let x = -48 + 76. Let r be (-6)/(-4)*x/6. Is r less than a?
False
Suppose 2*f - 9 = -1. Suppose -v - f*v = 150. Let u be (-2)/10*20/v. Do 0 and u have the same value?
False
Let a = -177/10 + 35/2. Let j(t) = t**3 - 6*t**2 + 5*t + 1. Suppose -3*v - 20 = -7*v. Let x be j(v). Which is smaller: a or x?
a
Let d(c) = c**3 - 8*c**2 + 3*c - 18. Let l be d(8). Let k be ((-295)/(-140) - 2)/(1/l). Which is greater: 1 or k?
1
Let u = 3246/1975 - 54/79. Which is bigger: u or 0?
u
Let w = -4795857/391 + 203910/17. Let a = w + 271. Is a greater than or equal to -1?
True
Let u be ((-29)/4)/((-44)/(-176)). Let j be 29 + 1 + (-5)/4. Let q = j + u. Which is smaller: -1 or q?
-1
Suppose o + 2 = -o. Let p = -3.7 + 18.7. Let l = p + -16.2. Which is bigger: l or o?
o
Suppose 0 = 20*n - 25*n + 20. Suppose u = -j + 6, -6 = 5*u - 3*j - n. Is u at most as big as 28/11?
True
Let q = -0.0167 + 27.1167. Let c = q - 23. Let g = -3.1 + c. Which is smaller: g or 2?
g
Let w be 86/12 - 7/21. Is 8 less than w?
False
Let i = -3 + 0. Let g(h) = -h**3 - 3*h**2 - 2*h - 8. Let u be g(-3). Which is bigger: i or u?
u
Let a be (-1)/(-3) + 58/6. Suppose -7*r = -0*r - 315. Suppose -5*d + 0*d = -r. Is a at most d?
False
Let x = -11/27 - 58/189. Is -1 equal to x?
False
Suppose -5*i + 10 = -0*i. Suppose -13 = -5*h + m, -2*m + 23 = 5*h + 2*m. Let l(b) = -b + 3. Let y be l(h). Does i = y?
False
Let p = -47173/107 - -441. Is p not equal to 0?
True
Let d(c) = -3*c**3 - 2*c**2 + c. Let f be d(1). Let t(l) be the second derivative of -l**4/12 + l**3 - 2*l**2 - 23*l. Let k be t(6). Is f at most k?
True
Let z = -168 + 79. Let c = 89.13 + z. Which is bigger: c or 2/7?
2/7
Let k = 1/2101 - 2258/329857. Is k less than -1?
False
Suppose 16 = -4*b, -5*w - 11 = 5*b - 31. Suppose 5*x = w*x - 18. Suppose -g = -x*g. Which is bigger: g or -2/17?
g
Let l be (22/55)/(8/(-30)). Let b = -2 - l. Which is bigger: 7 or b?
7
Suppose -5*t + 15 = 5*g, -g + 4 = 3*g. Suppose 0 = -5*n + 5*z + 1 + 4, -2 = -t*n + z. Let s be (-1)/30*-3*n. Is s at most -1?
False
Let i = -0.3 - -0.4. Let h = -33 - -30. Let n be 1/8 - (h + 0)/(-216). Which is bigger: i or n?
n
Let y = 16 - 21. Let v(u) = -u**3 - 7*u**2 + u + 3. Suppose 2*h + 35 = -3*h. Let d be v(h). Which is greater: y or d?
d
Let o = 3.8 + -0.7. Let m = o - 4.1. Which is smaller: -3 or m?
-3
Let b = 131 - 160. Let a(x) = -10*x + 2. Let t be a(3). Is b equal to t?
False
Let f(c) = -14*c - 69. Let m be f(-5). Do 18/29 and m have the same value?
False
Let p(m) = 5*m**2 - m - 10. Let q(j) = j**2 + j - 1. Let y(w) = -p(w) + 6*q(w). Let o be y(-5). Suppose 251*k - 266*k - 75 = 0. Is k >= o?
True
Let w = 124.5 - 97. Let t = w - 25. Let f = 2.6 - t. Is 38 >= f?
True
Let z = -1225 - -1328. Which is bigger: 2/5 or z?
z
Let l be 3545/836 + -1 - (-93)/(-31). Let z = l - -2/209. Which is smaller: 8/21 or z?
z
Let l be 3 + (117630/39)/6. Let b = -508 + l. Which is smaller: -1 or b?
b
Let h = -127 + 44. Let t = h + 56. Let r = -44 - t. Which is greater: r or -18?
r
Suppose -4*v + 3*r + 9 = 2, 3*v + 2*r = -16. Let k = -29 + 21.8. Let a = 7 + k. Which is smaller: v or a?
v
Let z = -1 + 1. Let t be (0 - z)/((-8)/4). Suppose t = 2*j - 8 + 16. Is j < 