-39))/((-4)/30). Let v = s + 59/104. Suppose -2*q = -2*h - 0 - 2, -2*q - 3*h - 3 = 0. Which is smaller: v or q?
q
Suppose -5*v + 20411 = 8486. Is v at least 2386?
False
Suppose -55 = s + 54*s. Let q = 134083/29880 - 202/45. Let b = q + 1381/35192. Which is smaller: b or s?
s
Let i = -43.9 - -33.9. Is -6 >= i?
True
Let a(x) be the second derivative of x**4/12 - 5*x**3/6 + 5*x**2/2 + 5*x. Let n be a(5). Let o = -5 + n. Are -1 and o equal?
False
Suppose 4*i + 7505 - 2061 = 4*f, 0 = 2*f. Is -1361 less than or equal to i?
True
Let y(w) = -54*w + 22. Let f be y(5). Which is bigger: -249 or f?
f
Let f = -0.067 + -1.853. Let b = 0.92 + f. Which is bigger: b or 20/7?
20/7
Let v(p) = p**2 - 3*p - 11. Let u be v(-2). Let r = -7.11 + 0.11. Let f = r + 6. Is u not equal to f?
False
Let v = -1 - -2. Let m be ((-12)/(-8) - 1)*2/(-52). Let f = 67/780 + m. Is f <= v?
True
Suppose -4*r + 1672 = 7*r. Which is greater: 301/2 or r?
r
Let i = 331 - 1662/5. Let n(q) be the first derivative of q**3/3 - 2*q + 7. Let d be n(-1). Which is greater: d or i?
d
Let h = -1683.091 - -1683. Which is bigger: 0.6 or h?
0.6
Suppose -4*s = -262 + 282, 5*s + 23 = -2*v. Let n = 12965733/14 - 925607. Let j = 517 - n. Which is smaller: j or v?
j
Suppose 7*t - 10 = 9*t - 2*q, 5*t = q - 9. Let u be (-3)/(-10)*4/(-138). Is t equal to u?
False
Let i be (-225)/35 + (-3)/(-7). Let a be -3 - -1 - 2 - 1. Do a and i have different values?
True
Let m be (((-65)/20)/(-13))/(2/8). Which is greater: m or 7/249?
m
Let h = -11 - -47. Let u be ((-28)/h)/(-1) + -1. Which is bigger: 0 or u?
0
Let r = 14 + 3. Let x be r/((-1479)/(-180)) + -2. Which is smaller: -1 or x?
-1
Let b(w) = -w**3 - 7*w**2 - w - 4. Suppose 10*k = 15*k + 35. Let a be b(k). Suppose h - 2*h = 5, -4*l = -3*h - 27. Is l at least a?
True
Suppose 140 = 5*s + 21*v - 16*v, 57 = 2*s + 3*v. Which is smaller: s or 34?
s
Let k = -0.076 - -0.076. Which is bigger: 1/7 or k?
1/7
Let u = -1.19 - -1.34. Let s = -77.85 + 81. Let a = u - s. Are a and -1 equal?
False
Let p(m) = -7*m**2 + 3*m - 9. Let z(g) = 6*g**2 - 2*g + 8. Let f(k) = 5*p(k) + 6*z(k). Let t be f(-3). Suppose -1 = 4*x - t*x. Which is greater: 3 or x?
3
Let n(a) = a + 8. Let j be n(-5). Let s(z) = j*z - z**2 + z + 3 - 3*z + z. Let t be s(3). Which is smaller: 1/6 or t?
t
Let d be ((-4)/45)/((-6)/15). Let m(n) = -n**3 - 5*n**2 - 3*n - 2. Let y be m(-4). Which is smaller: d or y?
y
Suppose 5388 = 7*q - 632. Let l = q - 3457/4. Which is smaller: -5 or l?
-5
Let j = 1.8 + -1.85. Let r = 0.25 + j. Which is greater: r or -2/11?
r
Let b = -640 - -464. Is -178 < b?
True
Let c(w) = -w**3 + 13*w**2 - 8*w - 3. Let h be c(12). Let p = h + -46. Which is greater: p or -2/21?
-2/21
Let l = -1283 - -1109. Which is greater: -173 or l?
-173
Let j = 89.2 - 89. Is j <= -2?
False
Let h be (-2)/12*382*6 + 0. Let c = h - -4197/11. Which is smaller: c or -2/3?
-2/3
Let g = -869 + 869. Which is smaller: 509 or g?
g
Let c = 2.9 - 3. Let h = 40/87 - 746/2001. Is h smaller than c?
False
Suppose 5*l + 12 = -c, 5*c + 3*l + 33 = 5*l. Are -9 and c unequal?
True
Let f be (-44)/(-2)*-2*8/(-32). Is f smaller than 9?
False
Let k(h) = 7*h**2 + 2*h - 2. Let s be k(1). Suppose s*d + 3 = 4*d. Let m be (-50)/(-30)*3/(-8). Is d not equal to m?
True
Let s be ((103 - 4) + -3)/1. Let w = -96 + s. Which is smaller: -40 or w?
-40
Let u = 4 - -2. Let r = u - 6.1. Is r equal to 1.3?
False
Let y be (-656)/(-615) - (-2)/(-3). Let v be 1 - (2 + (-2869)/(-11)). Let q = -262 - v. Which is bigger: q or y?
y
Let c = 283 - 284. Is 0.3 greater than or equal to c?
True
Let b = 12.2 + -12.192. Let u = -0.108 + b. Are u and 11 equal?
False
Let w = 3.6 + 2.4. Let i = -7 + w. Which is bigger: i or 1/4?
1/4
Let t(b) be the first derivative of 9 - 8*b + 7/2*b**2. Let k be t(3). Which is smaller: k or 14?
k
Let l(j) = j**3 + 8*j**2 - j + 8. Let d be l(-8). Suppose 0 = d*o - 14*o - 30. Does o = 18?
False
Let p = -54.1 + 54.02. Let d = -0.3 + 0.2. Is d at least p?
False
Let l be (10*1)/((-4)/6). Let j be l + 0 + -8 + 11. Let c be (3/9)/(38/j). Are 2 and c nonequal?
True
Suppose c - 15 = -3*o - 2*c, 0 = o + 3*c + 3. Suppose o*x = 2*x - 7. Which is smaller: 1/26 or x?
x
Let h be (1*24/(-15))/((-5)/(-75)). Which is bigger: h or -27?
h
Suppose -2*y + 0*y = -14. Let g(k) = -k**3 + 8*k**2 - 8*k + 8. Let d be g(y). Which is bigger: -2/55 or d?
d
Let w = -156 - -157.3. Which is bigger: w or 0?
w
Let d = -129 - -120. Is 3 less than d?
False
Suppose 15 = 3*a, -5*k - a = a - 110. Suppose 3*c - k = -8, 16 = 3*w + 4*c. Which is smaller: 1/78 or w?
w
Let z = -7 - 18. Let k be 69/z + 27/9. Which is smaller: k or 1?
k
Let i be 6/10 - 231/35. Let s = i + 28. Let k = -22 + s. Is k smaller than -1/2?
False
Suppose 4*c = 0, 11 + 4 = -3*k - 2*c. Which is smaller: -8 or k?
-8
Let k be 10*(-2)/(-4) + (-270)/(-18). Is k at most as big as 24?
True
Let b = 463/9 + -52. Let p = -8 - -22. Suppose 4*z = n + 1, 5*z + p + 11 = -4*n. Is z less than or equal to b?
True
Let a be 0 - (-2 - 2/(-2)). Let z(r) = -5*r + 4. Let j be z(a). Is j greater than 1/37?
False
Suppose -4*s - 2*x - x = 4, 5*s + 2*x - 2 = 0. Suppose -22 = s*v + 3*u, 0*v = -3*v - 3*u - 30. Suppose 40 = -4*o + 4. Which is greater: o or v?
v
Let l be (-14 - -9)/(-1 - 0). Suppose 5*o + l*g = 0, 4*o + o + 2*g = 9. Let j be 6/(-2) - -1 - -4. Are j and o equal?
False
Suppose -6*k - 111 - 9 = 0. Let t = -25 - k. Which is bigger: t or -4?
-4
Suppose d - 3 = -1. Let o be 15/5*d/(-30). Is 0.3 equal to o?
False
Let j be -7 + 6 - (-540)/10. Is 54 greater than j?
True
Let r = 13 + -8. Suppose 0 = -v, -15 = -r*w - 2*v - 0*v. Suppose -w*o + 5*u - 13 = 4, -3*o + 4*u = 13. Which is smaller: -2/25 or o?
-2/25
Let g be 0/(-5) - (-242)/2. Let o be (0 - -1)*(-11)/g. Is -1 equal to o?
False
Let u be -1 + 154245/5412 - 4. Let p = -1/1804 + u. Which is smaller: 24 or p?
p
Let x be 8/3 - 754/273. Suppose -6*s + 22 = c - s, -2*c + 2*s = 16. Let k = -2 - c. Which is smaller: k or x?
x
Let y = -40728/595 - 232/119. Let c = 70 + y. Let s(z) = z**3 - 3*z**2 + 4*z - 3. Let w be s(2). Is c less than w?
True
Let a(q) = -q - 36. Let j be a(0). Let r = 22 + j. Which is smaller: -15 or r?
-15
Let w(t) be the first derivative of t**4/4 - 5*t**3/3 - 9*t**2/2 + 13*t + 27. Let l be w(6). Does -3 = l?
False
Let z = 1638 - 1637. Which is smaller: z or -0.0343?
-0.0343
Suppose -3*j - 125 - 289 = 0. Let o = -131 - j. Which is greater: o or -6?
o
Let w = 0.672 + -0.112. Let d = w + 0.44. Which is bigger: -1/16 or d?
d
Let b = 744 - 745. Which is smaller: b or 1/55?
b
Let j = 851 + -834. Let i be (-114)/(-30)*(0 - -5). Is i at least as big as j?
True
Let l(n) = n**3 + 12*n**2 - 14*n - 4. Let f = -6 + -7. Let v be l(f). Let i(u) = -u**3 + 4*u**2 - u + 3. Let m be i(3). Are v and m unequal?
False
Let i = 3 + -4. Let l be (-9725)/(-7305) - 8/6. Let x = l - -1475/6818. Which is greater: i or x?
x
Let a be (17 - 18)/(-3 + (-3968)/(-1324)). Which is bigger: a or 330?
a
Let n be 404/(-200) - (1 + -3). Let l be 108/(-156) + (-24)/78. Which is bigger: n or l?
n
Let j be ((-6)/(-18))/(1/15). Let l(p) = 2*p - 2 - 4*p - j - 2*p. Let m be l(-3). Which is smaller: 2 or m?
2
Let l = 9 - 11. Let k = 194.21 - 194. Which is bigger: l or k?
k
Suppose 0 = -2*c + m + 22 - 0, m = 0. Let g(p) = p**2 + p - 4. Let x be g(-3). Suppose -w - 14 = 4*r, -1 = 3*w + x*r + c. Which is smaller: -5/7 or w?
w
Let r be 9/(-6) + (-11)/(-2). Suppose 0 = r*x + 3*l - 0*l - 62, -3*x + 2*l = -38. Let i = 12 + 1. Which is greater: i or x?
x
Let t be (-2 - -2)*(-2)/4. Suppose -10 = 11*r + 1. Which is smaller: r or t?
r
Let k = 240 - 234. Do k and 25/4 have different values?
True
Let r be 1/(-15) - (-319540)/4822350. Which is bigger: -1 or r?
r
Suppose -15 = -20*x + 35*x. Which is smaller: x or 2/1713?
x
Suppose -187 - 221 = 45*g + 357. Let t = -0.4 - -0.3. Which is smaller: g or t?
g
Let q = 24828 + -471842/19. Is -5 equal to q?
False
Let a = -112259/752 + 2184/47. Let i = a + 103. Is -1 != i?
True
Suppose -6 = -2*f - 3*j + 8, j - 9 = -5*f. Is 2/725 smaller than f?
True
Let f(h) = h**3 - 7*h**2 - h + 10. Let q be f(7). Suppose 2*a = -q*i + 41, -a = 3*a + 20. Are i and 15 unequal?
True
Suppose -m = -3*z - 19, 5*m - 2*m + 4*z = -8. Suppose m*a - 17 = r - a, a - 1 = r. Which is bigger: 2 or r?
r
Let l = 3