4). Let o be (-12)/(-9) - p/6. Which is smaller: o or c?
c
Let f be -4 + ((-18)/(-15))/((-8)/(-20)). Do -2/31 and f have the same value?
False
Let c be 13/(143/2783) - 4. Is -1/3 less than or equal to c?
True
Suppose 3*v - 29 = 1. Suppose 4 + 1 = 5*x. Let g be 147/15 + (x/(-5))/(-1). Are v and g nonequal?
False
Suppose -o - 4*o + 25 = 0. Let r be (-50)/(-6)*(-333)/(-555). Is o at least as big as r?
True
Let r be 129/1290 - (-3221)/(-10)*1. Do r and -321 have the same value?
False
Let j = -85133/454 + 4/227. Is -187 smaller than j?
False
Suppose -36 - 64 = 5*f + 4*d, 2*f - 3*d = -40. Which is greater: -15 or f?
-15
Let g = 0 + 0. Let j(z) = -2 - 85*z**2 - 3 + 84*z**2. Let u be j(g). Which is smaller: -6 or u?
-6
Let f(k) = -k**3 - k**2 + 2*k + 2. Let y be f(-2). Suppose 7 - y = 5*g. Let x = 5 + -5. Which is smaller: x or g?
x
Suppose -4*j = -j + 258. Let a be j/(-18) + (-6)/(-27). Suppose -6*k = -2*k - a*s + 19, k - 4*s = -2. Is k < -8?
False
Let j(v) = v**3 - 3*v**2 - 4*v - 2. Let m be j(4). Let f be (-1)/(-1) - 2*m. Suppose 72 = -2925*s + 2943*s. Is f != s?
True
Let l(o) = -9*o + 23. Let p be l(12). Let y = p + 90. Is 4 > y?
False
Let f = -13511/2796 - 1/932. Suppose -5*h = 3*q + 28, 0 = 3*q + 2*h - 4*h + 14. Is q != f?
True
Let c = 103641/23 + -4507. Do c and 0 have the same value?
False
Let r = 77 + -31. Suppose -13*v + 89 = 2*q - 12*v, 2*v = 3*q - 151. Which is smaller: q or r?
r
Let g be ((-3)/(-6))/(3/(-6)). Suppose -5 = -f, -7*w - 3*f = -2*w - 30. Suppose -2*k = 3*k + 4*l + 18, -w*l - 4 = -k. Which is smaller: k or g?
k
Let y be (-1)/(1*2354/812). Let t = -2/107 + y. Is t smaller than -1?
False
Suppose 4*g - 62 = 30. Let l be ((-15)/6 + 4)*46/3. Is l < g?
False
Let p(l) = l**2 - 9*l - 1. Let i be p(8). Let b be (-2)/i + (-12)/297. Let c = 7 + -7. Which is smaller: c or b?
c
Let k = 439.24 + -439. Suppose 4*t = -5*n + 6 + 13, 3*t + 4*n - 15 = 0. Which is smaller: k or t?
k
Let v be (21 - 15)/(3/1). Suppose -v*t = 0, -2*j - 40 = 4*t + t. Is -1 greater than or equal to j?
True
Let f(m) = 4*m - 25. Suppose -3*r - 18 = -u, 0 = -4*u + 5*u + 2*r + 2. Let b be f(u). Is 41 greater than b?
True
Let i = -163 - -649/4. Let p = 2 + 1. Suppose -p*z = -3*f - 7*z, 0 = 5*z. Is i at most f?
True
Let d = 16 - 16.05. Let t = 4 + -4.05. Let c = t - d. Which is smaller: c or -21?
-21
Let k = 314 - 40. Let q = 12880/47 - k. Suppose 0 = -f - f. Are f and q non-equal?
True
Let q = 1025 - 679. Which is smaller: q or 347?
q
Let d = 2.5 + 9.5. Let w = d + -10. Is w <= -8?
False
Let p be (2 + 0)*1/1. Let j be 3/(-30) - (-1)/p. Let m be (182/(-42))/(2/(-6)). Is m < j?
False
Let d be 5*-10*30/60. Let m = 9 + -10. Which is greater: d or m?
m
Let q be (-16)/(-7) - (-2)/(-7). Suppose -c = -q*c. Let d(i) = -2*i**3 - 144*i**2 - 298*i - 1264. Let r be d(-70). Which is smaller: r or c?
r
Suppose 3*c + 3*o = 1 + 41, 3*c - 4*o - 49 = 0. Which is bigger: c or 71/5?
c
Let d = -43658437/54420 + -2/13605. Let h = d + 795. Is h less than -2/3?
True
Let q(n) = -21*n - 128. Let z be q(-8). Which is bigger: z or 43?
43
Let m = -10/63 - 11131/126. Let n = 88 + m. Which is bigger: 47 or n?
47
Let h = -375 - -376. Suppose -5 = -5*b + 10. Let c be (-3)/(9/b) - -2. Is c smaller than h?
False
Let b = 1139 + -6809/6. Let g = -14/3 + b. Let v(l) = -3*l + 1. Let d be v(1). Is d greater than g?
False
Let j = 3.8 - 0.8. Let s = j - -10.6. Let x = -13 + s. Is x equal to 1/3?
False
Suppose 0 = -4*v + v + 5*f - 36, 5*f - 12 = v. Let w = v - -15. Which is greater: w or 5?
5
Suppose 4*p + 93 + 211 = -4*v, 2*v + 128 = 4*p. Let q be v/(-155) - (-6)/(-15). Let x = -41/155 + q. Which is smaller: x or 2?
x
Let b be 4/(-3) + (-4)/2. Let m(z) = z**3 - 9*z**2 + 14*z + 2. Let p be m(7). Suppose -p*h = 3*h + 10. Which is greater: h or b?
h
Let l be -1*(-7)/(-1 - 13). Is l bigger than -264/7?
True
Let z = -180/23 + 2131/46. Is 39 at least z?
True
Let z(c) = c**2 + 15*c - 10. Let d be z(-18). Let p = -222/5 + d. Is p > -0.6?
True
Let z be (133/(-21) - -6)/((-33)/810). Is z at least 7?
True
Let s = -1218678 - -15825896/13. Let w = s + 1302. Suppose 11*p - 10*p = 0. Is w bigger than p?
True
Suppose -l + 3*l = 0. Suppose -4*h = 4*i, -2*i - 2*i + 3*h = -21. Let a be (1/(-2))/(i/(-6)). Is a at most as big as l?
False
Let c = -218 + 252. Which is greater: c or -1?
c
Let g(n) = 8*n - 2. Let a be g(1). Let i = a - 5. Let j be -5 + 7 - (3 - i). Which is bigger: j or 1/9?
1/9
Let u = -32.5 - -30.5. Let f = 5.03 - 5. Is f < u?
False
Suppose -93*a = -87*a - 150. Which is bigger: a or 324/13?
a
Suppose 9 = 5*u - u + 5*t, 2*u + t + 3 = 0. Let j be (6*(-11)/(-16) + u)*-21. Is j at most -2?
True
Let k = 173 + -176. Which is greater: k or -24/7?
k
Suppose 13 = 4*v - 7. Suppose 4*s + v*l + 3 = 0, 4*s + 12 = -s + 2*l. Let a = 41/778 - 4955/5446. Is s bigger than a?
False
Suppose 0 = -4*x + 12, 0*f = -2*f - 3*x + 21. Which is greater: -28 or f?
f
Let b(o) be the second derivative of 3*o**5/20 - 5*o**4/4 - 2*o**3/3 + 5*o**2 + 23*o. Let j be b(5). Is -8 <= j?
False
Suppose -91 = -4*o + 161. Suppose 0 = -10*s + s + o. Suppose -4 + s = 3*w. Is w at most 1?
True
Suppose -3*j - 2*j + 5 = 0. Let k be 2 - -1 - (1 + j). Let n = 10.1 - 2.1. Is k smaller than n?
True
Suppose 0 = 4*p + 3*b - 379 + 388, -12 = p + 4*b. Which is smaller: 1/256 or p?
p
Let h = 56 - 106. Let u be (1/2)/(5/h). Which is bigger: u or -2?
-2
Suppose -31 = -n - 3*g, 0 = 4*n - 3*g + 7 - 86. Suppose -b - 3 = -l, b + 5*l - l = n. Is 1/15 at least b?
False
Let t be (-108)/(-15) + -18 + 12. Which is smaller: t or -1?
-1
Let w = 0 + 5. Suppose -h = -w*g + 633, -5*g - 443 + 1074 = -2*h. Let n = -1650/13 + g. Is n smaller than 1?
True
Suppose 0 = 2*o - 4*o. Let t = -7 - -6. Let w be (t/2)/((-2)/4). Which is smaller: w or o?
o
Let g = 627 - 494. Is g at least as big as 131?
True
Let a be 0 + 1*2194/10. Suppose 16*v = 18*v - 444. Let d = a - v. Which is greater: -2 or d?
-2
Suppose -3*q - 10 = -5*q. Suppose -3*j + 20 = i, q*j - 6 = -1. Suppose -i = -2*b + 3*v, -2*v - 29 = -5*b + v. Is b at most 4?
True
Let h(f) be the third derivative of 3*f**4/8 + 7*f**3/6 - 5*f**2. Let t be h(3). Suppose -4*s - 28 = 2*j, -3*s - 4*j + 9*j = t. Is -9 at least as big as s?
False
Let q = -413/2 + 5409/26. Let z = 32 - 31. Which is smaller: z or q?
z
Let m = -32 + 33. Is m at least as big as -2/639?
True
Suppose 4*g + 10 = 6*g. Suppose 20 = 2*a + 3*a. Do g and a have the same value?
False
Let w be (-15)/(-486)*(-122)/(-10). Let v = w + 5549/1134. Let p = v + -50/9. Which is smaller: 1 or p?
p
Let w = -32 - -32.09. Let r = 9.8 - 10. Which is smaller: r or w?
r
Let y be -17*(-4)/28 + (-81)/189. Which is smaller: y or 34?
y
Let n be (-4)/(-6) - (-44)/6. Suppose 7*z = 81 - 270. Let p be (-65)/(-9) - (-6)/z. Which is smaller: n or p?
p
Let i(v) = 17*v + 85. Let j be i(-5). Is j <= -4/261?
False
Let o be 24/(-18) + (-445)/15. Do -24 and o have different values?
True
Let n(l) = 7*l - 41. Let o be n(14). Suppose o = 4*v - 43. Do v and 26 have different values?
True
Let m = 682 + -1442. Is -762 >= m?
False
Suppose 13 = b + 5*i, -5*b = -0*i - i + 39. Suppose -5*c - 1 = -4*j + 39, 2*c + 3 = -j. Suppose -y - 17 = n + 2*n, -n - j*y - 1 = 0. Which is smaller: n or b?
b
Let d = -15 + 28. Let z = d + -3. Let t = 10 - z. Which is smaller: t or 11?
t
Suppose 5*k - 21 = -3*t, -2*k + 4*t + 1 = k. Suppose 4 = k*s + 10. Let f be s/4 + 3/30. Is -1 smaller than f?
True
Let t(c) = -c**2 - 4*c + 13. Let m be t(-6). Suppose 0*s = s - 5*q - 32, 0 = 3*s - 2*q - 57. Suppose 3*r + 3*g - 16 = -7, 4*r = -5*g + s. Is r greater than m?
False
Let s be 3/(-8) - 93/(-248). Is s at most 5/9?
True
Let s(d) be the third derivative of -d**6/120 - 7*d**5/60 + d**4/6 + 17*d**3/6 + 17*d**2. Let u be s(-8). Which is bigger: u or 48?
u
Let a be (-2)/(-6) - 950/(-120). Which is greater: a or 2?
a
Let c = -0.3375 - -0.0375. Which is greater: 4.5 or c?
4.5
Suppose -z - y = 205, 6*z - 4*y = 4*z - 428. Is z bigger than -209?
True
Let t = 2/15 - -1/5. Is t not equal to 0?
True
Let g be (-24)/11 + 6/33. Let q = -2 - g. Let s = -8 - q. Which is greater: s or -7?
-7
Let x be (-2)/(-6)*(2 + -11). Let d be ((-12)/18)/((-2)/(-277)). Let q = -96 - d. Which is greater: x or q?
x
Suppose 3*z = z - 0*z. Do 5/296 and z have the same value?
False
Let b = 79