a + 3010 = 0. Let s be (-1035)/c - (-12)/21. Are -1 and s equal?
False
Suppose 3*b - 4*b - 3102 = 0. Let w be -1 - 5/(-7) - b/77. Let j be (-2)/52*(w/1)/(-4). Which is smaller: j or -0.1?
-0.1
Suppose 5*j = 2*w - 32, 2*w + 6*w - 170 = -j. Is w != 426/19?
True
Let o = -252 - -252.3. Let s be (-8)/60 + 2 + -2. Let q = s + 4/5. Is q smaller than o?
False
Let c = -18 - -8. Let v = 81 - 401/5. Which is smaller: c or v?
c
Let r be (4 - (-22)/(-5)) + 91881/415. Which is smaller: r or 219?
219
Let z = 0.276 + -0.176. Which is smaller: z or -2/6169?
-2/6169
Suppose -5*m + 90 = 5*o - 0*m, -5 = -m. Suppose 56 - 264 = -o*l. Which is smaller: l or 44/3?
44/3
Let j be (-36)/111 + (-1)/(-3). Let o(f) = -2*f**3 - 82*f**2 - 231*f - 115. Let b be o(-38). Which is smaller: b or j?
b
Suppose -2*f = 3*f + 831 + 1179. Is -401 < f?
False
Suppose -20 = -5*x, 16 = -2*a - 2*x + 20. Let l = 0.8 + 0.1. Let m = -20.9 + l. Which is greater: m or a?
a
Suppose 694 + 191 = 4*z - 3*g, 5*z = -5*g + 1115. Is z at least 2448/11?
False
Let x(l) = -l**3 - 7*l**2 + l + 3. Let f be x(-6). Let d be 6/99 - (-63852)/(-1584). Which is greater: f or d?
f
Suppose 8203 - 63493 = -10*d. Let c = -187973/34 + d. Is c less than -1?
False
Let m = 30.755 - 0.455. Let k = -29.8 + m. Is -2.5 bigger than k?
False
Let p = -71 - -59.6. Let s = -0.48 + p. Let o = s - 0.12. Is -2/5 greater than o?
True
Let c = 1093831 + -9834317/9. Let p = c + -1128. Suppose 7*i = 2*i. Which is greater: i or p?
p
Suppose 4*z + 3*q = -6, 5*z + 5*q + 1 = -4. Let s be (8/z)/((-2)/(-3)). Let m be 2/(-8)*5*s*1. Is m less than 5?
False
Let p = -5 - -110. Let b = 114 - p. Which is greater: 0.4 or b?
b
Suppose 1343 = -51*o + 7259. Are 695/6 and o unequal?
True
Let b(i) be the second derivative of 0 + 1/2*i**2 + 6*i - 1/6*i**3. Let o be b(0). Is 0.07 equal to o?
False
Suppose -7*m = -0*m - 42. Suppose 0 = -g - 16 - m. Let c = g - -13. Which is bigger: c or -3?
-3
Let g be 153/68*(2 + 100/(-46)). Let m(n) = n**2 - 3*n + 2. Let o be m(1). Which is smaller: g or o?
g
Let f be -3 + 131 + (-4)/1. Suppose -x + 2*l - 16 - 10 = 0, -4*x = -3*l + f. Let b = 24 + -57. Is x != b?
True
Let t = 23 + -21. Let g be -4 - (44/(-8))/(t/(-16)). Which is greater: -52 or g?
g
Let q(b) = b**2 - 32*b - 183. Let i be q(-5). Suppose -4*r + 46 = 5*j - 45, -j = -i*r - 7. Is 9 at most as big as j?
True
Let k be 1/((-24)/18*9*114/144). Which is bigger: 13.2 or k?
13.2
Let n(z) = 84*z**3 + 2*z**2 + 106*z + 413. Let j be n(-5). Which is bigger: j or -10568?
j
Suppose 2*q - 4*y + 164 = 0, 2*q + 23 = -3*y - 113. Let x = q - -75. Suppose -20 = -15*n + 25. Do n and x have the same value?
False
Let f be -2 + 5 + 2 - (-2 + -5). Suppose f*h + 15 + 225 = 0. Are -23 and h non-equal?
True
Let g = 4690 - 4691. Which is smaller: 15/694 or g?
g
Let a be 2205/(-336)*5/30. Is a greater than 0?
False
Let a = -417 - -619. Let v = -199 + a. Which is smaller: v or 11/3?
v
Let m = -8 - 43. Let h = m - -50. Let s = 0.4 + h. Which is smaller: s or -3/7?
s
Let n be 5 + (8 - (18972/(-9) + 2)). Which is bigger: 2118 or n?
n
Suppose -13 = -4*j + 51. Let a(f) = f**2 - 19*f - 49. Let r be a(-3). Which is smaller: r or j?
j
Let k = -183904 + 2195629854/11939. Is k < -1?
False
Let s(l) = -9*l**3 + l**2 + 8*l + 6. Let o be s(-1). Suppose -4*i = g - 6, 9 = -i + o*g - 3*g. Is i at least -11/28?
True
Suppose -5*a = 4*u - 0*u + 14, -3*u + 3 = -3*a. Let g be (-67135)/(-9945) - 7 - 8/(-36). Is u at most as big as g?
True
Let y(z) = z**3 - 17*z**2 - 2*z + 33. Let g be y(17). Suppose 0 = u - 4*u - 909. Let w be -3 + (-1521)/u + -2. Which is smaller: g or w?
g
Let p = -62.064 + 0.064. Let s = -313 - -374. Let n = p + s. Is 82 equal to n?
False
Suppose -4*t = -2*b + 44, -3*t + 108 = 4*b - t. Let s(l) = 9*l**2 + 21*l - 47. Let i be s(2). Does i = b?
False
Suppose 2 + 43 = -3*v. Let b be 3*(-1 + (-13)/v). Let h = -3925/31784 - 6/3973. Which is smaller: b or h?
b
Let u = 5.7 - -34.3. Let f = 0.08 - 38.08. Let z = u + f. Which is greater: z or 3?
3
Let o = -22 + 25. Suppose 0 = -t + o*t - 20. Let c be -16 + ((-16)/(-40) - 34/t). Is -19 < c?
False
Suppose 0 = 7*y - 182 + 147. Suppose y*t - 5*h + 4 = 2*t, 3*t = 2*h + 11. Which is smaller: 11 or t?
t
Suppose 0 = -3*u + 4*v + 90, -5*u - v + 811 = 661. Is u less than or equal to -67?
False
Let n = 28697.88 - 28687. Is n <= -0.01?
False
Let x(f) = -2*f**2 - 134*f + 274. Let k be x(-70). Does k = -737/5?
False
Let x = 21887560141 - 3082840958272184/140849. Let o = 3/2309 + x. Which is greater: o or 0?
o
Let q(d) = -d**2 + d - 1. Let v(i) = -4*i**2 - 29*i + 27. Let y(h) = -4*q(h) - v(h). Let w be y(-5). Which is bigger: w or 58?
58
Let d(j) = j**3 - 14*j**2 - 21*j + 25. Let r be d(15). Are -10 and r nonequal?
True
Suppose 5*o + 15390 = 5*k, -4*o + 12300 = 4*k - 5*o. Suppose 684 = 10*u + k. Which is smaller: -238 or u?
u
Let d be (1 + (-42)/33)*6. Let z = 24 - 44. Let b be 2 + z/(-12)*-3 + 1. Does d = b?
False
Let z be (1 - 5)/((-133)/(-105)). Suppose -34*s + 156 - 292 = 0. Which is smaller: s or z?
s
Let p = 22520 + -22457. Which is greater: p or 2.7?
p
Suppose -5*i = 2*d + 3670, 1837 = -d - 11*i + 9*i. Is -1846 equal to d?
False
Let f be 332800/2825043 - (147/(-51) - -3) - 0. Is 0 less than or equal to f?
True
Suppose -100*i + 98*i = -724. Suppose s - 5*m = 78, -7*s - 3*m + i = -2*s. Is s less than or equal to 73?
True
Let t(b) = -2*b - 35. Let s = -43 + 28. Let o be t(s). Suppose 0 = 2*k - 6*k - 20. Is o less than or equal to k?
True
Suppose -11*r + 22*r + 506 = 0. Let k be -2 + 836/(-20) + -3. Is r <= k?
False
Let l be 0/((25/5)/(-5)) + 3. Let k be (-60)/(-45)*l/14. Which is smaller: k or 103?
k
Let r be (-1311)/(-3591) + (-1)/7. Let f = -1 + 2. Let k be 3/f + 1 + -2. Is k at least as big as r?
True
Suppose 0 = 4*v + 6*r - 258, v - 57 = 19*r - 22*r. Let t be (6/(-3))/((-2)/73). Which is smaller: t or v?
v
Let w(t) = t + 21. Let h be w(-18). Suppose 12 = h*b + b. Suppose b*c + 5*p + 45 = -0*c, 5*c = -5*p - 75. Is -17 greater than c?
False
Let u be -3*(5/(75/29628) - 96/(-720)). Is -5925 at most as big as u?
False
Let z(m) = -m**2 - 6*m - 15. Let s be 3 - ((-97)/(-11) + (-2)/(-11)). Let h be z(s). Let c = -7/100 + 121/300. Is c equal to h?
False
Let i be 6 - (-361 + 27/(-9)). Let p = i - 359. Which is smaller: 34/3 or p?
p
Let i = -0.16 - -10.16. Let h = 46 - -72. Suppose 120*j = h*j. Which is bigger: j or i?
i
Let w = -7/31000 - -252127/1116000. Let h = 1/288 - w. Let c = 0.23 - 0.3. Which is greater: c or h?
c
Let v = -92 - -82. Let w be (33/(-35))/(2/v). Is 5 at least as big as w?
True
Let y be (4/530)/((-14)/20). Let d(u) = -21*u**2 - 630*u. Let n be d(-30). Which is smaller: y or n?
y
Let d = -2975 - -2912. Which is smaller: -10 or d?
d
Let k = 2.565 + -2.47. Let d = k + -0.035. Is -1 bigger than d?
False
Let r(b) = b**2 - 9*b + 10. Let z be r(7). Let g(v) = v**3 - 3*v**2 - 2*v - 2. Let s be g(-2). Let t be (2/12)/(s/(-24)). Is t > z?
True
Suppose -5*b = -13 + 23, 5*b + 1434 = 4*w. Which is bigger: w or 355?
w
Let k be (-20)/(4 - (8 + -3)*812/1022). Which is bigger: -739 or k?
k
Suppose -k - 417 = -3*u - 437, 0 = 4*k + 3*u + 25. Which is smaller: -2/3933 or k?
k
Let o be 19/380*1388/28. Let y = 51/20 - o. Which is greater: y or 0?
y
Let i = -1.122 - -1.044. Let c = i + -0.922. Is c smaller than 0.56?
True
Let p = -6.82 + 6.533. Let t = -0.087 - p. Which is smaller: 200 or t?
t
Let s be 128*(-1 - 1)/((-48)/(-24)). Which is bigger: -129 or s?
s
Let a = -1.02678 + 0.01808. Let t = 0.0087 + a. Which is bigger: t or -97?
t
Let y = 2.2 - 12.2. Suppose 4*n - 17 = 3*k, 1859*k - 1857*k = 4*n - 14. Which is smaller: n or y?
y
Suppose 0 = -b - 3*b - 5*n + 104, 3*n = -b + 19. Which is greater: b or 1104/37?
b
Let r(i) = i - 7. Let o be r(3). Let k(s) = -s**2 - 7*s - 10. Let m be k(o). Let g be ((-6)/9)/(m/9). Which is smaller: g or 1/2?
g
Suppose -1645*w = -1641*w + 20. Let d(l) = -23*l**2 - 2*l - 1. Let s be d(-1). Which is smaller: w or s?
s
Suppose 0 = 4*w + 70 - 10. Let m be (((-9540)/(-606784))/w)/((-2)/1208). Let h = -3/1996 + m. Which is smaller: h or 2?
h
Let j(o) = -70*o + 1507. Let n be j(52). Is -4267/2 greater than n?
False
Let n(p) = -74*p - 6487. Let x be n(-66). Which is smaller: -1606 or x?
-1606
Let d be 2780/7 - 3816/3339. Is 394 > d?
False
Let 