is smaller: 5 or y?
y
Let q be (-35)/(-1 - 0 - -3). Let f = q + 17. Let j(k) = -k**2 + k + 4. Let t be j(3). Is t less than or equal to f?
True
Let h be 1/2 - (-203)/(-294). Let v = 89 - 90. Which is greater: v or h?
h
Let d be 8/12 - (0 + (-1)/3). Is -0.2 at most d?
True
Let u(i) = -i**3 + 7*i**2 - 9*i - 3. Let x be u(5). Suppose 0 = -2*o - 2 - x. Are -18 and o unequal?
True
Let n(i) = -i - 1. Let b(m) = -6*m + 74. Let j(q) = -b(q) - 2*n(q). Let u be j(9). Is -5/9 equal to u?
False
Let f(i) = -i**3 + i**2 + 2. Let z be f(0). Let h be (z - 0 - 1)/22. Is h less than -1?
False
Suppose 0 = f - 5*f + 68. Let w = -14 + f. Which is smaller: 0.07 or w?
0.07
Suppose -2*j = 32*x - 27*x + 7, 5*j = -4*x + 8. Which is smaller: -168/11 or x?
-168/11
Let z be (6/(-39) + 186/26)/1. Let f = 7 + -4. Suppose -w = -f + 2. Is w at most as big as z?
True
Let s(r) = r**2 - 6*r - 47. Let o be s(11). Is o at most as big as 59/9?
False
Let u = 1971 + -1960. Are 64/9 and u equal?
False
Suppose 72 = -2*q - 6*q. Is q greater than -12?
True
Let a be 27/45 + (-12)/45. Is a greater than 298?
False
Let p be ((-14)/(-10)*-4)/(33/(-660)). Which is bigger: 0 or p?
p
Suppose -7*a + 18 = -a. Let o be a/(15/(-65)) + -1. Are -0.1 and o equal?
False
Let t = -0.2 + -0.8. Let g = 3788 + -3779. Which is bigger: g or t?
g
Suppose -130*b + 133*b - 15 = 0. Let c be (156/(-28) + b)/(4/(-42)). Is c < 7?
True
Let f = 3432 + -24104/7. Which is smaller: f or -10?
f
Suppose -2*p - q = 4, 2*p - 5*q - 8 = -3*q. Let s(h) = -2*h - 9. Let w be (-10)/(-3)*(-48)/40. Let z be s(w). Is z smaller than p?
True
Let l = 213489/5 - 42835. Are -136 and l equal?
False
Let s = -1/18 + -4/9. Let v = 7 + -7.04. Which is smaller: v or s?
s
Suppose 5 + 15 = 2*m - 2*k, -5*m + 95 = 4*k. Let d(x) = -3*x + 2. Let t be d(-5). Which is smaller: m or t?
m
Let n = 373 - 370. Let r = -3.7 + 4. Which is bigger: r or n?
n
Let i = 5.27 + -1.27. Which is greater: -7.6 or i?
i
Suppose 0 = 2*k + 4*g + 8, -5*k + 5*g = -0*k - 10. Suppose k = n - 21 - 17. Which is bigger: 0.1 or n?
n
Let n(i) = -6*i**2 - 245*i + 43. Let q be n(-41). Does 114 = q?
False
Let u be 3/4 + 9/36. Let z = 19 - 12. Let h = -6 + z. Is u at least as big as h?
True
Let d = 0.45 - 0.06. Let k = 0.44 - d. Is k != -0.1?
True
Suppose 4*o - 13 = -o - 4*z, 0 = -4*o + 5*z - 6. Let y(l) = -32*l**2 - 3*l + 4. Let m be y(o). Which is smaller: -32 or m?
-32
Let n be 0*(-6 - -5) - 129. Do n and -131 have different values?
True
Suppose 0 = -2*w + 6*w. Let o(k) = w*k + 2*k + 0*k + 18 + k. Let z be o(-8). Is -6 bigger than z?
False
Let j = -5 + 5. Let z be 96/20 - (-2)/10. Suppose 2*w - z*w = -24. Which is greater: j or w?
w
Let k = -862 + 971. Which is smaller: k or 108?
108
Suppose -g = -5*x + 94, -2*g + 3*x - 242 = -26. Which is smaller: g or -1024/9?
g
Let a = 751 - 751. Which is greater: 1/370 or a?
1/370
Let l = -6/5 - -7/10. Let q(n) = -n**3 + 3*n**2 + 3*n - 2. Let f be q(3). Suppose 12*d + 5 = f*d. Which is smaller: l or d?
d
Let z = 88 - 433/5. Which is smaller: z or -6?
-6
Let q = -5 - -6. Let s(a) = 2*a**2 - 11*a + 6. Let o be -3 + 6/3 + 6. Let m be s(o). Is m < q?
False
Let w = -8064/1513 - 247177659/388841. Let q = w - -641. Are q and 1 equal?
False
Let w = 2 + -16. Let h be (-4)/24 + 157/6. Suppose l + s = -13, -7*s + h = -2*l - 5*s. Which is smaller: w or l?
w
Let c = 0.8 - 0.6. Let a = 0.7 - c. Let h = -0.4 - 0.6. Which is smaller: h or a?
h
Let q(c) = c**3 - 3*c**2 - 4*c - 4. Let b be q(4). Let d = -1 - 0. Let u be (-1)/(d - 38/b). Is 0 less than or equal to u?
False
Let v = -3 - -8. Let b = 1277/8 - 154. Is v < b?
True
Suppose 6*x - 126 + 12 = 0. Suppose 0 = -3*p + 23 + x. Which is smaller: 15 or p?
p
Let x be -8 + 1 - 608/(-90). Is -1 smaller than x?
True
Let v(m) = 16*m**2 + 126*m - 18. Let w be v(-8). Is w > -17/2?
True
Suppose -37*p + 108 = -33*p. Is 0.2 not equal to p?
True
Let y = 224 + -201. Is y <= 19?
False
Suppose 0 = -4*t + o - 3*o - 38, -5*o + 17 = -4*t. Let z be (-2)/2 + 10 + t. Which is greater: z or -2/415?
z
Suppose -3*k + 36 = -2*u, 2*u - 3*k - 9 = 3*u. Suppose 5*c - 62 - 18 = 0. Let x = c + u. Which is smaller: 1/2 or x?
1/2
Let m(x) = 9*x**2 - 3*x - 9. Let u be m(-4). Suppose -63 = -h - 0*h - 5*s, u = 4*h - s. Is h greater than or equal to 1?
True
Suppose 4*g = 394 - 98. Suppose 4*j = -3*p - g, 0 = 4*p + 4*j + 64 + 28. Let t be 4/p + (-512)/(-36). Are 14 and t unequal?
False
Let m = -14 + 14. Suppose -3*p + 4*p - 39 = m. Suppose -f - 2*f = p. Are f and -14 unequal?
True
Let s = 84490/17138867 + -1/27959. Are 0 and s equal?
False
Let w = 28 + -34. Let y(c) = -c**2 - 7*c - 1 - 5 + 2. Let v be y(w). Is v greater than 1/2?
True
Let b = -166 - -299. Are 134 and b equal?
False
Let m = 8 - 4. Suppose -2*q - m - 4 = 0. Let d = q + 2. Is -1/2 greater than d?
True
Let c be (2 + 2 + -1)/(89/(-6497)). Are c and -219 nonequal?
False
Let a(m) = m**2 + 3*m - 26. Let p be a(-7). Let l(y) = 4*y - 2. Let k be l(p). Which is greater: k or 60/11?
k
Let s = -0.068 + -5.732. Let d = -5.4 - s. Is -5 bigger than d?
False
Suppose -2*d + 11 + 0 = -3*q, 3*d + 2*q = -16. Suppose -t = 4 - 0. Is d > t?
True
Let q = 1.29 - 0.29. Let n = 0.403 + -0.443. Which is greater: n or q?
q
Suppose 0 = -c - 4*p - 9 - 1, -4*c + 14 = -2*p. Suppose -4*t + c*b = 3*b - 101, -t + 5*b = 1. Let s be ((-1)/(-10))/(4/t). Which is smaller: s or 2?
s
Let w = 0.34 + 21.66. Let r = 22.5 - w. Let h be ((-1)/1)/(3 + -2). Is r less than h?
False
Let x = 291 + -189. Let n = x - 101. Which is smaller: n or -1/2?
-1/2
Let s(f) = -f**2 - 9*f - 4. Let x be s(-7). Let h(k) = k + 7. Let g be h(5). Which is bigger: x or g?
g
Let s = -66 + 64. Let y be (2*(-1)/(-2))/s. Let f = -5 - -3. Which is bigger: y or f?
y
Let a be 57/(-95) + (-2)/5. Let s be 4/6*(1 + -7). Let r = s - -4. Which is greater: a or r?
r
Let c(n) = n**3 - 5*n**2 - 2*n - 4. Let s be c(5). Let g = s + 4. Let a = g - -16. Is a equal to 7?
False
Let y(n) = 4*n**2 + 5*n - 2. Let l be y(-2). Which is smaller: 44/9 or l?
l
Let z = 83/15 + -21/5. Let v = 283 + -281. Which is smaller: v or z?
z
Suppose -60*z - 60 - 180 = 0. Is -22 bigger than z?
False
Let v be (105/(-14) - -6)/((-9)/6). Which is smaller: 4/271 or v?
4/271
Let k be 2 - 3 - -3 - 2. Suppose 4*f = -5*t + 53, k = 5*f - 11 + 1. Let h be t/(-12) - (-1)/(-4). Which is greater: -5 or h?
h
Suppose -5*q = -2*a + 6*a - 142, 3*q + 2*a = 84. Let l(u) = 3*u + 48. Let w be l(-7). Which is smaller: w or q?
q
Let t = -2/837 - -283/1674. Is t greater than or equal to 11?
False
Let x be ((-4)/(-18))/((-12)/(-216)). Is x bigger than 33/13?
True
Let u(h) = -h**3 - 3*h**2 + 10*h + 2. Let t = -65 - -60. Let j be u(t). Do j and 12/5 have the same value?
False
Suppose 0 = -0*t - 4*t - 96. Let f be (-6 - (-5 - 0))*25. Is f > t?
False
Let l = 103198/7 - 14768. Is l <= -0.1?
True
Suppose -4*h + 2*k = 4*k - 256, -4*h + 268 = -k. Let b = 164 - 97. Is b less than h?
False
Let v = -1 + 0. Let y = -7360 + 36541/5. Let b = -52 - y. Which is smaller: v or b?
v
Let m be 88/(-286)*(-10)/(-16). Which is greater: -1 or m?
m
Suppose 4*w - 8*w = 0. Suppose f + 5*y = 1 - 22, 2*f - 2*y - 6 = w. Is 1 greater than or equal to f?
True
Let v be ((-2)/(-3))/((-4)/(-48)). Suppose -10*g - 27 = -13*g. Is v > g?
False
Let j = -1475.97 + 1482. Let p = j + -6. Let k = 952 - 952. Are p and k nonequal?
True
Let n = -2526 - -2527.031. Is n bigger than 0.1?
True
Let b = 253/5300 + -1/100. Let y(f) = -5*f**2 - 13 + 7*f**2 - 17*f + 4. Let t be y(9). Is b != t?
True
Let x be (5/(-10)*8 - -5)*-1. Is 2/351 equal to x?
False
Let n = 7 - 5. Suppose 1 = -5*c + n*w + 11, -2*c = 5*w + 25. Suppose -4*q + 77 - 25 = c. Is 13 greater than q?
False
Let i(u) = -1 - 22*u**2 - 20*u + 9*u**2 + 12*u**2. Let l be i(-20). Are l and -7 nonequal?
True
Let z(a) = -a**2 + 13*a + 6. Let i be z(8). Let y = i + -41. Which is smaller: -1 or y?
-1
Let j be ((-8)/(-1308))/((-19)/(-114)). Which is greater: j or -1?
j
Let h(i) = 2*i**2 - 2*i + 2. Let o be h(2). Suppose 4*c = -5*j + 129 + 37, -3*c - 3*j + 126 = 0. Let l = c - 40. Which is smaller: o or l?
l
Let h be (66/18 + -3)/(2/(-1317)). Are -879/2 and h non-equal?
True
Let l be (32/12)/(1/3). Let b be 4/(-16) - (-2)/l - -1. Is 7/13 smaller than b?
True
Let t = 10 - 8. Let f = t - 2.5. Let y = -6.5 + f. Which is s