
True
Let y = 2.9 + -3. Let l be (68/4896 + (-2)/16)*-2. Do l and y have the same value?
False
Let l = -384.7 - -309.7. Which is smaller: l or -12?
l
Let r(b) = b**3 + 2*b**2 - 2*b + 4170. Let k be r(0). Suppose -31*m - k = -17469. Which is bigger: m or 430?
430
Let f = -106 + 106. Let a = -5030.98 - -4987. Let t = a - 0.02. Which is bigger: f or t?
f
Let b = -2552 - -2470. Is b less than 7?
True
Suppose f = b - 610, -350 = -5*b + 2*f + 2703. Which is bigger: b or 5498/9?
b
Let y = -0.052 + -0.028. Let d be 6/(-16)*40/(-60). Which is smaller: d or y?
y
Suppose -22*n + 68 = 2. Suppose -n*w - 12 = 0, 4*w - 12 = a + 7*w. Which is smaller: 0.047 or a?
a
Let x = 4/241715 + 102433/2574023035. Let f = x + -6762556/7827015. Let n = f + 3/98. Which is smaller: n or 0?
n
Let s(o) = -o**3 + 10*o**2 + 14*o + 12. Let z be s(11). Suppose -3*y + 5 = 2*y. Let n be y/(-1) + 35/z. Is -3 less than n?
True
Suppose 0 = 4*p + 20, -20 = -z - z + 4*p. Suppose 0 = -5*j + 3*g - 17, 2*j + g - 14 = -3*g. Let q be (j - -7)/6 + 0 + 0. Is q at least z?
True
Suppose 2*j - 4*j + 20 = -3*d, 3*d + 41 = 5*j. Let w be j/(-12)*(-3)/35. Is 2/11 equal to w?
False
Let d(m) = m**3 - m**2 - 383*m - 5359. Let g be d(0). Which is bigger: g or -5360?
g
Let g(u) = -u**3 - 9*u**2 - 15*u + 6. Let s be g(-7). Suppose -5*b + 7 = -s. Suppose -5*l = 5*m - l, -m = b*l. Is m < 1/125?
True
Suppose 6*a - 162 = -618. Let z = 58107/4 + -14602. Is z at most as big as a?
False
Let q = -309/2479 - -33/134. Is q not equal to 1/4?
True
Suppose 5*u + 20 = -5*k, 3*u - 4*u - 5*k - 16 = 0. Let d = -2133/25220 + -3/388. Is u smaller than d?
True
Let s(g) = -g**2 - 4*g + 25. Let y be s(-7). Suppose -y = -2*z + 2*a, -4*a + 6 = 3*z + a. Which is smaller: z or 33/10?
z
Let f be (-4)/(-14) + 778/(-2674). Let u = -2295 + 2294. Is u bigger than f?
False
Let g = -409 - -418. Suppose 28 + 8 = g*d. Let y = 44 + -177/4. Which is smaller: y or d?
y
Let p = -504 - -504.181. Let d = 0.338 - p. Which is bigger: d or -3?
d
Let q = -11 + 11. Suppose w - 3*h - 11 - 5 = 0, -h - 1 = q. Suppose 0 = 18*z - w*z. Does -1/22 = z?
False
Let l = 15767 + -8388039/532. Is l greater than or equal to 1?
False
Suppose -j - 4*n + 0*n + 24 = 0, 5*n - 60 = -2*j. Let h = j + -30. Let s be (-2)/h - (-2 - 72/(-40)). Is s at least as big as 4/43?
False
Let t(g) = g - 4. Let k be t(5). Let o be (-60 - 24543/(-405))*40/942. Which is greater: k or o?
k
Suppose -2*v - 4*k = -16, -4*v + 22 = 5*k - 4. Suppose -v*m + 3*m - 3 = 0. Let r be (m - -2)/((-1)/14 + 0). Which is bigger: r or 2/3?
r
Let n be 29*(-9)/567 + ((-62)/(-14) - 4). Let i(h) = -h. Let o be i(-3). Suppose 0 = 5*x - 5*k + o*k - 5, -5*x = 3*k + 20. Which is greater: n or x?
n
Let r = -42.961 + -0.039. Let w = -29.45 - -0.45. Let x = w - r. Is x > 1?
True
Let b be 3 - 0 - (0 - -201). Let j be 6/(-10)*(-45)/b. Let y be ((-2)/6)/((84/(-18))/14). Which is greater: y or j?
y
Let o(j) = -j**3 - 12*j**2 + 5*j + 47. Let s be o(-14). Let z be s/(-328) - 3/(-2). Does -4 = z?
False
Let a = -43.6823 + 44.0823. Let y(s) = -s**3 + 4*s**2 - 3*s + 3. Let c be y(3). Suppose 2*x + c*r = 23, x + x + 12 = 4*r. Which is greater: a or x?
x
Let w = 10612929/109759 + -1257/13. Are 1 and w unequal?
True
Let t(y) = 3*y**2 + 153*y - 1. Let g be t(0). Which is bigger: g or 2/681?
2/681
Suppose 60*b - 62*b = 8. Let n be 4670/50 + 3/(30/b). Let y be n/(-57) - 0 - (6 - 7). Is y at least -1?
True
Suppose 0 = 3*h + 4*b + 11, -5*b - 77 + 61 = 6*h. Which is smaller: 20/97 or h?
h
Let w(l) = -l - 6. Let i be w(-4). Let h = -425/312 + 3/104. Which is bigger: h or i?
h
Suppose 4*r - 4*w + 43 = -57, 3*r + 69 = 4*w. Which is greater: -152/5 or r?
-152/5
Let b be 85/(-15) - ((-32)/12 - -3). Let f be 3/(197 - -1) - b/36. Let l = 1.9 + -0.6. Is l not equal to f?
True
Let b = -98/1413 + 1515422/9891. Which is greater: 154 or b?
154
Suppose 0 = 2*h + o - 3, 29 = -4*h - 0*o + 5*o. Let y = -16 + 10. Let i be (4/(-21))/((-44)/y). Which is bigger: h or i?
i
Let q be ((1 - 4) + -17)/((-5)/(-15)). Which is smaller: q or -88?
-88
Suppose 34 = 3*o - 2*y, 5*y - 30 = -3*o - o. Suppose 4*r = o*r - 18. Let m be (3 - (-67 + r)) + -1 + 0. Is -0.1 at least as big as m?
False
Let h = 21618 - 281084/13. Is h >= -2?
False
Suppose 0 = -4*c + 12, -3*q - 7*c = -2*c - 21. Let k be q*6/16 + 91/28. Let y be -1*(-1)/k*(-2 - 0). Is y < -19?
False
Let k(x) = x**3 - 8*x**2 + 2*x - 19. Let j be k(6). Let q = 46 + j. Is q bigger than -34?
True
Let q be (7 - (-65)/(-10))*272. Let u = q - 132. Are -12 and u equal?
False
Let x = 3 + 0. Suppose -16*v = -19*v + 5*z + 19, 0 = z + 5. Let p = x + v. Which is smaller: -2/89 or p?
-2/89
Let d(m) = 5*m**2 - 12*m + 4. Let n be d(-10). Let q = 4376/7 - n. Let o = -6 - -8. Is q <= o?
True
Suppose -311*n + 10238 + 2179 + 18372 = 0. Let s be (196/2)/(-1 - -2). Is n at least as big as s?
True
Let r = -2183 - -2182. Which is smaller: 3/4853 or r?
r
Let f be 14 + (4 - (4 + -1)) + -4. Which is smaller: -6.1 or f?
-6.1
Let b = -9 + 26. Suppose -2*h = r - 7, 0 = 2*r - 0*r + 5*h - b. Let w be 2 + (r - 3) - 14/(-26). Which is greater: 1 or w?
1
Suppose -w = -3, m - 3*w - 7 = -24. Which is smaller: m or -811?
-811
Suppose b + 24 - 26 = 0. Let o be (b + -3)/(-8 - -7). Is 2/463 at most as big as o?
True
Let p be ((-36)/224)/((-54)/(-1953)). Which is bigger: p or -7?
p
Let f = 5073583/4004 - 2243/308. Let k(x) = -77*x - 282. Let b be k(-20). Let h = f - b. Which is smaller: h or 2?
h
Suppose 430 = 49*a - 207. Let b be (-27)/(-2)*4 - 2. Suppose 0*i + b = a*i. Is -2 greater than or equal to i?
False
Let l = 67.2 + -6.2. Let r = -61.2667 - -0.3767. Let c = r + l. Is c != 0?
True
Let x = -22 - -21.7. Let b = -35.3 - x. Let s = -35 - b. Which is bigger: -3 or s?
s
Suppose -3*l + 93 = -3*o + o, -224 = 5*o + l. Suppose -2*g - 8 = 0, 0 = 5*q + g - 9 - 7. Suppose -q*y = y, -2*u + 2*y - 90 = 0. Is o equal to u?
True
Suppose 4*z + z + 60 = 0. Let r = z + 14. Suppose -5*p = -20, -r*j - 4*p + 23 - 85 = 0. Which is greater: j or 2/7?
2/7
Let f be (-4)/(-10) - 13926/47190. Let n = 6/91 - f. Are 0 and n unequal?
True
Suppose 2*k = -10*b + 6*b - 396, -3*k = 3*b + 594. Which is greater: -1 or k?
-1
Suppose 4*g = -12, 4*g + 8 = 2*z - 6. Let w be ((-1)/((-4)/(z + 27)))/(-1). Which is smaller: w or 22?
w
Let h = 7536 - 22609/3. Is -222 smaller than h?
True
Let b be 85/(-20) + 1 + 1. Let f = 241/108 + b. Suppose 5*z + 4*t = -5, 10 = 3*z + 2*t + 13. Is z at most f?
True
Let o = 38 - 25. Let f = 4733/4 - 1169. Which is greater: f or o?
f
Let f = 499 + -965. Let j = 451 + f. Let o be -1*(1 + 12) - 0. Is o equal to j?
False
Let l = -7509 - -7469. Let n(j) = -j**2 + 11*j - 1. Let g be n(11). Let f be (-39)/(1 - (g + 1)). Is f equal to l?
False
Let u(o) = 31*o + 118. Let g(b) = -16*b - 59. Let c(i) = 7*g(i) + 4*u(i). Let z be c(-5). Which is bigger: -13/7 or z?
z
Suppose -2*o = -5*r + 6, -2*r - 34 = 4*o - 2*o. Let v = 8 - o. Is 25 at least v?
True
Let j be 12/(-27) - ((-16)/12 + (-11761)/9). Which is smaller: j or 1?
1
Suppose -o = -5*s + 5, 0 = -4*s + 18*o - 13*o + 25. Suppose -b - 2*l + 112 = 3*b, b + 3*l - 28 = s. Which is smaller: b or 30?
b
Let w(q) = 76*q + 1130. Let j be w(-15). Which is bigger: j or -24?
j
Let d = 0.342 - -1.538. Let k = -1.889 + d. Which is bigger: k or -1/3?
k
Let l = -51616 + 51726. Let i(g) = 15*g - 9. Let u be i(8). Which is smaller: l or u?
l
Let n = 16468 - 16467.12. Which is smaller: -0.121 or n?
-0.121
Let d(m) be the second derivative of -m**3/3 - 25*m**2 - 23*m. Let o be d(-26). Let r(l) = 2*l**2 + 2*l - 1. Let w be r(1). Which is smaller: w or o?
o
Suppose 4*o - 77 = -5. Let m = o - 53. Let f be ((-6)/m)/(9/(-6)). Which is smaller: f or -1?
-1
Let i = -0.1713 + 187.0713. Let o = i + -187. Is o smaller than 341?
True
Let j = 64.924 + 0.076. Suppose 176*c = 172*c. Let x be (0 + c*(-2)/4)*1. Is j not equal to x?
True
Let c = 16576 - 18232. Is -1655 > c?
True
Let v be 96/(-40)*340/(-6). Let x = v + -169. Which is greater: x or -34?
x
Let b = 0.02 + 1.98. Let i(w) = 2*w**2 - 225*w + 5378. Let u be i(34). Is u >= b?
True
Suppose 0 = -19*z + 21*z - 8. Suppose -z*t - 6 = 5*s - 25, -s + 39 = 4*t. Which is smaller: t or 41/4?
41/4
Suppose -15919 = -919*g + 10638 + 19393. Let n be 16/(-6) - 6/(-9). Let q be -49*(-1)/n*-2. Which is smaller: g