ose -3*q + m*d = 21, 0*d - 29 = 3*q + d. Suppose 581*z - 574*z = -56. Which is smaller: z or q?
q
Let t(f) = f**3 + 2*f**2 + 2*f - 4. Let w be t(-3). Let q = 61 + w. Let a be 12/q + (-76)/70. Which is greater: 2/3 or a?
2/3
Suppose 0 - 3 = -t. Suppose -t*y + 0*s = 5*s + 20, 0 = -5*s - 20. Suppose -n + y*n = -11. Are n and 9 nonequal?
True
Suppose -3*n + 5*k = 15 - 31, -n - 4*k = 23. Is n at most -8/3?
True
Let f = -148/3 - -589/12. Is f less than -2/61?
True
Let d(w) = w**3 - 5*w**2 - w + 7. Let r be d(5). Suppose -r*y - y = -9. Suppose -16 = y*p - 2*l, -p - 7 = -l - 0*l. Is -1 != p?
True
Let j = 170 - 150. Which is smaller: j or 1?
1
Let s(f) = 27. Let o(q) = -q + 26. Let d(t) = 4*o(t) - 3*s(t). Let r be d(7). Let a = r - 6. Is a > -11?
False
Let l = 460 + -473. Does -3/5 = l?
False
Suppose 63 = -3*q + 3*c, -4*q - c = -0*c + 69. Suppose -31 = -4*m + 5. Let x be (6/m)/(4/q). Is -3 less than or equal to x?
True
Let q be -3*3/9*(2 + 2). Let w be q + (3 - 25/(-10)). Which is smaller: w or 6/7?
6/7
Suppose -4*n - 2*r + 8 = 62, 0 = 4*n - 3*r + 69. Let d = 14 + n. Let x(y) = y - 2. Let t be x(2). Which is bigger: d or t?
t
Let i be (0 - 107/75) + 2. Let s = 6/25 - i. Let l = -1.1 - -0.7. Which is bigger: s or l?
s
Suppose y - 5*l - 18 = 0, -5*y - 7*l = -2*l + 30. Let k = 398/7 + -57. Is y at least k?
False
Suppose -x + 0*x = -2. Suppose 0 = o + 5*o - 30. Suppose 0 = 2*s + l - 11, o*s - 2*l + 0*l = 5. Is s smaller than x?
False
Suppose 17*o + 18 = 1. Which is smaller: o or -1/495?
o
Let o = -81913/6 - -13591. Suppose 2*k = k - 61. Let m = k - o. Is m smaller than 0?
False
Let r be (1 - 2) + (-48)/(-6). Let l(d) = -d**3 + 6*d**2 + 6*d + 14. Let o be l(r). Let g be (-5)/(-4)*o/(-5). Is -2 at most as big as g?
True
Suppose -4*f - 2*p - 3 + 21 = 0, 0 = 4*p + 4. Is f less than 40/11?
False
Let g(j) = j**3 + 7*j**2 + 6*j - 1. Suppose -2*p + 21 = p. Let i = p + -13. Let v be g(i). Which is smaller: 1/6 or v?
v
Let t be 1*-4 - 5620/(-1410). Is t at most -1?
False
Let z(w) = w + 16. Let l be z(-17). Let a = 6 + l. Is 0 at most a?
True
Suppose 0*k - 932 = 4*k. Let c = 4661/20 + k. Is -1 > c?
False
Let s be (-400)/12 - 3 - 27/(-81). Is -314/9 smaller than s?
False
Let c(z) = 4*z**2 - 7*z - 1. Let g(v) be the first derivative of -3*v**3 + 7*v**2 + 2*v - 8. Let q(p) = -7*c(p) - 3*g(p). Let b be q(7). Is -2/19 at most b?
True
Suppose 9*v - 20*v = -352. Is v < 38?
True
Let x(r) = r**3 - 4*r**2 + 11*r - 39. Let k be x(4). Let a(y) = y**2 - 4*y - 1. Let o be a(3). Let f be 65/12 - 1/o. Is f at least as big as k?
True
Let h = 7 + -4. Let s(r) = r**3 - 9*r**2 + 9*r - 4. Let j be s(8). Let k be ((-3)/j)/((-17)/68). Are k and h unequal?
False
Let g(q) = q + 12. Let r(i) = -i**2 - 3*i + 6. Let s be r(-6). Let b be -7 - 1/((-3)/s). Let u be g(b). Which is smaller: u or 2?
u
Let s be 12395/3100 - (0/(-2) - -4). Which is greater: s or 1?
1
Suppose q + 2*q = -9. Let w be 3/7 - (-3600)/28. Let h = w - 392/3. Are q and h nonequal?
True
Let t = -3.6 - 19.4. Let r be (41856/176)/12 - 20. Do r and t have different values?
True
Let z be -3*((-10)/(-5) + 2) + -2. Which is bigger: -16 or z?
z
Suppose -4*b - 354 = -3*t, -t = -2*b - 139 - 39. Is -85 < b?
False
Suppose -32 = 2*h - 4*j, 4*j - 17 = -5*h - 83. Which is smaller: h or -8?
h
Let b(y) = -y - 8. Let l be b(-9). Let u be (128/(-4) - -3)*l. Which is smaller: u or -27?
u
Let g(y) = 4*y**2 - 6*y + 6. Suppose 6*q - 4*q - 6 = 0. Let j be g(q). Let w be (-4)/(-6)*9/j. Is 0.5 less than or equal to w?
False
Let w = 4337/9 - 482. Which is bigger: w or 0?
0
Let h = 1/276 - 35/138. Which is smaller: 10.1 or h?
h
Suppose 43 = 4*j + 3*w, -5*j + 0*j - w + 51 = 0. Suppose 5*a + 5*p - j = 0, 4*a - 5*p = -14 - 5. Let m be ((-2)/25)/(-5 - -4). Which is smaller: m or a?
a
Let x(w) = -3*w + 24. Let n be x(8). Is -7/36 at least as big as n?
False
Let r = 197 + 384. Which is smaller: r or 582?
r
Let l be 6/(-15) - 96/(-15). Suppose 4*o + 84 = l*o + 4*u, -5*o + 182 = 3*u. Let x = o + -30. Which is smaller: x or 7?
x
Let o be ((-6)/((-18)/(-177)))/((-11)/(-49)). Let d = o + 261. Which is greater: d or -3?
d
Let h = -630 + 634. Which is smaller: 8 or h?
h
Let v = -14/95 + 316/855. Which is smaller: -45 or v?
-45
Let m(g) = 3*g**2 + g - 1. Let z(w) = 2*w. Let x be z(1). Suppose -4*b - 11 = -3*u, -x*b - 5*u + 7 = -20. Let v be m(b). Are v and 4 non-equal?
True
Let p = -237487/19 + 12493. Are -6 and p nonequal?
True
Let n = 244.6 + -190. Let b = n - 53. Let v = 25 + -173/7. Is v smaller than b?
True
Let s = -19 - -23. Suppose 0 = 4*r - 4*h, -26 = -s*r - 4*h + 14. Suppose 0 = -d + q, -2*q - r + 3 = -3*d. Which is smaller: d or 11/6?
11/6
Let l = -57 - -57. Let g be (0 - l)/(-3 + (-1 - -7)). Which is smaller: g or 4/15?
g
Let b(i) = 3*i**2 + 6*i - 3. Let v be b(4). Let m = v - 69. Is 24 smaller than m?
False
Suppose 0 = 10*j + 539 + 231. Let z = -387/5 - j. Is z greater than 1?
False
Let z = -7 - -9. Let j be (-4)/3 - (-3 + z). Which is greater: j or 0?
0
Let y be 1/(-2*4/(-680)). Suppose 15*p = 10*p + y. Is p < 17?
False
Let q(y) = y**3 - 6*y**2 - 12*y + 12. Let c be q(8). Suppose -48*f = -c*f - 16. Which is greater: -0.04 or f?
f
Let i = -138 + 137. Let f be 2712/168 - i/(-7). Let c be ((-5)/2)/(1/(-6)). Which is smaller: f or c?
c
Suppose 4*j = -2*l - 54, -5*l + 8 - 119 = 4*j. Suppose 975 + 35 = -28*g + 422. Which is smaller: g or l?
g
Let k = 1519/3 + -515. Which is smaller: k or -10?
-10
Let y be (16/12)/(8/(-12)*-67). Which is greater: y or 1?
1
Let d be (4/(-304))/((-5)/8). Suppose 2*n - 1 = 5*t, t + 5*n + 15 = -4*t. Which is smaller: d or t?
t
Let x(l) = -17*l**2 + 14*l - 1. Let j be x(4). Which is greater: j or -1?
-1
Suppose 5*s - 60 = 50. Let r = s + -23. Let u = -16.2 + 0.2. Are u and r equal?
False
Let t(s) = -s**2 - 10*s - 6. Let v be t(-9). Suppose y - 19 = -v. Let w = -48 - -63. Is w smaller than y?
True
Let g = 453 - 452.99. Which is bigger: -9 or g?
g
Let g be (-352)/110 - (3/(-5))/3. Let l be (g/1)/((-3)/(-2)). Which is greater: -1.9 or l?
-1.9
Suppose -17*y + 22 - 5 = 0. Let l be 2/(-3)*(y/1 - 13). Is 49/6 greater than l?
True
Let g be -3*(84/(-9) + 9). Which is smaller: 2/357 or g?
2/357
Suppose 2*u - 4*n = 18, -4*u + 5*n + 10 = -20. Suppose q = -u + 9. Suppose 0 = c + q*c. Which is greater: c or -6?
c
Let n(q) = -q**3 - 11*q**2 + 13*q + 12. Let f be n(-12). Let j be f + -2 + (-2)/(-1). Suppose -5*p + 4 = x - 3, j = 4*x - p - 28. Which is smaller: x or 8?
x
Let t = 564 + -563.2. Is -0.03 less than t?
True
Let k be (8/32)/(71/8). Which is smaller: 3 or k?
k
Let w = 722 + -304. Let m = w + -810. Let x be 3 - (m/34)/(-4). Do 1 and x have different values?
True
Suppose 0 = -2*q + 2, 5*z + 27 = 4*z + 3*q. Let p = z - -44. Is 20 at most as big as p?
True
Let b = 2846027/18070 - 1/9035. Which is smaller: b or 157?
157
Let z(g) = g**2 - 11*g + 30. Let m be z(7). Suppose t = 5*o + 304, -o + m*t + 37 = 105. Which is greater: o or -61?
o
Suppose 5 = 21*l - 58. Suppose -5*u - 18 = -4*w, -l*u + 0*u - 9 = -3*w. Which is greater: 0 or u?
0
Let w be 0 + (-2 - (5 + -2)). Let r = w - -5. Let o be ((-4)/188 + r)*2. Which is smaller: o or 0?
o
Let x = 26 + -23. Let t = 12.3 + -12.35. Which is smaller: t or x?
t
Let o(y) = y**2 - 11*y - 81. Let l be o(-5). Is l at most 11/41?
True
Let w = 0.3 + -0.4. Let l = w - -0.1. Suppose -2*s + 11 = 2*q + 37, 5*s + 3*q + 59 = 0. Which is bigger: s or l?
l
Suppose -3*q - o = 16, 2*o + 7 = -0*q - q. Let w be (-6)/(-10) - (-2)/5. Let y = w + q. Is y not equal to -5?
True
Suppose 3*m + 228 + 171 = 0. Is -131 smaller than m?
False
Let l = 1372/195 + -124/15. Is l equal to 0?
False
Suppose -2*a + 76 = -4*c, 2*c - 44 = -3*a + 38. Let z = a - 29. Are 1 and z non-equal?
False
Suppose -20 = -2*g + 4*l - 2, 6 = -2*g - 4*l. Suppose -g*b + 1 = -32. Let q be ((-2)/(-10))/((-2)/(-10)). Is b at most as big as q?
False
Let t = 15.2 + -14. Let r = 30 - 28.9. Let y = r - t. Which is smaller: -0.4 or y?
-0.4
Suppose 4*g + 0*g - 24 = 0. Suppose -6*a + g = -0*a. Are a and 0.07 unequal?
True
Let w(s) = s**2 - 12*s - 8. Let v be w(20). Do 156 and v have different values?
True
Let c be (-8)/(-136)*(-14 + -2). Is 2/3 greater than c?
True
Let o = 23.875 - 0.075. Let x = -24 + o. Is 0.8 at most x?
False
Let x(t) = t**3 - 7*t**2 - 8*t + 4. Let