
Let t = 17 + -13. Suppose -2*k - 56 = -4*y, t*k - y + 114 = -5. Is k at most as big as -31?
False
Suppose -2*w = 3*w - 5. Let u = w + 1. Let v = -59 - -59.2. Is u smaller than v?
False
Let l = 1163 + -1122. Which is bigger: l or -0.06?
l
Let d = 13/326 + -4081/4238. Suppose 0 = 2*g - g. Which is smaller: d or g?
d
Let k(l) = -l**2 + 10*l + 25. Let r be k(14). Which is bigger: -28 or r?
-28
Suppose 3*i + n + 4 + 12 = 0, -3*i - 10 = -5*n. Let f(w) = -w**2 - 7*w - 12. Let x be f(i). Which is bigger: -3/5 or x?
-3/5
Let m = 10987/414 - 8/207. Let k = m + -25. Let u(j) = -2*j**2 + 1. Let b be u(-1). Does b = k?
False
Let p be 96/(-56)*14/(-4). Let o(h) = -h + 14. Let u be o(10). Let z be p/u*(-20)/30. Which is greater: 0.2 or z?
0.2
Let i = -4/335 - -53/10050. Which is greater: 0.2 or i?
0.2
Let y be (-5 - 0) + -27*(6 - 7). Which is smaller: 156/7 or y?
y
Let y be (24/(-33))/4 + (-360)/440. Is y at least as big as -4/1293?
False
Let c = 205/4 + -51. Let f(p) = -5*p - 3. Let y be f(-2). Let l be ((-18)/(-21))/(4/y). Is c at most as big as l?
True
Let d = 7219/42 - 172. Is 0 at least as big as d?
True
Suppose n + 46 = -0. Is -47 < n?
True
Let g = 382 + -571. Which is smaller: g or 1/3?
g
Let f(p) = -p + 3. Let k be -3 - 12/(12/4). Let g be f(k). Let i = -16 + g. Is i at least as big as -5?
False
Let l = 6464 - 25733/4. Is 32 at most as big as l?
False
Let o = -5.63 + 5.43. Let h = 1.2 + -0.4. Let a = h - o. Are -2/5 and a non-equal?
True
Suppose o = -4*n + 113, -7*n + 3*n + 133 = 5*o. Let s = 22 - n. Which is smaller: -18/5 or s?
s
Let f = -244 - -241. Is f less than -31?
False
Let k = 80 - 86. Let f be 15/k - (-306)/116. Are 1 and f unequal?
True
Let u = -4.02 + 0.02. Let n(a) = -16*a**2 + a + 1. Let o be n(-1). Let t be 33/(-60) + o/(-20). Which is smaller: t or u?
u
Let q(c) = c**3 + 8*c**2 + 3*c + 99. Let l be q(-11). Which is greater: -295 or l?
-295
Let g be 6880/(-20712) + (-2)/(-6). Does 0 = g?
False
Let x = -19 - -21. Suppose -h + f + x*f = 12, 16 = -3*h - f. Is h at least as big as -23/5?
False
Let x(p) = -p - 1. Let q(y) = 15. Let j(c) = -q(c) - 10*x(c). Let v be j(3). Is 26 greater than v?
True
Let j = -1.62 + -1.2. Let i = -7 + 10. Let z = j + i. Which is bigger: -0.1 or z?
z
Suppose -2*r - 6 = -c, c - 1 = -3*r - 10. Suppose -s = 3*k + 13, c = -2*s - k - 4 + 3. Are 5/2 and s nonequal?
True
Suppose t + 5*j = -3*t - 69, 5 = -5*j. Let r = t + 8. Let n = 7 + r. Which is smaller: 3/7 or n?
n
Let c be ((-1079)/(-30))/13 - 3. Let a = -41/90 - c. Is a at least 2?
False
Let r = -4 + 9. Suppose -r*b + 24 = -2*b. Let l be 2/4*b/(-4). Is 4/21 equal to l?
False
Let t(c) = 7*c - 1. Let p be t(1). Let x = 21 - 2. Let g = 26 - x. Is g smaller than p?
False
Suppose 0 = 6*t + 329 + 445. Which is smaller: -652/5 or t?
-652/5
Let y be 0 - (0/1 + 1). Let m be 10 - 6 - (-9)/y. Let s be 1/3 + 7/(-3). Are s and m equal?
False
Suppose -30 = 7*r + 68. Let v be 28/441 + 4/r. Which is smaller: v or -2/55?
v
Let u = -2.09 - -3.09. Is 75 bigger than u?
True
Let r = -387 + 385.41. Let d = r - -1.5. Let z = -0.19 - d. Which is bigger: z or -3?
z
Suppose -70 = 12*s + 110. Suppose 2*f - 3*p = -6*p - 15, 15 = 3*p. Is s < f?
False
Let z = 47 + -48.9. Let m = z - -2. Which is bigger: m or 2?
2
Suppose 5*j + 4*j - 11*j = 0. Which is smaller: j or -16/11?
-16/11
Let w = -0.143 + -6.557. Let y = w + 7. Which is bigger: 8 or y?
8
Let t = -0.0252 - 15.9748. Let d = -1 - -1. Is t less than or equal to d?
True
Let d = 1.87 - -0.03. Let y = 2.3 - d. Let o = 0.2 + 0. Is y greater than or equal to o?
True
Suppose -3*o = 4*l - 48, l = -o + 3*l + 6. Let g(u) = u**3 + 15*u**2 + 14*u + 13. Let j be g(-14). Which is smaller: o or j?
o
Let b(c) = 2*c + 8. Let q be b(-5). Let o(n) = -n**3 - 3*n**2 + n - 2. Let p be o(-3). Let a be (q - p) + -1*3. Which is smaller: a or -1/4?
-1/4
Suppose 0 = -4*n + 5*v - 1256, 16*v - 977 = 3*n + 21*v. Which is smaller: n or -320?
-320
Let o = -938 - -1198. Is 261 less than o?
False
Let b = -594253/7 - -85058. Let t = b + -165. Is t not equal to -22?
True
Suppose 10*w = -4*v + 6*w + 20, -v + 11 = 4*w. Let c(g) = g**2 - 10. Let s be c(v). Which is bigger: -2/35 or s?
-2/35
Let o(g) = g - 47. Let h be o(-9). Let d = -57 - h. Which is bigger: -3/25 or d?
-3/25
Let p = 214 + -212. Which is smaller: -3 or p?
-3
Let j = -987/5 + 199. Let f(h) = -h**3 - 5*h**2 + 2*h + 8. Let t be f(-6). Let p be (1/2)/(8/t). Which is smaller: j or p?
j
Let g = -32 + 24. Suppose 8*w - 3*w = 40. Suppose x - 2*s = -3*s - 12, 3*s = x - w. Is g < x?
True
Let t = 16 - 15.93. Let j = 0.47 - t. Let x = j - 0.3. Which is smaller: x or -12/7?
-12/7
Let r be (280/(-98))/(-3 - 290/(-98)). Are 70 and r equal?
True
Let g = 0.062 + 52.938. Let x = g - 49. Which is smaller: x or 0.2?
0.2
Let p = -4 + 18. Let f = p - 14. Which is greater: -2/21 or f?
f
Suppose 0 = -51*t + 19*t. Which is bigger: t or -3/97?
t
Suppose 0 = -n + 3*l - 21, 35 + 56 = -5*n + l. Let o = n + 19. Which is bigger: -5 or o?
o
Let z = -9 - -8. Let u be 2/(-7) + 185/35. Which is greater: z or u?
u
Let b(y) = -9*y - 29 + 15*y**2 - 3*y + 0*y**2 - y**3. Let t be b(14). Which is smaller: t or -2/17?
t
Let i(h) = -h. Let b(c) = 2*c - 1. Let s(z) = 2*b(z) + 3*i(z). Let w(y) = 2*y**2 + 35*y - 56. Let f be w(-19). Let k be s(f). Is k greater than 1/11?
False
Let o be (-1 - (-9)/3) + -3. Let l be 2 + o/6*37. Let v(b) = -b**3 + 2*b - 25. Let x be v(-3). Is l less than or equal to x?
True
Let m be 3/14*2 - (-3014)/154. Which is greater: 3 or m?
m
Let t be 1/(-3*3/21). Let d be 6/(-4)*(-6 - -8). Which is smaller: t or d?
d
Let p = -2461/36 + 658/9. Suppose 5*y - x - 2 = -0, 5*y - 2*x = -1. Is p > y?
True
Let z = 66 - 49. Let l = z - 14.7. Which is greater: l or -1?
l
Let u = -9378/5 - -1883. Let p(q) = 4 + 7 - q + 5 + 1. Let k be p(11). Is u smaller than k?
False
Let n = 90.19 - 101.1. Let l = n - -11. Let o = 227 - 683/3. Which is smaller: l or o?
o
Suppose v + 5 = -3*s, -2*v = 5*s - 4*v + 23. Let u(k) = k - 5. Suppose -4*r = -2*j - 2, 6*r - j = 2*r + 5. Let l be u(r). Is l less than s?
False
Let k = -0.22 + 0.19. Let r = k - 3.97. Is 0.2 at least as big as r?
True
Let i(r) = -r + 9. Let p be i(7). Let a be (1/p)/(15 - 2). Which is greater: a or -1?
a
Suppose 4*z = z + 39. Suppose -8 - 19 = -3*m. Let y be (-2 - -3) + 3 + m. Is z > y?
False
Let y be (10/5 - -7) + -28. Let w = -3/2 + 20. Let t = y + w. Is 0 smaller than t?
False
Let k = -1827 - -84033/46. Which is bigger: -1 or k?
k
Suppose 8 = 3*v + 5*n, -8*v = -7*v - 2*n + 1. Is v greater than 14/27?
True
Let b = -42.98 - 0.02. Let t = 15/2 - 8. Which is bigger: t or b?
t
Let q be (-1)/2*8 - -1*4. Let m = -31/52 + 4391/7540. Is q equal to m?
False
Let m = 33 - 26. Let n be (m - 4) + 354/(-40). Let d = n + 25/4. Is -0.2 at least d?
False
Let k = 9 - 6. Suppose z - q - k = 0, -4*z + q - 3*q = -12. Suppose -2*t + 29 = -z*r, 2*r + 0*t - 2*t = -20. Are r and -9 non-equal?
False
Let o = -50/247 + -428342/2223. Let f = 194 + o. Is f less than 0?
False
Let j be 4/(-6)*3/(-3). Suppose 0 = 4*s + 3*q + 2039, -4*s - q - 515 = 1514. Let k = s + 5572/11. Which is bigger: j or k?
j
Let m(z) = -4*z + 34 - 39*z**2 - 2*z + 8*z + 38*z**2 + z**3. Let w be m(0). Which is bigger: w or 35?
35
Let j = -775/1441 + -1/131. Let q(d) = d**3 + 2 - 1 + 6*d - 4*d**2 - 4*d. Let l be q(3). Which is smaller: l or j?
l
Suppose 0 = -2*s + 3*s - 4. Suppose 5*k = 4*b + 32, 3*b + 40 = -s*k + 16. Which is bigger: b or -35/4?
b
Let a(v) = 11*v - 38. Let m be a(4). Suppose 0 = -2*p - j + 2*j, 3*j = -3*p + 18. Suppose 5*b - 40 = -3*l, 3*b - p*b + 5 = 2*l. Is m >= l?
True
Let n = 11126 - 55828/5. Which is smaller: -40 or n?
-40
Let z be (48/(-72))/((-2)/30). Suppose -3*h + 4*p = 6*p + 30, -h - z = -5*p. Is h at least -0.01?
False
Let u be -8 + 6 + -2 - -11. Suppose 4*x + 0*x = 24. Let y be 12/(-7)*(-21)/x. Which is bigger: y or u?
u
Let w(m) = -6*m - 3. Let p be w(3). Let u be 162/p + (-4)/14. Let q = -0.046 - 0.054. Which is bigger: u or q?
q
Let r = -8 + 14. Let c be (16/(-60))/(2/(-3)). Which is smaller: c or r?
c
Let p = 16 - 41. Let y be ((-8)/3*9)/1. Do p and y have the same value?
False
Let g be (-36)/234 - (-1857)/(-13). Is -143 greater than or equal to g?
True
Let o = -28.04742 + 0.03742. Let t = 28 + o. Is -9 less th