s k smaller than a?
False
Suppose -28 - 17 = -5*r. Let y(t) = t**2 - 10*t + 12. Let k be y(r). Suppose -k*c - 4 = -4*q + 5, q = -c + 4. Is 8/7 > c?
True
Suppose 5*x + 13 = -2*q - 226, -x - 4*q - 55 = 0. Is x at most as big as -48?
False
Let p be 426 + 4/24*4. Suppose 3*y - 4*y + 419 = 2*s, -1271 = -3*y + s. Let u = p - y. Which is smaller: u or 3?
3
Let l = 21 + -25. Let u be l/(-14) + 1110/(-210). Which is smaller: u or -2/7?
u
Suppose -3*v + 69 = 3*r, 3*v + v + 52 = 4*r. Let l = r - 9. Is 5 at most as big as l?
True
Let q be (0 - -2)*(-9 - 0). Let a(z) = 12*z + 9. Let i be a(-2). Let d = q - i. Which is smaller: d or -8/5?
d
Let d = 151.3 + -27.3. Let p = -124.1 + d. Let v be 2/(-48) - 1/3. Which is smaller: p or v?
v
Let j = -45 + 38. Let g be 0/j*3/6. Is g bigger than 5/4?
False
Suppose -2*g = 4*r - 48, -2*g = r - 21 + 6. Which is smaller: r or -2/51?
-2/51
Let l = 38 - -2.4. Let n = -47 + l. Let f = -6 - n. Is f > 0.2?
True
Let a = 4.37 + 7.63. Which is greater: -0.05 or a?
a
Let i = 86.63 - 87. Let d = i + 0.57. Suppose 3*c = f + 4 + 1, 0 = -5*f + 20. Which is greater: d or c?
c
Let d = 5 + -12. Let m be (-11 - (-11 + -1))*2/(-4). Which is greater: m or d?
m
Let y = -0.234 + 0.334. Is y greater than -18/7?
True
Let z be 2 - ((-970)/(-8) - 4). Let j = -116 - z. Do -1 and j have different values?
True
Let x be 1092/(-8)*12/(-7). Let s be ((-1)/2)/(27/x). Which is smaller: s or -3?
s
Let o(c) = c + 9. Let l be o(-9). Suppose m = 1 - l. Let u be 16/2 + (-6588)/828. Which is greater: m or u?
m
Let f be 2/1 + -1*13/8. Suppose -34 = 2*c - 5*u, 58 = -5*c + 3*u - 4*u. Let b = c - -13. Which is smaller: b or f?
f
Suppose 6*n + 32 - 38 = 0. Does -2/161 = n?
False
Let g(h) = -h**2 + 2*h + 2 - h + 3*h - h**3. Let l be g(-3). Suppose -4*y = p - l, -5*y - 1 - 2 = -2*p. Is 1 at least as big as y?
True
Suppose 2*y = -3*y + 10, -2*d - 5*y = -2. Let p be 2 - (12/3)/d. Suppose 5*q = p*a - 19, q = -4*q - 2*a - 4. Is -2 less than q?
False
Let b be ((-1120)/64)/(1/2). Is b smaller than -35?
False
Suppose -3*n = -3*z - 2490, -2735 = -4*n - 5*z + 558. Is 827 >= n?
True
Let x(v) = v - 4. Let t be x(6). Let h be (-3)/(-2) + (-123)/12. Let g = 19/2 + h. Is g at least as big as t?
False
Let u be (-436)/36 + 2/18. Is u bigger than 7?
False
Let v be ((-725)/(-15))/(2/12). Let b = 205 - v. Let z = -511/6 - b. Is 1 at least z?
True
Let b = 99 + 19. Let k = b - 121. Which is greater: k or 8?
8
Suppose -68 = 4*g - c, -g + 3*c + c = 2. Let f = -19 - g. Let h = -474/7 + 68. Which is smaller: f or h?
f
Let i be 3 + -6 + -2 + 5. Suppose 0 = l - i*l + 3. Let a = 2082/5 + -418. Is l equal to a?
False
Let q be 176/3 + 6/(-9). Let c(y) = 32*y**2 + 4*y - 3. Let k be c(1). Let t = q - k. Is 26 at most as big as t?
False
Suppose -z + 25 - 8 = 0. Let i = -6 + z. Is 23/2 > i?
True
Let c(v) = -v**2 + 13*v - 17. Suppose -3*r = 2*g - 9, 4*g - 26 = g - 2*r. Let m be c(g). Let p be m/3 - (-7)/(-21). Which is greater: 0.4 or p?
0.4
Let o = -10 + 10.31. Let i = o - 0.51. Which is smaller: -7 or i?
-7
Let k be (2/4)/((-5)/(-250)). Suppose -3*m - m = -20, 2*o - k = -3*m. Suppose -4*c - h + 2*h + 27 = 0, -o*c + 39 = -3*h. Is 6 < c?
False
Let v be (-22)/12 + 145/29. Which is bigger: v or 2?
v
Suppose 6*g - 180 = -5*k + g, -75 = -2*k - 3*g. Let b(a) = -a**3 + 2*a**2 + 6*a + 8. Let z be b(7). Let u be k/z + 4/10. Is -1 smaller than u?
True
Let s = 17 - 15. Suppose s*u + 15 = 7*u. Let d be 4 + u*1/(-1). Is 1/14 >= d?
False
Let h = -255 - -225. Which is smaller: h or 12?
h
Let q be (-3)/(-12) + (-11)/(-4). Suppose -2*i + 3*i = -2*w + 582, q*w = -5*i + 880. Let c = 1444/5 - w. Which is bigger: c or 0?
0
Suppose 8*c = 11*c - 12. Suppose -q - c*q = 0. Let h = -2695/6 + 448. Which is smaller: q or h?
h
Let d(c) = c**3 - c**2 - c - 1. Let j(i) = 3*i**3 - i**2 + 7*i - 3. Let x(u) = 4*d(u) - j(u). Let f be x(5). Is f at most as big as -8?
False
Let p be 4/(-10) - (3 - (-192)/(-5)). Let n = -106/3 + p. Let u = 4.92 + -5. Which is bigger: u or n?
u
Let r be (-3 + -1 + 1)*4/(-1563). Let i = r - 1334/38033. Which is smaller: -1 or i?
-1
Let s = -2 + -10. Suppose -3*l - 3*l = -4*l. Suppose 0 = -2*g - 2*v, -4*g + 5*v = -l*g + 9. Which is smaller: g or s?
s
Let o = -26.7 - -26.4. Do o and 77 have the same value?
False
Let t = 176 - 160. Let x be t/6 + ((-12)/(-9) - 2). Which is bigger: x or -1?
x
Let p = 8/47 - -1323/235. Which is bigger: -13 or p?
p
Let w be ((-6)/20)/((-36)/15). Let q(y) = y**2 + 7*y + 9. Let m be q(-6). Let u be 0/((m - 2)*-1). Is w smaller than u?
False
Let j = 108 + -104. Is j <= 8/3?
False
Let b = -638.9 + 639. Is -0.003 bigger than b?
False
Let v be -2 - (-6 - (-6 - -1))*-158. Is v smaller than -160?
False
Suppose -3*o + 177 = 5*l - 0*o, -184 = -5*l + 4*o. Let x = l - 102. Is -66 greater than or equal to x?
True
Suppose 55*d - 2448 = 43*d. Is 203 less than or equal to d?
True
Let n(s) = s + 18. Let r = -1 + 4. Suppose -q + b - 13 = 0, -b - 41 + 10 = r*q. Let y be n(q). Which is greater: 3 or y?
y
Let d be (-3)/(-9)*0 - 28. Let x = d - -24. Which is smaller: x or -8/3?
x
Let v(u) = -u**2 + 16*u + 24. Let m be v(17). Suppose -8*d + m*d = -3. Suppose -s + 24 = d*s. Is s >= 4?
True
Let u = 16701432/1597 - 10458. Is u less than or equal to -1?
False
Let k be (-14)/15*-3 - (10 - 9). Is k greater than 0?
True
Suppose -6 = -2*a - 10. Let t = a - -4. Let c be 9/(-12)*(-40)/36. Is t <= c?
False
Let w = -38 + 25. Let k = 8 - 21. Let g = k + 11. Is w at most g?
True
Let n(g) = -g**2 + 7*g - 6. Let y = -8 - -15. Let r be n(y). Let w be r*(22/6 - 4). Is w > 16/5?
False
Let q(g) = -g**2 + 4*g + 24. Let i be q(7). Suppose 4*t - i*u = 3 + 9, 0 = -3*t - 3*u + 9. Is t > 2?
True
Let m = 16868 - 118073/7. Let u(w) = w + 4. Let f be u(5). Suppose 5*p + 4 - f = 0. Which is smaller: m or p?
m
Let w be (-8)/44 - 145/(-11). Let s = -14 + w. Let u = 2848/15 + -190. Which is greater: u or s?
u
Let d be (-111)/148 + 19/20. Which is bigger: -33 or d?
d
Suppose -6*c + 98 = -4*c. Let d be 49 - 2/(1/((-3)/6)). Is d < c?
False
Let q = -5 + 23. Let w = 168 + -167. Is q > w?
True
Suppose -2 = b - 2*b. Suppose 0*w + b*w = -2. Which is smaller: w or -2/31?
w
Let f(a) = 10*a**2 + 2*a + 1. Let h be f(-1). Is 11 at least h?
True
Suppose 8*a - 23 = -167. Which is greater: -21 or a?
a
Let y be -6*(-2)/(-16) - (-55)/20. Which is smaller: -0.1 or y?
-0.1
Let v be ((-200343)/(-334230) + (-6)/10)*4. Which is greater: 1 or v?
1
Suppose 10*b = 1285 + 845. Is 213 greater than or equal to b?
True
Let b be 3/4 + (-628)/(-16). Suppose z - 9*z = b. Which is greater: z or -12?
z
Let b be (-711)/243 - (-16)/(-216). Are 56 and b unequal?
True
Let w = -81 + 141.9. Let q = 61 - w. Which is smaller: 0.29 or q?
q
Let d = 1759/2 + -896. Suppose 277*g - 167*g + 1870 = 0. Do g and d have the same value?
False
Let f = -40 + 46. Let i be (-5)/(-280)*4*f. Is i at least -0.1?
True
Let m be (-3)/75*-5 - (-16)/(-10). Suppose -7*c + 6*c - 6 = -2*v, -v + 5*c = -3. Let z be 4/(-2)*(v + -2). Is m equal to z?
False
Suppose 9633 = 62*a - 39. Is a > 160?
False
Let y(c) = c**3 - 7*c**2 + 2*c + 4. Let i be y(7). Suppose -92 = -5*g + i. Let n = -22 + g. Is n less than -1?
False
Suppose -r = 0, -2*g - 7*r + 14 = -2*r. Suppose g*o = 5*o + 6. Let u = -4 + 8. Is u equal to o?
False
Suppose 2*o - 6 + 2 = 0. Suppose 0*h - o*c = -h + 6, -3*h + 10 = -2*c. Suppose 2 = -4*n - 18, -h*u - n - 1 = 0. Which is greater: 11/5 or u?
11/5
Let f be ((-12)/(-36))/(1*2/24). Suppose -4*p - 35 = -5*i - 4, f*p + 2*i + 38 = 0. Suppose 15 = -3*d - 18. Which is smaller: p or d?
d
Suppose -1 = q - 2*l, 3*q + l = -0*q - 24. Let h = 12 - 16. Let z be (-2)/(8/h + 7). Is q > z?
False
Let l(d) = -d**3 + 2*d**2 + 1. Let a be 8/(-3)*(-18)/4. Let r = 14 - a. Let m be l(r). Which is smaller: m or -4/21?
-4/21
Let s(w) = 2*w + 11. Let m be s(-5). Let b(f) = -f**3 + f**2 + f - 1. Let a be b(m). Suppose -4*v - 116 = -4*q, a*v = 2*v + 8. Does q = 25?
True
Let p(u) = u**3 + 2*u**2 - 4*u - 3. Let c be p(-3). Is c less than 413?
True
Let l = 1.9287 + 0.0713. Which is greater: 7 or l?
7
Let q = -48/19 - -26515/10488. Which is smaller: q or -1?
-1
Suppose 78*c = 71*c - 210. Is -31 bigger than c?
False
Let w(g) = -g**2 - 12*g - 18. Let v be w(-8). Let u be (49/2)/((-7)/v). Is -49 equal to u?
True
Suppose -5*j