ch is smaller: j or i?
j
Let k = -8756.98 - -8752. Is -2 greater than k?
True
Let l(u) = -u - 7. Let w = 35 + -41. Let s be l(w). Which is greater: s or 7/17?
7/17
Suppose -4 = -2*q - 4*t, -4*q + 2*t + 1 = 3. Let c = -3510753/135940 - -21/4855. Let l = c + 105/4. Which is greater: q or l?
l
Suppose -k + 4*y + 12 = 2, 4*y = 2*k - 32. Suppose -4*q - 25 = -41. Suppose -c = -n - q*n + k, 5*c + 26 = 4*n. Which is bigger: -5/9 or c?
-5/9
Let c = -5938 + 6043. Which is greater: 104 or c?
c
Let a = -4339 + 4339. Which is smaller: a or 1/10491?
a
Let z be -1*14/(-6) - 2. Suppose -41 = -9*a - 18*a - 14*a. Which is greater: z or a?
a
Let j = -0.1 - -0.1. Let c be 555/48 + (36 + -1)*172/(-430). Which is greater: c or j?
j
Let d = -817.1 + 817. Let x = 0.534 + -323.534. Which is greater: x or d?
d
Let y = -47/7 + 7. Let g = -63.34 + 14.34. Which is bigger: y or g?
y
Let t = -25559 - -17252. Is -8306 less than or equal to t?
False
Let b = -7.562 + 6.932. Which is bigger: b or 39?
39
Let m(o) = 2 - 7*o - 2 + o**2 + 0*o**2. Let l be m(7). Let r be (15/190)/(-3*(-3)/12). Is l > r?
False
Let w be (4 - 0) + -358 + 0. Which is greater: w or 7?
7
Suppose 7*z + 3426 + 6515 + 503 = 0. Do z and -1492 have different values?
False
Let d = -1578 - -1116. Which is smaller: -1/5 or d?
d
Let h = 37076 + -36631085/988. Which is smaller: -1 or h?
-1
Let y be 2/6*(6 - (2 + -5)). Suppose -4*j + 360 = -5*a - 9*j, -5*a = -y*j + 376. Is -72 less than a?
False
Let s = 44 - 33. Suppose -s*b = -8*b - 198. Let p = 30 - -36. Is p greater than or equal to b?
True
Let c(y) = -1. Let b(j) = -37*j + 107. Let s(w) = b(w) - 3*c(w). Let h be s(3). Are -1/19 and h nonequal?
True
Let c be (-12)/(-8) + -1 + (-252)/8. Let t = c + 31. Suppose -s + 14 - 38 = t. Is s >= -23?
False
Let h = -7905.1 - -7589. Let p = 316 + h. Is -112 > p?
False
Let u = 252/23 + -9521/1081. Is u equal to 2?
False
Let b be -1 - ((-2790)/275 + 24/40). Is b less than or equal to 0.2?
False
Let j be (-41 - -42)/((-2)/(-10)). Let l(g) = -g**3 + 6*g**2 - 8*g + 18. Let p be l(j). Are p and -2.2 nonequal?
True
Let a = 20797/10 + -145729/70. Suppose -p + 0*p = -2. Suppose p = -2*k - 5*x, 0*x + 2 = -2*k + 2*x. Is k less than or equal to a?
False
Let z be ((-2)/(-12))/((-56)/120 + 7/(-35)). Which is greater: -1.84 or z?
z
Let i = -39 + 43. Let s = 25 - 24.98. Let p = 0.04 - s. Is p less than i?
True
Let o = -26199 + 69663144/2659. Which is bigger: 0 or o?
o
Suppose -11*c - 1 = -10*c - 0. Which is smaller: c or 1/6270?
c
Suppose 4*s = -3*t + 45678, 354*t + 30442 = 356*t + s. Which is smaller: 15220 or t?
t
Let w(o) = -2*o**2 - 8413*o - 8412. Let j be w(-1). Let a be (12/(-801))/((-4)/(-18)). Which is smaller: a or j?
j
Let p be -265 - (60/100)/(0 + (-9)/(-60)). Is -272 != p?
True
Let w be ((-1)/(-3))/(0 + (-5)/(-45)). Suppose 3*q + w*g + 5 = 35, 2*q - 2*g = 28. Let b be ((-234)/(-12))/((-3)/q). Do -0.1 and b have different values?
True
Let f be 1377/(-84) + 0 - 15/30. Let x = 17 + f. Let t = 257/84 + x. Is 2 at least as big as t?
False
Let d = -1.627 - -0.627. Let p = -10.741 - -10.8. Which is bigger: d or p?
p
Let i = 58 + 32. Let s = -86 + i. Suppose 6*l - 4*l = -4, 4*u = 2*l + 16. Is u less than or equal to s?
True
Suppose -4*w - 103 - 229 = 0. Let p = w - -87. Suppose 12*v - p*v = 0. Is -4/11 != v?
True
Let j be 33/(-18) - -2 - (6761/606 + -11). Which is greater: -1 or j?
j
Let h = 3134/3 - 1048. Suppose -l = 2*b - 6, l - b + 21 = 3*l. Suppose 3*t + 2*o = 0, -2*o + l = 2*o. Is h at least t?
False
Suppose -580 = 2*k + 3*o, 0 = -9*k + 13*k - 2*o + 1128. Let b be (k/(-32) + -1)/((-12)/16). Suppose -36 = 3*n - 3. Which is smaller: b or n?
n
Let b(h) be the second derivative of h**5/20 + 3*h**4/2 - 41*h**3/6 + h**2/2 - 21*h. Let k be b(-20). Is k > 2?
True
Let m(r) = 135*r + 3. Let i(z) = 135*z + 3. Let f(t) = -6*i(t) + 5*m(t). Let q be f(-1). Let o = 94 - q. Do -37 and o have different values?
True
Let u = 7.1 - 9.1. Let v = -1056.011 - -1056. Which is bigger: u or v?
v
Suppose -5*k = -57*w + 60*w + 267, -4*k - 2*w = 214. Is -2/79 bigger than k?
True
Let r be (24/(-30))/((-6)/1125). Let o be 7 + (r/(-117) - 6). Is -1 at least as big as o?
False
Suppose s + p - 2*p + 169 = 0, s - 3*p = -167. Let z = 135 + -304. Which is smaller: s or z?
s
Let r be (-4)/(-3)*((-1155)/10)/(-7). Suppose -l + 5*i = 151, -2*i = -l - r - 123. Is l at most -141?
True
Let p(v) = -8*v - 11. Let b be p(-2). Suppose 0*o + 2*o = 5*m - 59, -5*o = b*m - 80. Which is greater: 2 or m?
m
Let q = -13 - -20. Let z = 8 - q. Let r = -6.2 + 7.2. Does z = r?
True
Let q = -33 - -33.13. Let g = -8626 - -112140/13. Which is bigger: g or q?
g
Suppose -2*c - 3 = -c. Let u be (-4 - (-356)/48)/(c/(-8)). Is 10 not equal to u?
True
Suppose 0 = 4*y + 13*r - 14*r + 4767, -5*r = 4*y + 4773. Which is smaller: y or -1191?
y
Suppose -3*p - 6*p - 262944 = -81*p. Which is bigger: p or 3650?
p
Let x = 10287 - 11894. Which is smaller: x or -8036/5?
-8036/5
Let v(k) = -k**3 - 8*k**2 - 16*k - 7. Let c be v(-5). Let p = -3235472971/1630680 + 2/203835. Let o = 1981 + p. Is o smaller than c?
True
Let n(c) = -2*c. Let o be n(-1). Suppose -2*m - 15 = -3, -5*a + m + 906 = 0. Let s be (-2)/(-6)*o/a*3. Which is smaller: 1 or s?
s
Suppose 42 = 6*l - 3*l. Suppose -2*z - 36 + l = 0. Let u = z + 4. Which is smaller: 2/7 or u?
u
Let g(h) = -h**3 + 10*h**2 - 11*h - 8. Let w be g(2). Which is greater: 3554 or w?
3554
Let u be (-18)/24 + 2662/8. Let o be u/70 + -2 + 8/20. Is o greater than or equal to 4?
False
Let l = -30323/539 + 619/11. Which is greater: l or 1?
1
Let j = -18 + 323. Let m = j + -3370/11. Which is bigger: m or 0?
0
Let a = -271 - 499. Is -769 > a?
True
Suppose -7*t + 8*t = 3. Suppose 4*b = t*f + 2*f - 248, 3*b = -4*f + 186. Let i = -31 - -79. Is f < i?
False
Let m(d) = -2*d**2 - 76*d + 90. Let q be m(-39). Let s be (q/105)/(620/70). Are -2/9 and s non-equal?
True
Let m be ((-8)/(-24) - (-154)/6)*-1. Let z be (207/(-12))/(4641/m). Let n = z - 3/119. Which is greater: n or 0?
n
Let r(x) = -60*x - 6548. Let v be r(-103). Which is bigger: v or -373?
v
Let n = -16913/11 + 1585. Is 47 <= n?
True
Let b = 4294 + -3954. Which is smaller: 2/11 or b?
2/11
Let c(o) = -5*o - 2. Let r be c(5). Let y be (400/(-104))/(174/1131). Does r = y?
False
Let t be ((-12)/(-8))/(2/24). Let g be (t/(-36))/(1/6). Which is smaller: -0.8 or g?
g
Let t be (-12412)/(-80) + (-8)/(-160). Are 0 and t nonequal?
True
Let x = -4409 - -2178045/494. Are 1 and x unequal?
True
Let z be (-933)/17 + -1 - (9 + 3473/(-391)). Is z greater than or equal to -11?
False
Let g = 14577 - 14577.2. Is g equal to -2234?
False
Let s = 12107 + -12107.03. Which is smaller: s or -1.98?
-1.98
Let k = 4439 + -4434.554. Let b = k - 0.446. Let t = -0.7 - 0.3. Which is smaller: t or b?
t
Let g be (-5)/(-2)*6/(-810)*-12. Let d = -140 - -80. Is g at most as big as d?
False
Let b = -95 - -109. Suppose b*u + 8 = 13*u. Is u less than or equal to -1?
True
Let t be (705/10)/(3/(-2)). Is t at most 1/3?
True
Let i be 2/(-7) + (-393)/21. Let l(t) = -2*t**2 - 3256*t - 9767. Let h be l(-3). Which is smaller: i or h?
i
Suppose 688*z - 4*w = 689*z + 19, 5*w + 22 = -3*z. Which is greater: z or -7/923?
z
Let l = 0.04204 + -1.24204. Which is smaller: -93 or l?
-93
Suppose 165 - 81 = 14*m. Let b(h) = h**3 - 7*h**2 + 5*h - 6. Let i be b(6). Let j = -3 - i. Which is bigger: m or j?
j
Suppose 1 + 0 = -m. Suppose 0 = -5*c - 4*r - 836, 7*r - 11*r - 668 = 4*c. Let v be 2/c - 8/(-84). Is m at most as big as v?
True
Let c = 29093/17 - 1711. Suppose -4*r - l = 0, 3*r - 5*l + 10*l = 0. Let i be (-4)/12*r + -1. Which is smaller: c or i?
i
Suppose -2*z + 5*h - 15 = -3*z, -2*z - 9 = -3*h. Let c be (-4)/8*((233 - -3) + 0). Let k = -588/5 - c. Is k not equal to z?
True
Let m(s) = -s + 5. Let r be m(-7). Let g = r - 5. Suppose 83*c + 10 = 757. Which is smaller: g or c?
g
Let f = -4/3 + 13/9. Let k be 4/(-6)*(1 + (-12)/3). Let l = 3 - k. Are l and f non-equal?
True
Let d = -46.4 - -46.49. Let z be -1 - ((-207)/60 - 4/(-20)). Which is greater: d or z?
z
Let p be 511679/134*3/(-6). Are p and -1910 equal?
False
Let h = -605313/38 - -15929. Which is smaller: -1 or h?
-1
Let x = 19500.01 + 450.99. Is -1 < x?
True
Let q(z) = -2*z**2 + 9*z + 19. Let h be q(9). Let v = -59 - h. Let d = -3947