. Let d(g) = 2*p(g) + 4*u(g). Let o be d(13). Let m be o/(0 - -3*4/(-6)). Is m at most as big as 6/47?
True
Suppose -6*q = -q - 7*q + 5*q. Are 3/27560 and q nonequal?
True
Let n be 1/2 + (-6)/(-4). Let b(q) = -q**3 - 13*q**2 + 20*q - 22. Let g be b(-15). Let u = 130 - g. Is n greater than or equal to u?
True
Suppose -88573*d + 560 = -88565*d. Suppose -3*i + 7 = -s, -2*s - 2 = -0*s - 3*i. Suppose -s*k + k = -284. Which is smaller: d or k?
d
Let x be 44/(-11) - (-1310 + -1)*13/4264. Is x smaller than 0?
True
Let k = 209 - 208.452. Let b = 0.348 - k. Is -0.95 at least as big as b?
False
Let w = -252 + 258. Suppose 3*x + w = -3*h, -4*h + 4 = -5*x + 21. Which is smaller: -7/15 or x?
-7/15
Suppose 6 - 42 = -12*y. Suppose 23 = -5*l - u, -y*l - 3*u - 16 = -7. Let m = -9 - -3. Which is smaller: l or m?
m
Let z be ((-13)/(-4) + -4)*-4. Let i be 1*(-4 + (7 - z)). Suppose i = -11*g + 7*g. Is 4/17 != g?
True
Suppose 0 = r + 5*g - 88, 3*r + 4*g - g - 204 = 0. Let b be -4 - (-14)/r*45/3. Which is smaller: b or 16/13?
b
Let a be 42/4*(-5)/(-10)*-68. Let g = 357 + a. Which is smaller: g or -1/25?
-1/25
Let v = 850.4 + -145. Let h = v + -712. Is 5 smaller than h?
False
Suppose -331 - 1004 = -15*d. Let s = d + 8. Which is bigger: 98 or s?
98
Let g = 1.2 + -1.256. Let c = -10559.9 - -10560. Which is bigger: g or c?
c
Let r = 1059 + -623. Let i = -421 + r. Is i >= -0.12?
True
Let y = -1884 + -3492. Does -5375 = y?
False
Let k(a) = -a**2 + 9*a - 10. Let d be k(5). Let l(w) = w**3 - 8*w**2 + 4*w - 24. Let s = -153 + 161. Let x be l(s). Is d at most as big as x?
False
Let d be 1540/363594*((-4)/(-8))/(4/(-3)). Is -1 greater than d?
False
Suppose 55*t = 58*t. Suppose d - 2*d - 1 = t. Let v be (-1)/4 - 1/(-2). Which is bigger: v or d?
v
Let p(n) = 8*n**2 + 25*n - 3. Let x be p(-6). Suppose -104*a + x*a - 155 = 0. Which is greater: 45/8 or a?
45/8
Let b be (-1 + 1)/(-7 + 6). Suppose b = -5*r - 28 - 47. Let t(g) = -2*g - 30. Let w be t(r). Is w greater than 2/71?
False
Suppose 5*w + 22 = -4*q + 2*q, q = -4*w - 17. Let i = 1526 - 1526.191. Which is smaller: i or q?
q
Let j be 36421/51436 - (-9)/(-12). Which is smaller: 0 or j?
j
Let m = -26092.729 + 26092. Is m smaller than 3?
True
Let i be -1*122/3 - 2/6. Let x = 66 + i. Are x and 128/5 nonequal?
True
Let y be 2 + -4 + (-30)/2. Suppose 2*g = -6, 3*g - 105 = -2*n + 4*g. Suppose n = 79*b - 82*b. Is b greater than y?
False
Let j = -79.5 + 412.5. Let g = j - 332.9. Is 2/27 at most g?
True
Let v = 0.7 - 0.53. Let p = -0.25 - v. Let r = 0.46 + p. Which is bigger: -3 or r?
r
Let m = 4.87 + 0.13. Let h = -381/22 + -20923/66. Let q = h - -333. Is q at least as big as m?
False
Let d(m) = -265*m + 6233. Let r be d(0). Which is smaller: r or 6234?
r
Suppose -3 = -4*t - 3*n - 15, -2*n = 0. Let r be (48/(-9))/(t/((-27)/(-2))). Suppose 4*y + 2*d = -14 - r, -3*y - 21 = 4*d. Which is bigger: y or -9?
-9
Let r(x) = 7*x + 11. Let i be r(-1). Let u be -1 - 3 - (0 - i). Which is bigger: 2/365 or u?
2/365
Let y(t) = -4*t**2 - 70*t - 39. Let n be y(-43). Which is smaller: n or -4427?
-4427
Let t be (-4)/(-26)*(-1)/1. Suppose -2*z - 3*g + 3 = 0, 0 = z - 2*z - 2*g + 2. Which is smaller: t or z?
t
Let y = -4/229 - 1820/687. Let g(h) be the third derivative of -h**5/60 - 7*h**4/12 + 13*h**3/6 - 54*h**2. Let f be g(-15). Which is smaller: f or y?
y
Let k = -1692 + 1311298/775. Are -1 and k equal?
False
Suppose -3*v = -5*m + 46, 0 = 3*m - 2*m + v - 6. Let d be 30/20*m/6. Let r be ((2/(-30))/(d/(-5)))/2. Is r < 0?
False
Suppose -3*x + 641 = -4*n - 804, -x - 1 = 0. Let p be (n/(-4))/(55/(-22)). Which is smaller: -36 or p?
p
Suppose 7109 = 33*f - 36286. Let d = 3017/2 - f. Which is bigger: d or 195?
195
Let u = -45 + 74. Let s = -721.9 + 694. Let d = u + s. Which is bigger: d or 1?
d
Suppose b = -3, -75 - 124 = -7*d + b. Suppose -k + 1 = 0, k - 52 = -2*h - k. Which is smaller: h or d?
h
Suppose 0 = 12*w - 40*w - 5*w - 38*w. Suppose -3*u + 5*h + 28 = 0, -4*h = -4*u + 11 + 21. Let d be 65/128 - u/12. Which is smaller: d or w?
w
Let k = -18015 + 17730. Which is smaller: -2/7 or k?
k
Let n be (-3)/(-2)*80/(-56). Let q = -68/35 - n. Is q <= -1.4?
False
Let t = 1003 + -2043. Is t less than or equal to -1041?
False
Let b(v) = 2*v**2 + 20*v + 14. Let t(i) = 21*i**3 + 2*i**2 - i. Let g be t(1). Let o be 2*(-1)/4*g. Let l be b(o). Does 36 = l?
True
Let d(x) be the first derivative of -x**5/10 - 7*x**4/12 + 17*x**3/3 - 27. Let b(m) be the third derivative of d(m). Let g be b(-4). Does g = 35?
False
Let i(j) = j + 3. Let v be i(0). Suppose 3*o - 6 = 0, -5*q = -v*o + 5*o + 621. Are q and -1 unequal?
True
Let s = 176.02 - 173.02. Is s bigger than -1160?
True
Let h be (-1650689)/1926 + (-2)/(-36). Is -857 at least h?
True
Suppose 1 = -59*o + 28*o + 32. Which is bigger: -3/3716 or o?
o
Let b(i) = 36*i**2 + 227*i + 5. Let t be b(-5). Which is smaller: t or -223?
t
Let c = 11522 - 12187. Which is greater: -11 or c?
-11
Let b = 6272415805/28788 - 217883. Is 1 < b?
False
Let c(q) = q + 4. Let k be c(0). Let x(j) = -18 - 5 + 2*j + 3*j + 6. Let i be x(k). Which is greater: i or 4?
4
Suppose 0 = 6*i - 4517 + 317. Which is smaller: i or 699?
699
Let k(r) = -3*r**2 - 3*r - 1. Let d be k(-3). Suppose -u + 0 = -3, -5*p + 11 = 2*u. Let t be (-65)/11 + p - (d + 19). Which is greater: t or -4?
-4
Let f(o) = o**3 + 8*o**2 + 2*o + 12. Suppose 5*j + 3*b = j - 44, j = 5*b + 12. Let d be f(j). Is -2 != d?
True
Let n be (-7 - -5) + -2 + -2 + -3 + 1411. Do 1404 and n have different values?
True
Let n = 46082819/557 - 82734. Which is bigger: n or 0?
0
Suppose -9*t = -12*t + 6. Let u be (8/370)/((-40)/5 + t). Is u bigger than 1?
False
Let b = -5/988 + -27609/10868. Let x be (-7 - (-6 - -4))/(-1). Suppose x*f - 2*w + 15 = 0, -5*f - 5*w = 14 + 1. Which is greater: b or f?
b
Suppose 0 = -3*d + 3*m - 6, -3*m = d - 5*d - 6. Suppose -h + 4 - 5 = d. Which is smaller: h or 2/575?
h
Let o be (-3507)/(-27) + (-360)/(-324). Which is greater: o or 133?
133
Let c = 59 - 414/7. Suppose 5*n + 16 = 9*n. Suppose -3*g + n*g = 0. Which is smaller: c or g?
c
Suppose -5*r - 6 = 6*j, -3*j + 326 = 329. Which is bigger: r or 1/19803?
1/19803
Suppose -2*m = 5*w + 381, 6*w - 5*m = 4*w - 135. Let i = 67 + w. Let g = i + 24. Do g and 19 have the same value?
False
Suppose 4*q = q + 6. Suppose 4*z - q = -6. Let x be z/(-12) - 6/18. Which is bigger: x or -1.2?
x
Let q(u) = 2*u - 21. Let y be q(15). Let o be 4/(-1) - (-4 + (-756)/4). Let p be (4/6)/(14/o). Is y smaller than p?
False
Let u = 31 - 23.8. Let x = 371.7 - 374.9. Let s = u + x. Which is bigger: s or 0?
s
Suppose 0 = -3*v - v + 12. Let x = 1348958/13869 + -33327/335. Let p = -4/207 - x. Is v bigger than p?
True
Let f = -20641 + 20641. Let t be 2/8 - (-37)/(-52). Let b = 31/39 + t. Which is bigger: b or f?
b
Suppose 16335 + 23564 = 16*d - 35893. Is 4737 bigger than d?
False
Suppose -3*r = -q + 723, -2881 = 293*q - 297*q + r. Which is greater: q or 0.6?
q
Let c be -4 + 12 + -14 - (1 - 458). Let x = c + -502. Is x < -99/2?
True
Let i(z) = -z**3 - 29*z**2 - 20*z + 41. Let l = -191 - -163. Let a be i(l). Which is greater: -185 or a?
a
Suppose 14 = 4*t - 50. Let y(n) = n**2 - 6*n + 26. Let s be y(10). Let b be s/55*(-40)/(-3). Is b >= t?
True
Let t(m) be the first derivative of -m**4/4 - 20*m**3/3 + m**2/2 + 20*m + 5. Let a be t(-20). Is -1/19 <= a?
True
Let b be (0 - (-96)/(-9))/((-2)/6). Let a be (b/1472)/(1/(-12)). Is a equal to -0.1?
False
Let c = 422 + -18989/45. Let q = c + -31/45. Which is bigger: q or 0?
0
Let p(f) = 69*f**2 + 17 + 1 - 12*f + 18 - 50*f**2 - 10. Let r be p(2). Which is greater: r or 81?
81
Suppose 0 = 5*l + 4*o - 1025, 312*o = 317*o + 25. Which is greater: l or 415/2?
l
Let f(p) = p**2 + 3*p - 82. Let s be f(-26). Let z = s + -516. Let g = -3 + 5. Which is smaller: g or z?
z
Let c(i) = 23*i - 113. Let q be c(5). Suppose w - 70 = 3*n, 4*n - 80 = -q*w + 60. Does w = 69?
False
Let c = 29634 - 1985508/67. Which is bigger: 3 or c?
3
Let w = -6 + 6. Suppose -4*c + w*c - 12 = 0. Let u be 490/(-49) + 31/5. Which is bigger: c or u?
c
Let d = -0.52 + -0.08. Suppose -37 = -9*l + 8. Let x be (4 - l)*3 + 5. Does x = d?
False
Let z be ((-56)/(-12))/(429/117). Let n(l) = l**2 - l. Let x(j) = 5*j**2 - j + 1. Let f(i) = -4*n(i) + x(i). Let p be f(-3). Is z