Is l at least as big as 3/341?
False
Let x = 233 - 232. Which is bigger: x or -2?
x
Let j be (-6 + 2)*(-2 + 1*-5). Suppose -2*b = 8 - j. Is 7 less than b?
True
Suppose -13*x + 9*x = -144. Suppose -k - x = -2*l - 5*k, -l + 3*k - 2 = 0. Is l less than or equal to 5?
False
Let s = 321 - 322. Do s and 6/53 have the same value?
False
Let w = 0.35 - 0.1. Let k be (-65)/(-39) - 12/9. Is k bigger than w?
True
Let g(j) = -j**2 - 5*j + 25. Let i(u) = -9*u**2 - u + 2. Let y be i(1). Let p be g(y). Which is smaller: -4/105 or p?
-4/105
Let p = 0.04 + -26.04. Let j = -0.4 + 18.4. Let s = p + j. Is 2 <= s?
False
Let p be (4/(-3))/(20/(-30)). Suppose -6*j + 3*j = -2*y - p, 0 = -5*j - 4*y - 4. Which is smaller: -1/3 or j?
-1/3
Suppose 5*d = -2*p + 495, 4*p + 2*d = 350 + 648. Suppose -2*z + p = k, z + 2*z + k = 375. Let r = z + -497/4. Which is smaller: 2 or r?
r
Let q = 6 - 13. Let w be 93/7 + 28/(-98). Suppose -3*i = w + 5. Is i less than q?
False
Let r be -1*(-6217)/(-21) - 39/(-13). Let f = r - -293. Are -0.1 and f unequal?
True
Suppose 0 = -3*g + 4 + 2. Suppose -3*v = -30 + 3. Suppose -4*p + 5*m + 11 = 0, 0 = -m - g*m - v. Which is smaller: 0 or p?
p
Let i = 131.4 - 117. Let w = i + -9.4. Is w at most -6/7?
False
Let h(w) = -w**3 - 3*w**2 - 3*w - 2. Let a be h(-3). Let c = -1634 + 1647. Which is greater: c or a?
c
Suppose -5*o = c - 57, 1 = c - 1. Let r(x) = x**2 - 11*x - 1. Let t be r(o). Do t and -2 have the same value?
False
Let h = -1900 - -1901. Is h > 889?
False
Suppose -m = 2*a + 50, -9*m - 5*a + 57 = -10*m. Is -11 < m?
False
Let g = 3 + -1. Let z be 6/3 - 1 - 0. Let y be (z/5)/(30/(-25)). Is y bigger than g?
False
Suppose -793*k = -795*k + 512. Is 258 != k?
True
Let w = -617/1813 - -18/49. Does 1 = w?
False
Let o be 2/4*(-1 - -9). Suppose -4*j + 4*f = 4, o*j - 19 = -j - f. Suppose -2*u = 8*a - 3*a - 33, 0 = -j*u + a + 7. Which is smaller: u or 6?
u
Let l = -0.016 + -0.784. Let s = -3 + 4. Which is bigger: s or l?
s
Suppose -5*r + k = -0*r + 792, -5*r = -2*k + 789. Is r != -158?
True
Let d = 1194 + -79986/67. Is d less than 0?
False
Suppose -90 = -0*x - 3*x. Let u = 40 + -59. Let z = u + x. Which is greater: 10 or z?
z
Let p be 52074/10962 - (0 + 3/7). Let y be 267/(-522) - 2/(-4). Let b = y - p. Is b less than -4?
True
Suppose 2*x + 8*x = -30. Is -16/5 at least as big as x?
False
Let b be 3/(-18) - 2/6. Which is bigger: b or 702?
702
Let h = -67 + 68. Is h equal to 1/122?
False
Let g(w) = w**3 + 6*w**2 - 9*w - 5. Let d be g(-7). Let b be ((-12)/d)/(60/18). Let o be ((-2)/(-6))/(2/(-3)). Is o greater than or equal to b?
False
Let h(s) = 3*s**3 - 2*s**2 + s. Let t be h(1). Let w(i) = 0*i**3 - 2*i**3 - i**2 - 1 + 3*i**3 + t. Let k be w(1). Is k < -1?
False
Let b(i) = -4 - 3*i**2 + 3 + i**3 + 7 - 4*i. Let s be b(4). Suppose -2 = -u - s. Which is greater: -2 or u?
-2
Let z(v) = -v**2 - 8*v. Let i be z(-7). Suppose -i = -2*o - 19. Is -17/3 equal to o?
False
Let w = 3.155 - -0.345. Is w at most as big as -2/23?
False
Suppose 3*l = -52 - 2. Does l = -16?
False
Suppose 3*n + 7 + 8 = 0. Let w be 0/((-6)/(6/2)). Which is smaller: w or n?
n
Let h = 0.6 - 0.5. Let l = 2.13 + -13.03. Let o = 11 + l. Is o at most as big as h?
True
Let j = -106 + 93. Let y(v) = -3*v - 38. Let r be y(j). Is 2 != r?
True
Let k be (234/(-45))/((-2)/5). Let l be (-5 - -1) + k + -6. Suppose l*w + 3 = -0*b + 3*b, 0 = -5*w - b + 7. Which is smaller: 6 or w?
w
Let b = -51158/36261 + -2/2133. Are -1 and b nonequal?
True
Suppose 18 = 2*i + 20. Which is smaller: i or 0?
i
Suppose 2*p + 47 = 3*d, 5*p = 2*d - 52 - 60. Let g = -111/5 - p. Let v = -1.3 - 3.7. Which is bigger: g or v?
g
Let o be (0 - 46/(-76)) + 240/(-480). Let n = 0 - 1. Are o and n unequal?
True
Let q = -659 + 479. Is q smaller than -179?
True
Let x be (-8)/(-12) + (-31)/(-39). Which is smaller: 1 or x?
1
Let m = -54.4 - 7.6. Which is greater: -2 or m?
-2
Let k be (-132)/(-405) + 20/(-50). Suppose 6*v - v = 10. Let j be ((-1)/(-1) + 1)/v. Does j = k?
False
Let f(w) = 4*w + 22. Let b be f(-5). Suppose -k = -0 + b. Which is bigger: 0.04 or k?
0.04
Suppose 3*b = -4*d + 2*b - 4, -12 = 3*d + 3*b. Which is smaller: d or -4/99?
-4/99
Let n = 1/22 - -113/1386. Is 0 bigger than n?
False
Let g be (916/3)/((-504)/(-1134)). Which is bigger: g or 688?
688
Suppose 2*k + 9 = 59. Suppose -5*b - k = 0, -w + 2*b = -2*b - 45. Is 26 less than or equal to w?
False
Let a(x) = -3 + 9 - 1 + 2*x. Let c be a(-7). Is c at least -8?
False
Let j be (-2)/(-5) + 182/(-30). Let i(u) = u**3 - 3*u**2 - 13. Let w be i(4). Let n be 5/(-1 - w - (1 + -4)). Do n and j have the same value?
False
Suppose 148 = -3*s + 40*s. Suppose -2*a = -a - 3. Let k = 4 + a. Is k bigger than s?
True
Let v = -20/59 + 6378/18467. Is -1 at least as big as v?
False
Let c = 28 + -54. Let h = 31 + c. Is 1 bigger than h?
False
Suppose -4*r - 4*t + 2440 = 0, 0 = r + 4*t - 974 + 376. Is r != 614?
False
Suppose -19*c - 5 = -24. Which is greater: 2/1727 or c?
c
Let v = -60 + 32. Let m = -54 - -26. Is m at least v?
True
Let i = -30 - -59/2. Let u = 30 - 30.23. Let c = u - 5.77. Is i < c?
False
Let q = -190213/19 - -10014. Which is bigger: 2 or q?
q
Suppose -y = s - 4, 4*y - 9 = -5*s + 6. Let z(g) = 5*g**3 - g**2 - 2. Let x be z(-2). Let b = x - -49. Is b bigger than y?
False
Suppose 0 = -7*l + 12*l. Suppose l = u - 0*u. Is u less than or equal to -6/7?
False
Let v(y) = 32*y + 215. Let b be v(-20). Do b and -425 have different values?
False
Let b = 8.177 - 0.177. Is b > 31?
False
Suppose -k + 3 = -p, -3*k + 2*p = -8*k + 1. Let c be k/2*(-20)/30. Let b(u) = -u**3 - u**2 - 1. Let q be b(0). Which is bigger: c or q?
c
Let h = 4.62 + -4.82. Which is greater: h or 111?
111
Let v = -39 + 38.864. Let s = v + 14.336. Let o = -15 + s. Which is smaller: o or 0.2?
o
Let d = -368 + 329. Which is smaller: d or -41?
-41
Let g = 1367/7 + -196. Let k = 151/21 - 50/7. Let p = k + g. Is 0 at most as big as p?
False
Let u = 2 - 14. Let o(k) = k**3 + 4*k - 3. Let h be o(3). Let j be 8/h - (-330)/(-27). Does j = u?
True
Let n be (-2 - -4) + (-240)/(-4). Let o = n - 121/2. Is o <= -1?
False
Suppose 5*h - 2*b = 2*b - 140, -3*h + 4*b = 76. Let x = 218 - 251. Are x and h equal?
False
Suppose 377 = 16*n + 121. Let r = 20 - 3. Is n at most as big as r?
True
Let b = -2 + 2.03. Let p = -0.07 - b. Is -1/21 at most p?
False
Let o(s) = -s**3 - 2*s**2 + 9*s + 6. Let y be o(-4). Suppose -y*p + 41 - 25 = 0. Which is greater: 5 or p?
p
Suppose -56 = 2*d + 2*o + 50, -d + 5*o = 77. Which is smaller: d or -58?
-58
Let a = 4 - 8. Is -2/11 >= a?
True
Let u = 25.63 + -25.73. Is 260 < u?
False
Let s = 462835/1256 - 737/2. Is -1 >= s?
False
Let n(x) = 9*x - 11. Let c be n(1). Let o = 53 + -375/7. Is o <= c?
False
Let t = 856 - 886. Is t less than -30?
False
Let d(p) = p**3 + 15*p**2 - 32*p + 24. Let m be d(-17). Which is greater: 1 or m?
1
Let k = 876 + -1751/2. Which is bigger: k or -0.0235?
k
Suppose 35 = 10*i - 5*i. Let z(j) = -j**3 + 7*j**2 - 8*j - 8. Let r be z(i). Let c = 45 + r. Is -19 >= c?
True
Let h = -1721623/25164 - 7/12582. Let q = 164/3 + h. Do q and -15 have different values?
True
Let c be 17/65 - (0 + (-3)/15). Let u = -42.1 + 42. Which is smaller: u or c?
u
Let l be (-24)/12*(-26)/4. Let y = l + -3. Suppose -y*b = -8*b - 22. Which is smaller: 12 or b?
b
Suppose -5 = -3*b - 5*y, 10*b - 8*b - 5*y + 5 = 0. Which is smaller: b or 1/1614?
b
Let f = -26.3 - -25.3. Are f and 1/79 equal?
False
Let l = 212 - 211.11. Which is bigger: l or -3?
l
Let c = 36 + -52. Let r(n) = n**3 + 10*n**2 - 3*n - 16. Let t be r(-10). Let f = c + t. Which is smaller: f or -8/3?
-8/3
Let h = -34 - -29. Let b(v) = 3*v + 17. Let r be b(h). Let f be r/(-2) + 12/5. Which is smaller: 2 or f?
f
Let l(g) = -213*g + 211. Let h be l(11). Which is smaller: h or -2133?
-2133
Let i = 2373 + -2382. Is -77/8 bigger than i?
False
Let i(c) = -1 + 3 + 4*c - 1 - 3*c. Let r be i(-6). Let o(m) = -m - 25. Let z be o(-17). Which is smaller: z or r?
z
Let n be (1/((-42)/(-24)))/4. Which is smaller: -4.4 or n?
-4.4
Let m be 12/(18669/12 + 4). Let n = m - -831466/592705. Let h = n + -1/95. Which is smaller: h or 0?
0
Suppose -4*c - f - 2301 = 0, -1587 = -5*c + f - 4461. Is -575 less than or equal to c?
True
Suppose -448 + 6517 = 21*n. Is n at least as big as 289?
True
L