?
26/7
Let t(z) = 2*z - 8. Let j = 25 + -20. Suppose -5*m - j*y + 40 = 0, 5*m - y = -0*y + 10. Let d be t(m). Which is greater: 0 or d?
0
Let v = -18 - -8. Let m = v - 3. Suppose 4*y = 0, 3*d - 5*y - 13 = -49. Which is bigger: d or m?
d
Suppose p = 2*f + 23, 3*f + 2*f + 3*p + 41 = 0. Let z be ((-5)/(f/68))/4. Let k = z + -35/4. Is 1 smaller than k?
False
Let r be (1/7)/(-12 + 155/10 - 3). Let k = -83/117 + 2/13. Is k at least as big as r?
False
Let m be ((-2)/5)/((-2)/40*1). Suppose -m - 28 = -4*q. Which is smaller: 37/4 or q?
q
Suppose -q + 4*q + 3*m - 9 = 0, 0 = -q - 5*m + 23. Let y be (1/q)/(7/18). Let r be (-14)/42*(-6)/(-2). Is y less than r?
True
Suppose -4*t = -9*t - 40. Let c(h) = -h**3 - 7*h**2 + 13*h + 15. Let b be c(t). Is -25 < b?
False
Suppose -36 = -2*k + 2*z, 3*z = -4 + 13. Is 0.1 less than k?
True
Let t = -38076 - -342226/9. Let b = 152/3 + t. Which is smaller: b or 0?
b
Let r = -74 - -141. Let c = r + -66. Let l = 29/70 - -1/70. Which is greater: c or l?
c
Let r(v) = -v**3 + 9*v**2 + v - 5. Let g be r(9). Suppose -3*n = -c + 2, 0*c = c + g. Let j = 5 - 10. Which is smaller: j or n?
j
Suppose -36*t = -31*t - 20. Suppose -r = -5*r - t. Which is smaller: r or -2?
-2
Suppose -6*k + 10 = -20. Suppose k*s = -5*n, -3*n = 5*s - 2*n + 12. Which is smaller: 0 or s?
s
Let y = 176 + -187. Is -7 less than y?
False
Let h = 44 - 47. Is -70/23 > h?
False
Let u = -31 - -47. Let c = 24 - u. Which is bigger: 0.2 or c?
c
Let w = 841 + -513. Is w <= 332?
True
Let t = 694 - 1017. Let j = t - -4847/15. Is -0.01 > j?
False
Suppose -3*w - 45 = 5*q, -w = 2*w + 15. Let r be 3 + (1 - (q - -4)). Is -2/5 at most r?
True
Suppose 35*q + 7730 = -9805. Do -501 and q have different values?
False
Suppose 5 = -5*g + d, -4*d = 2*g + d + 29. Do g and -20/37 have different values?
True
Let y(j) = -6*j**3 + 2*j**2 + 4*j + 2. Let i be y(-3). Suppose b + 55 = -b - 5*k, -4*b - i = -2*k. Let r = -26 - b. Is 14 less than or equal to r?
True
Let q = -0.3 + 0.2. Let n(b) = b**3 - 9*b**2 - 3*b + 25. Let h be n(9). Let r be (h/(-4))/((-3)/3). Which is bigger: r or q?
q
Let q be (-2)/(-2) + (-5)/6. Let s(l) = l - 2. Let u be s(2). Let v be (u - (-1 - 0))/(-1). Which is smaller: q or v?
v
Let r = -96 - -117. Let t be 2 - 20/8 - r/(-2). Is t equal to 5?
False
Suppose 2*o = -g + 16, -3*o = -10*g + 8*g - 10. Which is greater: o or 74/13?
o
Let s = -120 - -125. Suppose -8*g + 3*g - s = 0. Is 1/5 bigger than g?
True
Let p = 29.2 - 29. Which is smaller: p or -17/5?
-17/5
Let k = 22 + -22. Is k > 1/100?
False
Let p(s) = -5*s - 6. Let b be p(-3). Let t(x) = -x**3 + 10*x**2 - 3*x - 4. Let u be t(b). Let r be 70/u - 2/5. Which is bigger: r or -1/3?
r
Let o be (-9790)/(-275) + 18/3 + -1. Is o equal to 41?
False
Let k = 19/14 - 31/28. Which is smaller: 0.1 or k?
0.1
Let m(c) = 50*c + 72. Let f be m(-2). Is f at least as big as -25?
False
Let g = 137 + -137. Let x = -21 + 20.936. Which is greater: x or g?
g
Suppose 0 = -19*y + 21*y + b - 1, 5*y = -3*b + 1. Is 73/22 at most as big as y?
False
Let f = -36 + 56. Suppose -6*b + 4*b + 12 = 0. Let n be (15/b)/(-5)*f. Are -11 and n unequal?
True
Let q = 43607/45 - 969. Which is bigger: q or 0?
q
Let y be -2 - (-5*6/18 + 0). Which is smaller: -390 or y?
-390
Suppose 106 = 2*r + 2*n, 4*r + n = 5*r - 61. Let c be (26/(-9))/((-38)/r). Is c < 4?
False
Let p = 25 + 0. Let f = 26 - p. Which is smaller: -2/27 or f?
-2/27
Let d be (-3953)/7370 + 2/4. Which is smaller: d or -3?
-3
Suppose 0 = 3*d + 2*d - 2*l - 74, 2*d + 5*l - 47 = 0. Suppose -4*v - 19 = -z, v - 4 = 5*v. Is z less than or equal to d?
True
Let w be 2 + -2 + -4 + 3. Is 2/37 not equal to w?
True
Let y be (-37)/294*435/25. Let j = y - 1/98. Suppose -6 = -0*q + 4*q + 3*p, 11 = -3*q + p. Which is greater: j or q?
j
Let c be ((-12)/(-14))/(150/700). Which is smaller: 58/15 or c?
58/15
Let k = 0.553 + -0.493. Which is smaller: -4/11 or k?
-4/11
Let g(o) = 18*o - 1. Let r be g(1). Let z be -2*(-80)/(-32) + (-23)/(-1). Is r not equal to z?
True
Let x be 18/12*(-6)/9 - -203. Are -0.1 and x non-equal?
True
Let y be -1 + 0 + (-28)/6. Let l = 6 + y. Let d(i) = i**2 - 12*i + 37. Let n be d(4). Is l smaller than n?
True
Let v(g) = -g**2 - 11*g - 11. Let i be 120/12*(-2)/2. Let u be v(i). Is u bigger than -2/35?
False
Let d be (-1)/3 + (-8)/30. Let o be (0 - (-4)/(-6))*(1440/(-64))/(-15). Is d at most as big as o?
False
Let c = 1 - -1. Suppose -c*v = h - 5, -3*h + 11 + 4 = -2*v. Let r = 13 + -9. Are h and r equal?
False
Suppose 3*g + 2 = -2*g - i, 2*g - 5*i + 17 = 0. Are g and -2/35 equal?
False
Let c = 0.1264 + -0.2264. Which is bigger: c or -4.52?
c
Let x = 0.034 + -0.364. Let f = -2.57 + x. Which is smaller: 1 or f?
f
Let x(s) = -s**2 - 9*s + 21. Let k be x(-11). Which is bigger: k or -3/449?
-3/449
Let u = 1.27 + -1.37. Let j be (-183)/72 + 3/9*2. Which is greater: j or u?
u
Suppose 3*y + 231 = 2*t, -6*t + 291 = -4*y - 9*t. Is y at most -76?
False
Suppose 0 = -3*g + 3*c, -g - 2 = -0*g - 2*c. Let z be g*(28/(-8))/(-7). Let f = -39 + 118/3. Is f greater than z?
False
Let z = -93/5 + 18. Let w = 1 + z. Does 0.3 = w?
False
Let l(a) = 3*a**2 - 86*a + 178. Let j be l(29). Which is bigger: j or 210?
210
Let r(w) = w**2 - 19*w + 38. Let z be r(18). Let q be (-130)/z*1/(1/(-2)). Does q = 13?
True
Let m = 1.2 - -1.8. Let z = -19.99 + 20. Are z and m unequal?
True
Let v = 2/167 - 189/1837. Let i(j) = 38*j + j**3 - 20*j - 2*j**3 - 16*j + 9 - 4*j**2. Let z be i(-4). Is v at most z?
True
Let s(p) = p**3 - 6*p**2 + 5*p. Let g be s(5). Suppose g = 2*z - 4 - 34. Suppose -i - 72 = -5*i. Which is smaller: z or i?
i
Let r be (-130)/(-585) + (-23522)/(-18). Is 1307 != r?
False
Let w(k) = -2*k**2 + 47*k + 337. Let h be w(31). Which is smaller: -388/3 or h?
-388/3
Let u be (10/(-8))/((-7)/28). Suppose -3*f + 2*f - 11 = 5*k, -u*k - 12 = 2*f. Which is greater: -2/57 or f?
-2/57
Let q be 7 + 5 + (-9)/3. Suppose -y + x - 5 = 0, q = y + 2*x + 2. Let u be (2 + y)/(3 - 2). Is u smaller than -1/5?
False
Let z = -20 - -24. Suppose g - 5 = -3*t, -24 = -z*t - 2*g + 5*g. Suppose -5*a = -t*j + 11, 0*j = 4*j + 5*a - 3. Is 2 smaller than j?
False
Let p = -1042 + 1549. Let b = -1495/3 + p. Let j = b + -8. Is 3 < j?
False
Let t = -71 - -34. Is t < -34?
True
Let l = -0.003 + 0.523. Let r = 1.52 - l. Is 0.6 less than r?
True
Let d = -0.169 - -0.069. Let q = -0.1 - -0.1. Let y = q + d. Are 9 and y non-equal?
True
Let c = -815 - -788. Which is smaller: c or -20?
c
Suppose -173*g = -166*g - 322. Is g < 49?
True
Suppose 14 = d + 16. Suppose 15 = -2*b - 21. Let f be d + b/10 - -3. Does -1 = f?
False
Let o = 29 + -72. Let u = o - -26. Suppose 19*w - 72 = 23*w. Which is bigger: u or w?
u
Let k = 9 - 8.61. Let x = k - -1.61. Is x at most as big as 0.08?
False
Let o be (-744)/(-1848) + 2/14. Is o smaller than -1/66?
False
Let g(y) = 3*y**2 - 60*y + 166. Let c be g(15). Let t(h) = -11*h + 1. Let j be t(-3). Let r = c + j. Which is smaller: r or -26?
-26
Let u = -9.16 + 9. Let h = 0.11 + u. Let n = -5 - -5.1. Is n > h?
True
Let r be ((-2)/3)/((-4)/3). Suppose 0 = -5*o - 1 + 6. Let z be 2/o*(-1)/(-1). Which is smaller: r or z?
r
Let o be 22*(-5)/120*-39. Is 35 bigger than o?
False
Let q(f) = 6*f**3 + 54*f**2 + f. Let l be q(-9). Which is smaller: l or -15?
-15
Let y = 2.2 - 0.2. Let i = 2 + y. Which is greater: 3/5 or i?
i
Let k be 4/(-6) - (-120)/18. Let r be 3 - (3/((-9)/(-3)))/(-1). Which is smaller: r or k?
r
Let b = -3953/368 - -183/16. Which is smaller: b or 2?
b
Suppose -57*c + 54*c - 9 = 0. Is c bigger than -35/19?
False
Let s be (-92)/(-14) + -1 + (-19)/(-19). Suppose n + 0 = 6. Is s at most n?
False
Suppose -4*k + 844 = -3*r, 5*k - 4*r = 2*k + 633. Is k bigger than 5?
True
Suppose -d - 2*i = -18, i = -0*d + 5*d - 35. Let q(p) = -p**2 + 8*p + 10. Let m be q(d). Is -2 < m?
True
Suppose 252 = -p + 4*t, 3*p + 6*t = 5*t - 704. Are -240 and p equal?
False
Let h be 890/50 - 2/(-10). Let m = 198 - 199. Is m at least h?
False
Let j(p) = 12*p - 11. Let o be j(2). Suppose -15*w = -2*w + o. Is -1 less than or equal to w?
True
Suppose 4*k = 28*j - 24*j + 16, 5*j + 16 = 4*k. Let q(y) = y**2 - 5*y + 6. Let d be q(4). Let n be d - 3 - (-27)/21. Do j and n have different values?
True
Suppose -5*n - 8 = 4*j, -21 = 3*n - 9. Suppose 0*z + j*z - 4*u + 1 = 0, 3*u 