287 = -1379. Let h = 465 + -4163/9. Do h and m have the same value?
False
Suppose 4*j = -1802 - 714. Which is bigger: -2517/4 or j?
j
Let c = 18 + -41. Let f = -895/4 + 209. Let s = 303/20 + f. Is s not equal to c?
True
Let v = -5 - -37. Let m = 45 - v. Let x be 3*2/(-3) - (-96)/56. Do x and m have different values?
True
Let l = 0.1543 - 0.3843. Which is greater: 0.06 or l?
0.06
Let a = 0 + 1. Suppose -6 = 3*h, -5*h + a = -5*c + 6. Let r = -29594 + 651069/22. Do r and c have the same value?
False
Suppose 1835 - 404 = -9*j. Let o = 174 + j. Which is bigger: 7 or o?
o
Suppose 0 = -371*g + 381*g + 30710. Are g and -2 equal?
False
Let u(a) = -2*a - 46. Let g be u(-12). Let j(z) = -z**3 - 21*z**2 + 24*z - 6. Let i be j(g). Which is smaller: -49 or i?
i
Let f = -9594 + 10893. Which is smaller: 1301 or f?
f
Let k(g) = 2*g**2 - 25*g + 1. Let c be 5 - (-45)/(-6)*(-2)/(-3). Let n be k(c). Which is smaller: -4/135 or n?
-4/135
Let r = -0.08547 + -3.47153. Let o = r - -3.6. Let i = o + -3.143. Which is smaller: -1 or i?
i
Suppose -5*j + 7830 = i, -23 = -4*i - 3. Let x = 891 - j. Is -674 <= x?
True
Let n = 0.196 + 22.204. Let a = 22.3 - n. Which is smaller: -1.35 or a?
-1.35
Let t = -402829 - -8863969/22. Let w = t - 464/11. Which is bigger: 37 or w?
37
Let u = -148 - -155.3. Let w = 5.9 - u. Is w < 0?
True
Let k = -4514 + 4514.196. Is -2/5 at most k?
True
Let t(r) = 5*r**2 + 1. Suppose 3 = w + 2*w. Let m be t(w). Suppose 2*h + 22 = 4*y, 8 + m = -2*y - 4*h. Which is smaller: 1 or y?
1
Let j be (-14)/(-2)*((-3045)/(-29) + -20). Which is bigger: j or 590?
j
Suppose 0 = 6*w - 71 - 7. Let s = 37/3 - w. Let g = 56 + -56.2. Which is greater: g or s?
g
Let h = -189.4 + 257.4. Is h >= 13?
True
Let x be 4/6 + ((-12)/114 - (-42433)/57). Is -5 bigger than x?
False
Let s = -3844 + 126878/33. Let x = s + -1655/132. Which is smaller: x or -11?
x
Suppose 12 = w + 2. Suppose -2*m + 14 = 3*b + b, -2*m - w = -2*b. Let s be m - ((8 - 4) + (-2151)/429). Is s not equal to -1?
True
Let p be (1089/(-198))/(35/(-10) - (-5 + 2)). Which is smaller: 480/43 or p?
p
Let p = -14690 - -14690.1. Is p less than or equal to 4.13?
True
Suppose 0 = 37*f + 22 + 15. Let l = 354 - 141. Which is smaller: l or f?
f
Let k(u) = -u**3 + 9*u**2 + 10*u + 9. Let t be k(10). Let h be (-45)/t*10*1. Let s = h + 56. Which is smaller: 9 or s?
s
Let s = -529 - -268. Let u = s + 180. Let r = u - -78.6. Which is smaller: r or -0.2?
r
Let z be (-13)/(-3)*186/589. Let f = -5597/4104 + z. Which is smaller: f or 1?
f
Suppose -2*l - i = 30, 2*i - 52 = 2*l + 2*l. Suppose 52 = -3*p + 61. Suppose 3*m + 24 = -2*u - 0*m, p*u - 2*m + 49 = 0. Which is bigger: l or u?
l
Let v = 68.48 + -69. Let h = -8.02 - v. Let g = -7.6 - h. Which is greater: 0.025 or g?
0.025
Suppose -4*z - 5*j = -0*j - 505, 249 = 2*z - j. Let r be 50/z*(-60)/(-266). Which is smaller: r or -1?
-1
Suppose 13 = 2*b - 3*w - 2, 0 = -5*b - 4*w - 20. Let l = 22752977/102815 - 7/41126. Let t = l - 221. Which is smaller: t or b?
b
Let o(k) = -9*k**2 + 107*k - 657. Let g be o(6). Are g and -1351/4 unequal?
True
Let o be (-3)/2*(-7268)/(-69). Let p be 2*(2/(-7) + (-1109)/14). Does o = p?
False
Let r = -89727.2 - -89728. Let q = -9 + 16. Which is smaller: r or q?
r
Let t be 4 + (-136)/36 - 25/(-9). Suppose 5*l - 2*x - 35 = -x, t*l - 21 = -x. Suppose 0 = -u + 2*g + 9, -g = -2*u - 2*g - l. Which is bigger: 18 or u?
18
Let o = 46338.1 + -46338. Are 17634 and o nonequal?
True
Let r(w) = 54*w - 41. Let h be r(3). Let j = -123 + h. Is j less than 0.52?
True
Let a = -900473/45 - -164494/9. Are -1733 and a non-equal?
True
Let j = 5452 + -5457. Is j at most as big as 368?
True
Suppose 5*p = -4*o + 807, -4*o + 4*p + 210 = -606. Let l = -202 + o. Are l and 8/11 non-equal?
True
Let n = -2435.7 + 2436. Which is bigger: n or -1.18?
n
Let x be 13984/(-10)*(239 - 244). Does 6992 = x?
True
Let c be ((-3)/474)/(3/12). Let b be 2/12 - 7/6. Let l be (-2 + 2)/(b*2). Which is smaller: c or l?
c
Let s(q) = 172*q - 617. Let t be s(4). Let z be 3 - ((-1)/2 + 0)*-6. Is z < t?
True
Let r be -14 - 0/(-4) - 17052/(-1015). Suppose 2*y - 5 - 3 = 0. Is y greater than r?
True
Let a = -4533.05083 - -4533. Is a not equal to 0.1?
True
Suppose -5*u = -5*n - 10, -2*n + 23*u = 19*u + 6. Let m = -0.69 + -59.31. Is m at least as big as n?
False
Let u = 19/263 - 21341/526. Which is smaller: u or -41?
-41
Suppose o - 3*a + 6 = 17, o - 2*a - 14 = 0. Let r(k) = -k + 29. Let w be r(o). Suppose -2*g + w - 5 = 0. Which is smaller: 0 or g?
0
Let w = -7741 - -7787. Is w > -4/17?
True
Suppose 0 = 4*k - 5*c - 13, 12*k = 11*k - c + 1. Suppose 3*v = -n - 2, -k*v + v - 6 = n. Is n >= -1/20?
False
Suppose -3*x = b - 21, 7*x = 4*b + 2*x + 1. Let s be ((-2)/b)/((-1)/21). Let l = s - 15/2. Is -2 at least l?
False
Let u(j) = j - 1. Let p be u(4). Let t(a) = -a**3 - 9*a**2 + 23*a + 65. Let l be t(-12). Let v = l + -439/2. Which is bigger: v or p?
p
Let n = 61612/51 + -1208. Let p = n - 143/1173. Is p > 0.3?
False
Suppose 209*r = 13 - 145 - 77. Let w = 0.035 + -55.035. Which is smaller: r or w?
w
Let x = 1838 + -1073. Let l = x - 9940/13. Which is smaller: l or -1?
-1
Let p = 0.248 - -11.232. Let t = -11.38 + p. Let k(z) = 3*z**2 - z - 4. Let y be k(3). Which is bigger: t or y?
y
Let v(o) = o**2 - 15*o + 14. Let d be v(14). Is d > 3/823?
False
Suppose -1 = 2*s - 3*s. Suppose -5*g = -0*v + 4*v - 42, -5*v + 27 = 2*g. Let k be g/51 + 10/204. Is k less than or equal to s?
True
Suppose 2*n = -4*p - 6 + 38, 0 = 4*n - 2*p - 64. Let s be (2 - 21/12) + (-4)/n. Is s != -4/257?
True
Suppose -38*k - 156 = 91 + 19. Is k at least as big as -224/29?
True
Let q be (0 - 0)*(35/(-14) - -2). Suppose -2*c - 1240 = -4*y, -4*y + q*c - 4*c + 1252 = 0. Is 311 bigger than y?
False
Let f = -17203 + 17296. Let u be 92/(1 - (0 - 0)). Is u less than f?
True
Let c be ((-4192)/(-266))/(((-3375)/(-60))/(-25)) + 7. Which is smaller: -1 or c?
-1
Let n = 22456 + -22458. Are -88/115 and n non-equal?
True
Let q = -3615 + 3636. Let k = 7 - 4. Let h be ((-3)/q)/((k + -2)*4). Is 1 at least as big as h?
True
Let k = 685 + -10267/15. Let s be 2/((-21)/(-35) + 7/5). Let l be (0 - -1 - 1)/(s - 2). Which is smaller: k or l?
l
Suppose 0 = -3*f - n + 6*n + 10, 3*f = n + 2. Let v = -2512528 - -238684553/95. Let p = v - -59. Which is greater: f or p?
f
Let l(w) = -w**3 + 11*w**2 - 5*w - 21. Let b be l(10). Let t = -26 + b. Suppose 0 = -2*r + 2*x - 8, 0*r - 4*r + t*x = 11. Are r and -2/5 nonequal?
True
Suppose 5*x = 3*x + 3*o - 9, -4*x + o - 13 = 0. Which is smaller: 333 or x?
x
Suppose -f = -3*g + 8 + 11, f - 11 = -3*g. Suppose -5 = -5*x + g*a, 5 = 3*x + 3*a + 2. Let z be 1 - 20/12 - (-39)/99. Which is smaller: x or z?
z
Suppose 0 = 7*f - 2913 - 2540. Let j = 783 - f. Is j <= -14?
False
Let k = 3777 + -3796. Is k <= -8.6?
True
Suppose i = -j + 7, 3*j = -69*i + 70*i + 9. Which is smaller: j or -2/587?
-2/587
Let u = -43 + 35. Let k = -0.0348 + 1.0348. Which is greater: u or k?
k
Let v be -1 - 515*(-4)/(-10). Let j = -198 - v. Are 11 and j unequal?
True
Suppose 95 = -41036*x + 40941*x. Let s = 3415 - 1411. Let a = -28071/14 + s. Which is greater: a or x?
x
Let i = -0.056471 - 0.033529. Let w = -6 - -2. Let h = w + 6. Does i = h?
False
Let z be ((-12)/14 - (-5025)/2457) + -2. Are -2 and z non-equal?
True
Let g(z) = z. Let j(t) = 31*t + 45. Let p(i) = -3*g(i) + j(i). Let w be p(-2). Which is greater: w or -18?
w
Let n be (-742)/(-12) + -2 + 19/114. Suppose 0 = -54*h + n*h. Which is greater: 1/15 or h?
1/15
Suppose 1771*z + 83997 - 814 = -5367. Suppose -a - a = 102. Which is smaller: z or a?
a
Let o(s) = 128*s - 73. Let q be o(3). Suppose -2*y + 297 = q. Are y and -13 equal?
False
Let j = -11811 - -12018. Are j and 199 non-equal?
True
Let u = -49264 + 28425338/577. Is 0 at most u?
True
Let c = 336728/11 + -30590. Which is greater: c or 23?
23
Let g be 4311/(-11496)*(-1 - 5/(-3)). Which is smaller: -634 or g?
-634
Let q = -1756 - -1562. Is q < -191?
True
Let s be ((-7)/3)/((-11)/(-33)). Let h be 0 - s - (-1 + 8/2). Suppose 6*a + 5*z - 53 = 2*a, 3*z - 59 = -h*a. Which is greater: 0 or a?
a
Suppose 2*y = 14*u - 15*u + 1, 4 = 2*u + 5*y. Let n be 3 + 28/29*u. Which is bigger: 1 or n?
1
Let p = 1204 - 1199. Let c = 199 + -219. Are c and p non-equal?
True
Let t = -12404 - -12372.