j - 143. Is 2/3 at most as big as g?
False
Let y = 4655 - 4568. Which is bigger: y or 10?
y
Suppose 58 + 534 + 86 = -3*j. Is -212 bigger than j?
True
Let n = 66436/15 + -4426. Which is greater: 4 or n?
4
Let k = 56 + -20. Suppose -k = -2*c - 4*p, p + 24 + 30 = 3*c. Let j = c + -16. Is 13/7 less than j?
True
Let y be 16/(-18)*(-9 - 795/(-85)). Which is greater: y or 0?
0
Let r = 4.7 + -3.4. Let i = r + 1.7. Let y = 341/6 - 172/3. Is y > i?
False
Let h = 65803 + -45075046/685. Which is smaller: -1 or h?
-1
Let t = 8468 + -8677. Is t < -216?
False
Let s = 939 + -1478. Which is bigger: s or -538?
-538
Let h = 0.522 - 0.012. Let f = 35.49 + h. Let r = 37 - f. Which is bigger: r or 61?
61
Let n(d) = 5*d**3 - 267*d**2 - 33*d - 221. Let g be n(54). Which is smaller: -0.1 or g?
-0.1
Let o(d) be the third derivative of d**6/120 + d**5/10 - d**4/24 - 11*d**3/6 + 22*d**2. Let z be o(-4). Let s = 35 - z. Is s at most as big as 32/3?
True
Let y = 8386 + -8799. Are y and -4 non-equal?
True
Let x(u) = 8*u**2 + 3*u - 4. Let t be x(-2). Is 297/13 at most as big as t?
False
Let r(u) = -30*u + 119. Let a be r(4). Is a less than or equal to -16/37?
True
Suppose -13*i + 0*i = 52. Let q(r) = 63*r + 127. Let h be q(i). Do 2 and h have the same value?
False
Let n = -524 - -1114. Suppose 12*s - n = 1390. Let r be (-2)/s*38 - (-2)/5. Is r less than 0?
True
Suppose n - 3*z + 123 = -225, n - 5*z + 356 = 0. Let y be 1 + n/(-167) + -3. Let p(o) = -100*o + 601. Let l be p(6). Is y < l?
True
Let s be (10 - -3505)*((-8)/32)/(5/20). Do -2 and s have different values?
True
Let n be (33 + -29 + (-5)/2)/(12/(-19728)). Is n at least as big as -2470?
True
Let z = -8360 - -8540. Is z bigger than 167?
True
Let u be (-5 + 7 + -3)*1*24. Let t be 3 - -164*u/608. Is -4 at least t?
False
Let q(w) = -w**3 - 10*w**2 - 14*w + 6. Let l be q(-8). Let n be (2*l/(-5360))/(2/(-6)). Which is bigger: 1 or n?
1
Let y = -1.264 - -0.174. Let a = -1 - y. Let x = -45 - -47. Which is greater: x or a?
x
Let x(z) = z**3 - 10*z**2 + 2*z - 28. Let t be x(8). Let p be (-105)/t + -6 + 0. Is -5 equal to p?
False
Let m = 9927 + -9928.059. Do -3 and m have different values?
True
Let x = 20 - 10. Suppose 30*t + 20 = x*t. Is 1/10 greater than or equal to t?
True
Suppose 3*u = -z + 9, 11*u - 3 = 10*u - 3*z. Suppose -u*d - 5*y - 385 = -0*d, 679 = -5*d + y. Let p = 136 + d. Is -4/35 equal to p?
False
Let h = 10980.0738 - 10980. Is h at most -3/2?
False
Let t be (90370/(-56))/(205/(-328)). Is t < 2585?
True
Let s = 1571637/19 - 82755. Is -37 greater than s?
True
Let m(q) be the first derivative of -q**4/4 - q**3 - 3*q**2 - 115. Let v be m(-5). Which is bigger: v or 81?
81
Let v be -25*(1 + 3 + -3). Let j(f) = -3*f + 2. Let i be j(10). Do v and i have the same value?
False
Let w = -464 - -467.6. Let n = w - -42.4. Which is smaller: n or 0?
0
Let p be (-41)/(-5)*((-55)/4)/11. Suppose -2*y + y = -3*j - 4, j + 5*y - 4 = 0. Let l = j - 8. Which is bigger: p or l?
l
Let p(x) = -3*x**3 + x**2 - 2*x + 4845. Let l be p(0). Let m = l - 14407/3. Is 44 at most as big as m?
False
Let l = 0 - -1/2. Let j = 25269/2724982 - 3/8086. Let x = 581/10447 + j. Which is smaller: l or x?
x
Suppose 2*j - 5*n + 0*n = -9, 2*n + 9 = 5*j. Let a = 0.0115 + 140.9885. Let i = 136 - a. Are i and j equal?
False
Suppose 8 = 4*w, -5*w - 311 = -2*m - 317. Which is bigger: 60/77 or m?
m
Let y be (-3)/12*-2 - 250500/648. Let w = y + 386. Let t(p) = p**2 - 3*p + 1. Let v be t(3). Which is smaller: w or v?
w
Let d = 53.3 - 53.4. Let z = 22 - d. Which is smaller: z or -0.1?
-0.1
Let a be 72/(-6099) + -10 + (-960)/(-95). Which is bigger: a or -1?
a
Let l = 26175 - 26571. Does -1986/5 = l?
False
Let k(q) = 73*q + 3215. Let a be k(-43). Which is smaller: 1156/15 or a?
a
Let k(w) = 103*w - 5355. Let d be k(52). Is -5/34 greater than d?
False
Let p = -2511 + 2487. Suppose 4*w + 100 = -b + 3*b, -19 = w - 2*b. Is p greater than w?
True
Let h be (4/(-1) + 8)*(-46)/12. Let d = -371/24 - h. Let o(i) = -2*i + 3. Let q be o(2). Does q = d?
False
Suppose -4*b = b + 360. Let t = -739 - -689. Let o = b - t. Which is bigger: o or -23?
o
Let i = -206.65 + -3.35. Let h = i - -210. Which is smaller: -18 or h?
-18
Let q = 5079 + -5081. Let f = -39 + 193/5. Is f at least as big as q?
True
Let g(u) = 5*u**2 + 40*u + 2. Let b be g(0). Do 40 and b have the same value?
False
Let y = 10.4 - 12.6. Let b = 1.2 + y. Which is greater: -150 or b?
b
Let o = 4353.9 + -4354. Which is bigger: o or 2343/2?
2343/2
Let j = -24529 - -24531. Are j and 5428 non-equal?
True
Let h = 0.3 - -7.7. Let n = 5.1977 + -0.0277. Let s = n + -3.17. Is s > h?
False
Suppose i + 5*b = -11, 0 = -4*b + 15 - 23. Let m(g) = g. Let h(t) = t**2 - 6*t - 2. Let r be h(5). Let w be m(r). Which is greater: w or i?
i
Let d = -35 - -39. Suppose -54 = -0*l + 2*l + 3*o, d*l - 2*o = -140. Let q be ((-4)/l)/(2/6). Which is bigger: 1 or q?
1
Let p be (-7395)/21 + (-6)/(-42). Let g be p/(-36) - 8/(-36). Is g > -1?
True
Let i = -0.98 + 1. Let x = 18178.9 + -18191.9. Which is greater: x or i?
i
Let r be (-1461)/(-24)*(-2)/(-99). Let m = -5/4 + r. Suppose 4 = -5*s - 2*c + 3*c, -4*c = -5*s - 16. Which is bigger: s or m?
s
Let y = -47.1 - -49.07. Let x = 2.48 - y. Is 2/7 smaller than x?
True
Let x = -41 + 44. Let w(t) = 12*t**2 - 11 + t + t**x + 13 + 12. Let o be w(-12). Is 5/3 equal to o?
False
Let d = -24300 + 25411. Is 8879/8 less than d?
True
Let y be ((-4)/(-6) - 1) + 32/6. Suppose 5*n - 415 = -y*h, 2*n - 3*h - 279 = -n. Which is greater: n or 85?
n
Let c be (-3 - 12/(-3)) + (-2)/(-6). Suppose -4*k - 3904 + 3908 = 0. Do k and c have the same value?
False
Let b(j) = 12*j - 11. Let k = -388 + 388. Let f be b(k). Is -10 <= f?
False
Let o(t) = t**2 + 1223*t - 3677. Let z be o(3). Which is greater: z or 3/665?
z
Suppose 10*d - 15 - 35 = 0. Let a be (-411)/6 - ((-5)/(-2))/d. Is a > -68?
False
Let g = -50 + 22. Let m(w) = 34*w + 1095. Let x be m(-33). Which is smaller: g or x?
g
Let a(r) = 462*r - 1784. Let n be a(18). Is n bigger than 6531?
True
Let p(v) = v**2 - 5*v - 4. Let h(c) = 3*c**2 - 10*c - 8. Let a be 2 + -7 + 3 + 0. Let s(f) = a*h(f) + 5*p(f). Let t be s(-2). Does 13/7 = t?
False
Let r be 7 - 140483/18970 - 30/(-75). Which is bigger: r or 1/3?
1/3
Suppose -2*n + 344 = 5*y, -5*y - 2*n - 3*n + 350 = 0. Let h be y/174 - (-2)/18*-6. Is 1 equal to h?
False
Let z be -11 + (-8608)/24 + -12. Is z bigger than -381?
False
Let v = -449388/11 - -40774. Do v and -79 have the same value?
False
Let x(q) = 5 - 2*q**3 - 6*q + 10*q + 3*q**2 + 0 + 0*q + 3*q. Let v be x(3). Is -1/868 at most as big as v?
False
Suppose -8*l - 1725 = -5*x - 3*l, 2*l + 1710 = 5*x. Let h be (-14)/4*x/(-119). Let w be ((-12)/h)/(21/(-105)). Is 3 greater than or equal to w?
False
Let y be 97*((-819)/35 + -1 + 15/(-25)). Is -2428 at least as big as y?
False
Let a be (-2)/(-2) - (-3)/(-3). Suppose 2*x - m = -56, 6 = -x - 6*m + m. Let c be (-82)/x - (-3)/11*-11. Which is bigger: c or a?
c
Let n = -413.7 - -421. Let y = 8.5 + -2.2. Let u = y - n. Is 1/2 at least u?
True
Let g = -1.10799 - 0.09201. Let r = -10.89 - -11. Is g at least as big as r?
False
Suppose -2*d + 9 = 3*t, -5*d + 12 = 7*t - 10*t. Which is greater: -1/5015 or t?
t
Let m be (4/7)/(296/1036). Do m and -3264 have different values?
True
Suppose -3*w = -8 - 1, 4*g - 4*w = 4. Let r = -318 - -323. Suppose g*q = -3*l + l, r*l + 5*q = 0. Which is greater: 1 or l?
1
Let u = 35609 - 111491782/3131. Which is bigger: u or 0?
0
Let t = 135 - 94. Let b = 46 - 4. Which is smaller: b or t?
t
Let l = 2/103 - -180/1339. Suppose 5*j = -2*g + 4*g - 6, 3*g - 3*j + 9 = 0. Let s be (4/(-6))/(g/42*-26). Which is smaller: l or s?
s
Let x(t) = 10*t**3 + 4*t - 4. Let q be x(1). Let m be 1 + (3/5 - 8/q). Is m greater than or equal to -24/5?
True
Let l(x) = -x**2 + 5*x + 1. Suppose 2*r + 5 = 17. Let j be l(r). Let u(d) = d**2 - 154*d + 4166. Let a be u(119). Which is greater: a or j?
a
Suppose -34*u + 37*u = 0, 2*o + 956 = -3*u. Let h = -478 - o. Which is bigger: 1/167 or h?
1/167
Let w be 30 + -57 - 3/1. Suppose 2*n - 2*y + 50 = 0, 3*n - 8*n + y - 145 = 0. Is w at least as big as n?
True
Let t = 374535 - 1857463/5. Which is greater: 3043 or t?
3043
Suppose -15*v + 4*n - 13296 = -13*v, 13292 = -2*v + 2*n. Is v > -6644?
False
Let y b