- 207*c - 11. Let w be g(19). Which is greater: w or -2/3?
-2/3
Let z(f) = -2*f**2 - 20*f + 6. Let n be z(-12). Let m = 54 + n. Suppose 16 = 8*j - m*j. Is j less than -2?
True
Let h(s) = -3*s + 9. Let j be h(21). Let u be j/(-135) - -18*18/15. Is 8 at least u?
False
Let l(n) = -n**2 - 3*n - 2. Let v be l(-2). Suppose 5*d - 2*d - f = 14, -4*d + 2*f + 22 = v. Suppose -6*i = -d*i. Which is smaller: i or -2/31?
-2/31
Let k = -9208/1995 - -31/190. Is k > -3?
False
Let y(t) = 42*t + 554. Let b be y(-27). Is -584 at least b?
False
Let z be 5/(-1270)*(-32)/208. Is -1 < z?
True
Suppose -197*h - 1818150 = 33*h. Is h equal to -7905?
True
Let d(t) = 19*t**2 - 34*t**2 + t**3 - t + 19*t**2 - 3. Let l be d(-4). Suppose -l = 4*g - 5*g. Is g greater than or equal to 2/3?
True
Let b = 5262 - 5194. Which is greater: b or 761/11?
761/11
Let s = 5053 + -5053. Are s and 1596 unequal?
True
Let q(u) = -7*u**2 - 19*u - 4. Let k(g) = -3*g**2 - 10*g - 2. Let y(c) = -5*k(c) + 2*q(c). Let r be y(-11). Let a be 6 + (-1 - 6) + -8. Is a smaller than r?
False
Let j = -46.27 + 46. Suppose 3*c = 194 - 164. Suppose 4*s + 2*m = 0, 0 = 8*m - c*m. Is s at least as big as j?
True
Let c be 1878/(-938) - (-2 + -11 + 11). Which is greater: 0 or c?
0
Let i = 41365214/14241 + 48/4747. Let g = -2860 + i. Which is smaller: 45 or g?
g
Let f(w) = 191*w - 11. Let c be f(1). Let i be -2 - ((-1)/(-3) + (-492)/c). Is 0 at most as big as i?
True
Let v(k) = -k + 1. Let u be v(0). Let g = -341 - -347. Let t be 12/(-56) - g/(-12). Which is smaller: t or u?
t
Let n(a) = -21*a + 1947. Let x be n(81). Does x = 1226/5?
False
Let r be -6*1 - (-57 - -53). Suppose -23 = -3*d + 13. Let y be r/(-8) - (-9)/d*25. Which is greater: 18 or y?
y
Suppose 22*o = 31*o - 792. Let l be (-2)/5 + 9/(180/o). Let k = -5.2 - -6.1. Are l and k unequal?
True
Let w = 2864 + -3571405/1247. Which is smaller: w or -2?
-2
Suppose -3*t = a - 1, 3*a = 5*t + 2 + 1. Are -1/5700 and t non-equal?
True
Suppose 5 = 2*o - 3*v, -5*o + 5*v = -3*o - 7. Let y be ((-2394)/(-1588))/o - 78/52. Is -1 less than or equal to y?
True
Let t be 21/12*(-1)/42*-6921. Which is bigger: 289 or t?
289
Let p = 4553 - 41333/9. Which is greater: -0.1 or p?
-0.1
Suppose -16*u = -8*u - 24. Suppose 2*i - 4*l = -18, 10*i - 15*i - 2*l + u = 0. Is 52 less than i?
False
Suppose 235 = 32*o - 149. Which is smaller: 4 or o?
4
Let v be ((2/(-32))/(0 + 7/(-56)))/(-1). Is 414/13 greater than v?
True
Suppose 16 = 2*x + 3*m, 5*x - 3*m = -5*m + 18. Suppose -2*w = -z - 11, 8*z - 4*z - 6 = -2*w. Let s be ((-7)/(-42) - z/(-6)) + x. Which is smaller: 5/4 or s?
5/4
Let o = -481 + 562.3. Let u = 77.3 - o. Is u not equal to 0.48?
True
Let z be ((-126)/(-24))/(2/(-72)). Let s be 2410/126 - 81/z. Let f = -4919/252 + s. Which is bigger: -1 or f?
f
Suppose -4*p = -f + 19, -f = -3*p - 0*p - 14. Let t(s) = -78*s - 42. Let d be t(-2). Let b be (152/d)/(22/(-30)). Which is bigger: b or f?
f
Let k = -374.548 - -415.6. Let y = 0.052 - k. Let x = y - -40. Which is smaller: x or -9/4?
-9/4
Let n = 0.09 - 38.09. Let b = -38.33 - n. Let a = 0.03 + b. Is -2 less than a?
True
Let u(o) = 10*o + 75. Let v be u(-9). Let s be v/(-75) + 1857/(-10). Is -187 at most as big as s?
True
Let y(o) = -25*o - 254. Let n be y(-79). Are n and 1721 unequal?
False
Let q = 65.53 - -367.47. Which is smaller: q or -5?
-5
Let c = 1605 + -1606. Do -9/647 and c have the same value?
False
Let c(z) = -5*z**2 - 11 + 14 - 3 - 10*z. Let f be c(-2). Which is bigger: f or -1/110?
f
Let p = 1.73 - 0.77. Let l = 9.04 + p. Let m be 12/18 + 1/3. Is l < m?
False
Suppose 4*p = -2*v - 3*v + 15, 3*v = -p + 2. Let k be 0 + (p - 6)/(-1). Are k and 12/71 equal?
False
Let z = 7 + -6. Let a be (-4 - 96/(-21)) + -17 + 2976/182. Which is smaller: a or z?
a
Suppose 5*z = 3*h + 76 + 176, -4*z = 3*h - 207. Suppose 3*d + z = -4*s, s + s = 3*d + 69. Is -20 less than or equal to d?
False
Let d = -3 + 23. Let y(u) = u**3 - 3*u**2 - 8*u - 12. Let s be y(8). Let z = s + -226. Is d not equal to z?
True
Suppose 9*a + 456 + 132 = 30*a. Which is smaller: -35 or a?
-35
Let p = -130/21 - -6350/2247. Which is smaller: -4 or p?
-4
Suppose 4*v = -2*v - 2*v. Suppose -4*t + 22*t + 288 = v. Is -13 at least t?
True
Let k(v) be the second derivative of v**4/12 + 17*v**3/6 + 21*v**2 - 62*v. Let d be k(-14). Let u = 2929/265823 + -3/1103. Is u at most d?
False
Suppose 0 = y - 4*u - 274, 9*u - 11*u + 766 = 3*y. Let g = y + -97. Which is bigger: 159 or g?
g
Let n = 3.835 + 2.165. Suppose 0 = -4*f + 3*l + 46 - 15, -5*l - 25 = -4*f. Let i be (-2)/f*(-25)/15. Is i less than n?
True
Suppose 0 = 4*s + c + 285, -2*s - 159 = 39*c - 44*c. Is s greater than or equal to -500/7?
False
Let r = -1932 + 1932. Which is smaller: r or 17/262?
r
Suppose 6*r = 3*r - 3. Let k be 1*0/((-3)/r). Suppose 4*g + 117 - 167 = 3*f, 3*g = 15. Is k at most f?
False
Let k be ((-116704)/(-36) - 6 - 9) + 4/18. Do 3228 and k have different values?
True
Let c = -21.155 + 21.755. Which is smaller: c or 18/5?
c
Let i = 5910576523/15771 - 374775. Which is bigger: i or 1?
1
Let y(i) = 4*i**3 - 10*i**2 - 13*i. Let h be y(-1). Are 1/1502 and h non-equal?
True
Let g = -152 - -175.9. Let b = 24.1 - g. Is 38 < b?
False
Let q = -190275/7 + 27301. Let z = q - 118. Does z = 0?
False
Suppose 0 = -7*t + 4*t + 6, 4*k - 3*t + 86 = 0. Let o be ((-16)/k)/(14/2555). Is 147 greater than or equal to o?
True
Let q(u) = -u**3 + 22*u**2 + 79*u - 29. Let d be q(25). Suppose 0 = 4*m + 3*j - d, 0*j = 5*j - 25. Is m less than 11?
False
Let m = 0 - 0.5. Suppose 28 = -8*z + 20. Let c(x) = -30*x - 33. Let d be c(z). Is m < d?
False
Let s = -0.1 - 0. Let p = 6.818 + 367.282. Let n = -384 + p. Which is smaller: s or n?
n
Let s be (-32)/(-6)*((-12015)/18 + 0). Is s at most as big as -3559?
True
Let u be (-1)/(3/(-1 - 14)). Suppose -u*q - 5*q + 150 = 0. Suppose -q*m = -6*m - 9. Is m not equal to 9/7?
True
Let y be (-4)/10 - 465/25. Suppose -5*g - 2*w + 6*w = -36, 0 = -4*g + 3*w + 29. Let f(v) = v**2 - 7*v - 26. Let r be f(g). Is y <= r?
True
Let p be (-4 - 5/(-2))/((-10)/20). Let h = -7 + 19. Suppose 2*x - 5*x = -h. Is p less than x?
True
Let l = 22 + 65. Suppose -l = -6*m - 1515. Let s be 14/540*2*(-68)/m. Which is bigger: s or -1?
s
Let z(s) = 26*s - 2. Let c = -32 - -37. Suppose q + 6*f - 3*f = 8, -f + c = -2*q. Let t be z(q). Is t equal to -28?
True
Let l(s) = s**3 - 9*s**2 + 1. Let w be l(9). Let a = -12 + 17. Suppose a*m = 6*m + w. Is -1/65 equal to m?
False
Let o be 38630/8 - 414/552. Is o < 4829?
True
Let t(r) = 5*r**3 - 7*r**2 - 76*r + 34. Let f be t(-6). Which is bigger: f or -843?
f
Let n(f) = f**2 + 4*f + 5. Let k be n(-3). Let l(p) = 5*p**2 + 3 + 6*p - 6*p**k + 7*p. Let j be l(11). Is 25 <= j?
True
Let u(a) be the first derivative of a**4/4 - 8*a**3/3 - 6*a**2 + 26*a + 115. Let j be u(9). Is j at least as big as -12/25?
False
Suppose 23*s - 365 - 279 = 0. Let k = -231/16 - -1775/144. Let x = 16/9 + k. Is x > s?
False
Let l = 7 - 18. Let z(f) = f**3 + 11*f**2 + f + 20. Let p be z(l). Suppose 0 = -g + 2*g + p. Which is bigger: -29/3 or g?
g
Suppose -67*x - 15 - 32 = 87. Do 0.055 and x have the same value?
False
Let k be (-3)/(-6) + 2 - (-9)/(-18). Suppose 4*y - 6 + 26 = -2*i, 3*i + k*y + 10 = 0. Let o be 2 + 10/11 - 2. Are o and i equal?
False
Let r(s) = -434*s**3 - 12*s**2 - 7*s + 23. Let y be r(-2). Is 3460 equal to y?
False
Let x(w) = -w**2 + 19*w - 48. Let m be x(15). Let q be m/(-4) + (41/42 - -2). Is 1 at most q?
False
Suppose 0 = -o + 2 + 16. Let w = -3 + o. Let p(g) = 4*g**2 + 2*g - 4. Let x be p(2). Is w at least as big as x?
False
Let x be 255/(-20)*4/(-3). Let g = x - 11. Suppose 20*k = 15*k + 25. Is k smaller than g?
True
Let m be (31/(-2))/(-18 + (-127295)/(-7070)). Is -3133 less than m?
True
Suppose 174 + 296 = 4*q + 50. Which is smaller: 6 or q?
6
Let u be (12/15)/4*(888 + -2). Is u at most 177?
False
Let q = -21.23 + -1.77. Let i = 22 + q. Which is bigger: i or 43?
43
Let a(u) = 177*u + 34 - 514*u + 167*u + 175*u. Let k be a(-7). Which is smaller: -10 or k?
-10
Let q = -115 + 220. Suppose 3*c = -3*v + q, -5*v + 73 = 2*c - 105. Is v greater than 35?
True
Suppose 5169 = -114*f + 723. Suppose 87 = -4*d - 73. Do d and f have the same value?
False
Let c(s) = -5*s**2 - 11*s + 17. Let l be c(5). Which is smaller: l o