 k*c. Let f = -1 - c. Which is smaller: -20 or f?
f
Suppose -47*w = -49*w - 74. Let l = 32 + w. Let p = -8 + 6. Which is greater: l or p?
p
Let k(q) = 3*q - 27. Let h be k(10). Suppose 2*g - h = 3*g - o, -4*o = -3*g - 13. Let f be g - (-3 - 1758/(-441)). Is 0 at least f?
False
Let b = 124 - 120. Suppose b*c - 60 = -3*l, -2*l = 5*c - 5*l - 75. Is 15 less than c?
False
Suppose 3*m + i = 8, -4*i = -4*m - 0*i. Let y be (-7 - (-57)/8) + 3934/16. Let s = y - 262. Which is smaller: s or m?
s
Let r be 15/4 - (-2)/8. Suppose -7*c + 226 = -782. Let p = c - 142. Is p at least r?
False
Suppose 17 = 4*v + 3*l, 2*v + 9 = -3*l + 4*l. Which is bigger: -1/1850 or v?
-1/1850
Let z be 14/(-12)*((-10)/15 + 798/1764). Let f be (-3)/(-1) + -1 + 1. Suppose -y - f + 0 = 2*q, y + 5 = -q. Which is smaller: y or z?
y
Let k be 54/(-8) - (-1 - -1). Suppose -36*w = -3*l - 37*w - 18, -2*l = -3*w + 34. Which is greater: k or l?
k
Suppose 7*l + 1423 - 23 = 0. Let i = l - -214. Are 20 and i nonequal?
True
Let t(s) = -s**3 + 3*s**2 + 10*s - 6. Let i be t(5). Let h be (5 - (675/70 + -2))*i. Which is bigger: 1/3 or h?
h
Let b be 2/1*(-169)/(-338). Let j = -38184 + 2940310/77. Let k = j - 14/11. Do b and k have the same value?
False
Let i = -118.87 + -0.13. Let k = i - -197. Let o = k + -79. Is 17 at least o?
True
Suppose 5*h = -3*a + 26, h - 5*a + 5 = -1. Let i be h/(-20) - (-43418)/(-85). Is -511 at least as big as i?
True
Let r be (-229 - -223) + (-5)/(2525/(-3034)). Does 1 = r?
False
Let h be ((3 + -2)*(-3)/6)/(158/28). Is h less than -1?
False
Let c(q) = -160*q**2 + 281*q - 1123. Let o be c(4). Which is bigger: -2558 or o?
-2558
Let v(i) = -2436*i**3 - 32*i**2 - 15*i + 16. Let j be v(-1). Do j and -5 have different values?
True
Suppose -4*h = -4*s + 88, 0 = 3*s - h - 4*h - 74. Which is smaller: s or 29?
s
Let d = 24800 - 24800.67. Which is bigger: d or -0.6?
-0.6
Let k(z) = 5*z - 39. Let q be k(7). Suppose 9*h = 14 + 13. Let m be h*1*4/(-3). Is m <= q?
True
Let a = -27194 - -80738988/2969. Which is greater: a or -1?
a
Suppose 19 = -2*j + 5*a - 16, -81 = 3*j + 2*a. Is -27 >= j?
False
Let h = -53 + 563. Let t = -758 + h. Is t greater than -249?
True
Let u = 3 - 5. Let y(z) = 892*z + 18. Let o be y(1). Let n = o - 911. Are u and n nonequal?
True
Let s = 432 + -231. Let r = -347 + s. Is -147 at most as big as r?
True
Suppose -1056 - 468 = -3*q. Let t = q + -508. Let i = 1 + 0. Is t at most as big as i?
True
Let b(g) = 5 - 20*g + 25*g + 32*g. Let a be b(-2). Let l = -68 - a. Do l and 2 have the same value?
False
Suppose -4*a = 19 + 21. Let o be a/(-55) + 102/(-198). Which is greater: o or 0?
0
Suppose 0 = 2*q - 3*h + 66, -4*h - 24 + 13 = q. Let p be -4 + -2 + (q - -34). Which is smaller: 9/35 or p?
9/35
Let m be -5151*(54/50 - (1557/(-225) - -7)). Do -5151 and m have different values?
False
Suppose 0 = 3*v - q - 279, 2*q - 465 = -5*v - 3*q. Let x = -93 + v. Which is bigger: -17 or x?
x
Suppose -w = 7 + 90. Let s(b) = -2*b**2 + 6*b - 4. Let n be s(-5). Let i = w - n. Do i and -2 have the same value?
False
Let i = 100427 + -101045.13. Let t = 618 + i. Which is smaller: t or -2?
-2
Let a = 451 - 444. Suppose -596 + 3200 = -a*l. Do -372 and l have the same value?
True
Suppose 0 = 27*z + 3728 + 3481. Let d = 800/3 + z. Is 1/367 less than d?
False
Suppose -3*s + 9 + 18 = 0. Let w = -31 + 56. Let t = -24.9 + w. Is s equal to t?
False
Suppose -4*r - t = 3*t - 184, -t = 1. Let c(m) = -25*m. Let b be c(2). Let w = b + r. Which is smaller: -5 or w?
-5
Let m be -3 + 0 + (2 - 0). Let v = 498299/150 + -3322. Which is bigger: m or v?
v
Let q = -21216 + 19571. Is q equal to -0.05?
False
Suppose 0 = l + 2*l - 24. Let m = -1555 - -1559. Suppose -2*z - p = -0*z + l, 3*p = z + m. Is -6 at least z?
False
Let k(d) = 24*d + 36. Let r be k(16). Suppose -q - 3*b = 96, 6*q - 5*b + r = q. Which is greater: q or -84?
-84
Let a(s) = s**2 - 44*s - 695. Let d be a(60). Which is smaller: d or 259?
259
Let x be -2 - -2 - (-5 - -1). Suppose -2*h - 2*n + x = -h, n - 11 = 4*h. Suppose -5 = 2*j - w, -2*j - 24*w + 22*w = 8. Which is smaller: h or j?
j
Let o = 38962 - 39631. Is -678 < o?
True
Let t = -5 - -3. Suppose 0*s + 5*s - 20 = 0, -c - 34 = 2*s. Let p be (-3 - 246/c)/(-1). Which is smaller: t or p?
p
Let l = 23947 - 24059. Is -111 equal to l?
False
Let d be (-57448)/218784 + 3/(-18)*(-6)/4. Is 0 greater than d?
True
Let a = 8902 - 8734. Which is bigger: a or 15?
a
Let z(r) = r**3 - 5*r**2 - 3*r. Let x be z(6). Suppose 0 = 10*i - 12*i + x. Let s(a) = -a**3 + 2*a**2 + 9*a + 10. Let o be s(-2). Which is greater: o or i?
i
Let w = 197.07 + -4.07. Let j = w + -193. Which is bigger: -74 or j?
j
Let w(x) = 2*x + 15. Let a be w(-3). Suppose a*u + 28 = 7*u. Suppose 7*h - 30 = 3*i + 3*h, 3*i + 3*h = -51. Does u = i?
True
Let w = -6.79 - -7.173. Let k = 39.047 - 39. Let t = w + k. Which is bigger: -0.1 or t?
t
Let l = -0.199 - -0.434. Let k = 0.265 - l. Which is smaller: k or -2/75?
-2/75
Let g = -1306.6 + 1306.724. Is 0.02 at most g?
True
Let l be (-1)/(40/15 + -3). Suppose m = -a - 2, -1 = 5*a + l*m + 1. Suppose 6*z + 556 = a*z. Which is bigger: z or -140?
z
Let k(i) = -9*i**2 - 97*i + 382. Let q be k(-24). Which is smaller: q or -2472?
q
Let l = 9.064 - 7.064. Which is bigger: -21 or l?
l
Let q = -83 - -125. Let j be (-140)/77*(-1)/q*1. Let z = 1/132 - j. Which is bigger: z or -1?
z
Suppose -123*l + 125*l = -34. Let n be l/(-8) + 1*(-4)/32. Suppose 2*q = 3*j - 22, 6*q - 3*q - n*j = -28. Which is greater: q or -7?
-7
Let n be -4*-6*4/11088. Do 11 and n have the same value?
False
Suppose -4*s + 9*g - 5*g = 124, -68 = 2*s + g. Which is bigger: s or -257/8?
-257/8
Let m = -8232.85 - 31.15. Is 0 equal to m?
False
Let i(d) = 5*d**3 + 118*d**2 + 71*d + 51. Let l be i(-23). Is l > 5.4?
False
Let x(i) be the first derivative of i**3/3 + 17*i**2/2 - 21*i - 7. Let y be x(-19). Suppose 0 = 3*k - y - 13. Which is smaller: k or 12?
k
Let d(s) be the first derivative of s**4/4 - s**3 + 5*s - 1. Let l = -18641 - -18637. Let t be d(l). Is -108 smaller than t?
True
Suppose -2*g = g - 48. Let n be g - 2 - (1 + -1). Let m be n/6*30/1785. Are m and 1 nonequal?
True
Let o = 286.4 - -53.6. Let c = o - 260. Does 1/2 = c?
False
Let j be (0 - (4 + -5)) + 5*-1. Let a be (7/(1890/942))/(2/(-12)). Let h = -123/5 - a. Which is greater: j or h?
h
Let d = -53 - 10. Let h be 5/((-35)/(-21)) + d. Which is smaller: h or 0?
h
Let k = 1675/1612 - 34/31. Let o = 21/26 + k. Let s = -4 - -5. Do s and o have different values?
True
Let p = 3513 + -3511. Let k(o) = -o - 1. Let f(m) = -5*m - 1. Let a(i) = -f(i) + 4*k(i). Let u be a(p). Which is greater: u or 1/23?
1/23
Suppose -4*v = -4*j + 4, -6 = -2*j + 3*v + v. Let w be (-5 - -3)/(j - 0). Suppose -5 = u + w*f, -u - 2*u - 3*f = 9. Is u at least -12?
True
Let s be (-888)/1752*(-3)/3. Which is greater: 0 or s?
s
Let k be (10/(-4) + (0 - 2))*-2. Suppose -11*w - 12 = -k*w. Let o be 132/8*w/(-3). Which is bigger: o or 34?
34
Let k be 4956/(-154) + (-8 - -21). Which is smaller: -18 or k?
k
Let j be (-13286)/22160 - (-351)/585. Are 0 and j equal?
False
Let g(u) = -3*u + 30. Let z be g(11). Let d be 1 - ((z - -15) + -4). Is -78/11 greater than d?
False
Suppose 76*l - 940 = 80*l. Is -222 greater than l?
True
Let x(h) = 11*h + 192. Let c be x(-21). Let m(f) = -f**2 - 38*f + 37. Let t be m(c). Which is smaller: -21/11 or t?
t
Suppose -q - 12 = 3*s, -5*q = -7*s + 2*s. Let z be 5 - 0/s - 63/9. Which is bigger: -15/29 or z?
-15/29
Let p(u) = -34*u - 5523. Let h be p(-96). Are h and -2/3 equal?
False
Suppose 0 = -4*n - 3*f + 64, -5*f + 59 = 3*n - 0*f. Suppose 11 = n*h - 2. Let m be ((-1)/4)/((-23)/4). Is h less than or equal to m?
False
Suppose 47 - 17 = -l. Let f(j) = -26*j + 22. Let t be f(-28). Suppose 8*i - 510 + t = 0. Do i and l have the same value?
True
Suppose -5*t - 5*q = 350, 80*t - 4*q = 82*t + 148. Let z = 41.7 - 42. Is t at most z?
True
Suppose 4 = t + 3*t, -17 = -g - 3*t. Suppose 3*r + 5*z = -75, 2*r = -z - 43 - g. Let i = -29 - r. Which is greater: -8 or i?
i
Let z be ((-5)/40)/(2/4). Suppose 0 = -4*w + 635*t - 631*t - 192, 0 = -5*w + 3*t - 234. Which is smaller: z or w?
w
Let h = 1475 - 23605/16. Which is smaller: 0 or h?
h
Let x(n) = 57*n**2 - 5*n + 31. Let g be x(5). Let z = 52951/37 - g. Is -1 bigger th