s 1 greater than l?
True
Let s be -8 - -12 - 132/34. Are -5 and s unequal?
True
Suppose -5*g - 2*a - 6 = 0, 0*g + 4*a + 12 = g. Suppose 0 = 3*j - g*j + 57. Suppose 0 = -0*u + 4*u + 72. Which is smaller: u or j?
j
Let b = -32 - -47. Let k = 15.4 - b. Let m = -0.4 + k. Is 0.3 bigger than m?
True
Let a be (-288)/(-45) + -7 - 291/65. Which is smaller: a or -4?
a
Let d = -26807/820 - 12/205. Which is smaller: d or -33?
-33
Let h = 139 + -139.2. Is h greater than or equal to 26?
False
Let a = -51.3 - -3.3. Let t = -31 - a. Let x = t + -17.08. Is x < -1?
False
Let i = -20 + 25. Suppose 29 = -u - i*w, -6*u + u + w = 171. Which is smaller: -36 or u?
-36
Suppose 0 = 4*f + 5*s - 335, 3*f + 3*s = 53 + 202. Is 88 >= f?
False
Let k(u) = 3*u - 47. Let d be k(15). Is d at most as big as -18/11?
True
Let u be (-2075)/1037 + (33 - 31). Is u equal to 1?
False
Suppose 5*w - 2*z + 2 - 1 = 0, 3*w + 5*z = 18. Is 5 less than or equal to w?
False
Let b(q) = q**2 - 1. Let r be b(2). Suppose -r*i = -0*i. Let w be (1 - 1)/(i + -1). Is 3/8 less than w?
False
Let h(y) = y + 10. Let q be h(-5). Suppose q*r + 0*r = 25. Suppose r*s + 3*v + 9 = 0, 2*s + 2*s + 5*v + 15 = 0. Which is smaller: 3/7 or s?
s
Let v = 25 + -21. Suppose 4*w + 0 = -2*r + v, -4*w - 8 = 5*r. Let n be r/(-10) - 7/(-70). Is n < 2?
True
Suppose 2*i + 38 = -5*f, -i - 17 = -5*f - 58. Let a = f + 8. Let b be 15/30*8/10. Is a less than or equal to b?
True
Let l = 2 + -3. Let y = -721 + 475. Let k be ((-3)/4)/(y/8). Are l and k equal?
False
Let g = -63 + 63. Let s = 9.08 - 9. Is s greater than or equal to g?
True
Let k be (57/(-76))/((-19)/(-8) - 2). Let n = -684/7 + 97. Is k < n?
True
Let b = -793/5 - -158. Let k(j) = -j**2 - 2*j**2 + j**3 - 2*j**2 - 2 - 6*j. Let l be k(6). Which is bigger: b or l?
b
Let m(v) = -3*v**2 - 3*v + 5. Suppose 10 + 65 = -15*j. Let i be m(j). Are -55 and i nonequal?
False
Suppose -1044 = 2*z - 3*h, 0 = -3*z - 5*h + 339 - 1943. Are z and -527 equal?
False
Let q be (-32)/24*(-6)/4 + -4. Let n(r) = -3*r - 6. Let l be n(q). Which is smaller: -2/37 or l?
-2/37
Let w(r) = 4*r**3 - r**2 - r + 2. Let t be w(1). Suppose -5*p - t = -3*p. Is -24/13 less than or equal to p?
False
Let k(o) = -o**2 - 3*o + 41. Let t be k(-8). Which is smaller: -1/455 or t?
-1/455
Let a(n) = -n**3 + 4*n**2 + 4*n + 5. Let r be a(5). Suppose r*d + d = 4. Suppose -d*f + 2 = -5*f. Which is smaller: f or -3/5?
f
Let q = -107 + 74. Let n = 32.99 + q. Which is smaller: -2/5 or n?
-2/5
Let v = 5 + 0. Suppose -16 = v*r - 1. Let j be r/(-9) - (-48)/(-9). Which is smaller: -1 or j?
j
Let y = 0.1576 - -6.0424. Does y = -2?
False
Suppose -15 = -3*g + 4*y, 4*g = 9*g + 4*y + 7. Is -2/135 less than g?
True
Let b = 0.2 + -0.2. Let l = b + -0.1. Let g = 3.723 + -3.923. Which is smaller: l or g?
g
Let m be 3/((-3)/(-2)) - -1. Let v be (-9)/(-5)*(3 + 91/(-42)). Which is bigger: v or m?
m
Let p(g) = -g - 32. Let o be p(0). Let y = o + 26. Which is greater: y or -26/5?
-26/5
Suppose 2*z + 6 = 0, 4*k - 5*z - 1 = 22. Let l be 405/(-18)*k/(-24). Let s be (-3)/(-2) + 1/2. Are s and l equal?
False
Let b be ((-2)/(-4))/(2/16). Let c = 31 + -27. Suppose -4*r + 0 = -c. Which is bigger: b or r?
b
Suppose 0 = 4*a - 14 - 14. Suppose -2*s - 3*n - 17 + 5 = 0, 3*s = n - a. Is -24/13 bigger than s?
True
Let j be (44/(-10) - -4)*-5. Suppose -i + 0*i + 57 = -j*w, 0 = -5*w - i - 146. Which is bigger: w or -30?
w
Let d(o) = o**3 - 3*o**2 + 208. Let z be d(0). Which is greater: 209 or z?
209
Let b = 70 - 361. Let x = b - -5532/19. Which is greater: x or 0?
x
Suppose 3*h = 2*x + 3*x - 105, -6 = 2*x. Let y = 43 + h. Which is smaller: 4 or y?
y
Let w = -28 + 41. Suppose -5*z = 4*d - 68, 3*z - 5*d = 10 + 16. Is w less than z?
False
Let u = -75 + 79. Suppose -5*w - 4 = -u*c - 1, c = w. Is c >= -6?
True
Let s = -130968/115 + 5686/5. Which is greater: s or -3?
s
Let w = -353 - -422. Is -0.7 bigger than w?
False
Let u be -105 - (-8)/(3 - 1). Let l be u/(-5) - (-16)/(-80). Let p = -20 + l. Is 6/5 less than or equal to p?
False
Let t be 4/12*(-162)/42. Which is smaller: 0.3 or t?
t
Let v(l) = l**3 + 4*l**2 + l - 4. Let j be v(-3). Suppose j*c - 3 - 7 = 0. Let s(a) = a**2 - 5*a. Let r be s(c). Do r and 2/11 have the same value?
False
Suppose -2*r + 4*s = -10 - 32, -5*r + 5*s + 125 = 0. Suppose 3*n - 1 = r. Is 10 <= n?
True
Let g be (-19)/2 - (-2)/(-4). Let m be (-474)/36 + 21/18. Is m < g?
True
Suppose 7 = 2*v - 3. Suppose -3*i + 66 = -4*g, -g + 4*g = -v*i + 110. Let n = -127/6 + i. Is n at most as big as 1?
True
Suppose -2*g + 4 = 5*q - 3*g, -2*q + 8 = -2*g. Suppose 4*c - 10 = 5*d, -c + 3*d + 2 = 3. Suppose -9 = 2*k - c. Is q greater than or equal to k?
True
Let j be -1 + -1 + 22 + -1. Let b = -9 + j. Suppose 5*z - 7 = 3*s + 7, 3*s + b = z. Which is greater: z or 2?
2
Let m(p) = -p**3 - 21*p**2 - p - 19. Let l be m(-21). Are -0.3 and l non-equal?
True
Let h(n) = -n**3 + 42*n**2 + 43*n - 3. Let y be h(43). Is y less than 29?
True
Let h = 13 - 12.6. Let a be 15/35*2*(-28)/(-80). Which is smaller: a or h?
a
Let t(i) = -4*i - 7. Let h(y) = y**2 - 11*y + 18. Let p be h(8). Let q be t(p). Which is smaller: 15 or q?
15
Let n(v) = -v + 12. Let s be 2 + -3 + 4 + 10. Let b be n(s). Is -2/9 greater than or equal to b?
True
Let q be -11 - (-3)/2*6/(-9). Is 13 at least as big as q?
True
Suppose -28*p + 598 = -51*p. Are -26 and p nonequal?
False
Suppose 0 = -q + 5*f + 3, -9 = -3*q - 0*f - 5*f. Let o be q/(-15)*10/(-12). Suppose 3 = -5*z + 2*v, -z - 1 = 2*z - 2*v. Which is smaller: o or z?
z
Let g(f) = -7*f**2 - 25*f + 20. Let w(k) = 3*k**2 + 12*k - 10. Let r(n) = 2*g(n) + 5*w(n). Let a be 2/(-8)*(15 + 29). Let j be r(a). Are j and 5/4 non-equal?
True
Suppose 0*f - 2*f + 6 = -3*b, -4*f + 2*b + 4 = 0. Let l be (1 + f)/(1*(0 + 1)). Which is bigger: -15 or l?
l
Let a = 1/43 - 54/473. Suppose -1 = -x - 5*m - 21, 0 = x - m - 4. Suppose -2 + x = 2*d. Which is bigger: d or a?
a
Suppose -5*v = -22 + 2. Let n be v/10 + 81/(-15). Let o(t) = -t**3 - 5*t**2 - 7. Let g be o(n). Which is greater: g or -2?
-2
Let a(d) = 2*d + 11. Let o be a(-11). Let g(c) = 3*c + 7. Let j be g(o). Let y be 2*41/j - -3. Is y >= 1?
False
Let k(c) = -11*c**2 + 21*c - 3. Let z(m) = 7*m**2 - 14*m + 2. Let g(d) = -5*k(d) - 8*z(d). Let n be g(6). Let w be (n/10)/((-7)/(-4)). Which is smaller: w or 0?
0
Suppose 7*a - 10*a + 3*s - 9 = 0, -4*a = -s. Is a at least as big as 2/231?
True
Let b(n) = 2*n + 20. Let g be b(-9). Suppose -j = -2*y + g, -4*y = -y - 2*j - 1. Which is smaller: y or -11?
-11
Let u(h) = 3*h + 17. Let p be u(-6). Which is bigger: -7/46 or p?
-7/46
Let p = 127 + -68. Let o = p + -175/3. Let a = -7.7 - -5.7. Is o equal to a?
False
Let c be (4 - (-68)/(-14))*14/(-16). Let j = 2 - 2. Is j >= c?
False
Let j = 3 + -5. Let o = 12 - j. Suppose -o*g = -15*g. Is g less than -1/4?
False
Let d = 20062/15 + -1336. Is d equal to 1?
False
Suppose 37 = 25*p + 212. Is -0.18 equal to p?
False
Let v be (-102*(-2)/8)/(3/(-37)). Let q = v - -300. Is q != -15?
True
Let c = -1499 - -1502. Which is greater: 29/15 or c?
c
Suppose 0 = 3*s + 231 - 81. Let f be ((-427)/(-70) + -7)/(12/s). Let t = 13 + -8. Which is smaller: t or f?
f
Suppose 0 = -5*a + 20, -5*a = -2*p - 0*p + 100. Suppose -4*l - p = 4*g, -2 - 67 = 5*l - g. Let o be (-4)/l + (-71)/224. Is o less than 0?
True
Let w be 2/(-13) + 398/(-2145). Let k be (-86)/330 - (-2)/10. Let t = k + w. Which is smaller: t or 1/3?
t
Let j be (16/19 - 2) + 1. Let i = 7/76 - j. Which is greater: i or -0.1?
i
Suppose -2*j - j + 4*m = 5, -2*j - 4 = -3*m. Suppose 0 = 4*z + 3*h - j - 3, 0 = -3*h. Let s be -2 + (-100)/108 - -3. Is s bigger than z?
False
Suppose 0 = -5*s + 4*s - 5*j + 18, 42 = 3*s + 3*j. Is s >= 47/4?
True
Let t be (0 - -6)/(-6)*(1 + -2). Which is greater: t or 1/300?
t
Let c = -0.26 - -0.1. Let q = c + 0.26. Is q > 0.3?
False
Let n be -1 + 38/14 + -2. Let s = -8 + 21. Let a = 12.6 - s. Is a at least n?
False
Let s = -470 + 471. Which is smaller: -26/81 or s?
-26/81
Suppose 2*r = 4*a + 21 + 11, -3*r + 4*a + 42 = 0. Let p = r + -15. Is -32/7 less than p?
False
Let l be (8/(-72))/(1*(-3)/2). Which is smaller: l or -1?
-1
Suppose -2*i + 32 - 122 = 0. Let a be 80/i - (-2)/(-9). Which is smaller: a or -1?
a
Suppose 0 = 4*p + 12, l + 8 = -p + 9. Which is smaller: l or 45/17?
45/1