) + 2*w(u). Let v be k(10). Is 1/12 equal to v?
False
Suppose 2 = 3*c - c, -60 = -5*w - 5*c. Let z(t) = t**2 - 10*t - 5. Let v be z(w). Let d be 38/(-30) - v/(-10). Is 0 > d?
True
Suppose 7*c - 4*c = 135. Suppose 0 = -6*x - 3 + c. Suppose 5*v = -x + 2. Do v and -3 have the same value?
False
Let j = -28.84 - -78.88. Let x = j - 50. Which is bigger: 1 or x?
1
Let l(t) = -t**2 - 12*t + 49. Let k be l(-14). Let y be 18/k*(-56)/(-18). Which is smaller: y or 2?
2
Let m be ((-45)/(-30))/(66/8). Let i = 0.076 + 0.024. Which is bigger: m or i?
m
Let q(k) = -k**3 + k**2 + 3*k - 2. Let x be q(2). Let l be (-1 - (0 - x))*-1. Let n = 0.321 - 0.251. Which is bigger: l or n?
l
Let a = -88 + 82. Let t(h) = h**2 + 5*h - 4. Let u be t(a). Let r be (6/9)/((-14)/(-60)). Is u at least r?
False
Let d(o) = o**3 + 5*o**2 - 3*o + 2. Let t be d(3). Let p = 3.67 - 3.57. Is t smaller than p?
False
Suppose 3*p = 6*p - 3. Let n be 8 + -9 - -1*p. Let k be 0 + 4 + -2 - -8. Is k greater than or equal to n?
True
Let c be (-4 + 5)*1*1/(-71). Is c at most -1?
False
Suppose -4*f = -91 - 149. Let d be 271*2*6/f. Let z = -54 + d. Is z bigger than 0?
True
Suppose 9*i - 5*i - 24 = 0. Let s(p) = -p**2 + 14*p - 2. Let t be s(i). Let q = t + -23. Which is bigger: 22 or q?
q
Let z = 169 + -169. Are -4/553 and z equal?
False
Let g = -30021 - -65265653/2174. Which is smaller: -1 or g?
-1
Let f(h) = -2 + 2 + 10 + 1 - 3*h. Let q be f(5). Let v be ((-32)/16)/((-2)/q). Which is smaller: v or -24/7?
v
Let c(w) = -w**3 + 6*w**2 - 7*w + 11. Let u(a) = -2*a**2 + 16*a - 9. Let d be u(7). Let b be c(d). Is -2/23 less than b?
True
Let r = 91/34 + -3/17. Let l = 36 - 91. Let u = -56 - l. Which is greater: u or r?
r
Let k(u) = u**3 - 7*u**2 + 6*u. Let b be k(6). Suppose 3*a - 7*a = b. Let l be (9 + -8)*63/(-273). Are l and a nonequal?
True
Let d(c) = -4*c**2 + 24*c + 3. Let u be d(9). Which is bigger: u or -106?
u
Let j be -3*-3*30/(-108). Which is smaller: j or -2?
j
Let c = -18237629/7167 + 7634/3. Which is bigger: -1 or c?
c
Let d = -195.3381 - -187.199. Let i = d - -0.1491. Let f = i - 0.01. Which is greater: f or -0.1?
-0.1
Let x be (-174)/(-10) + (-6 - -7)*-6. Is 12 not equal to x?
True
Let n = 6873/110 - 125/2. Is 0 smaller than n?
False
Suppose -14 = 3*v - 5*v. Let c(q) = -1 + 1 + v + 11*q - 10*q. Let r be c(-6). Which is smaller: r or -1/39?
-1/39
Let f = 869/2613 - -2/2613. Is -0.0144 greater than f?
False
Let f be 25/300 + (-38)/24. Let t(n) = n**2 - n - 3. Let j be t(3). Suppose -6*y - 6 = -j*y. Which is smaller: y or f?
y
Let i(l) = 4*l**2 + 43*l - 11. Let f be i(-11). Do -8 and f have different values?
True
Let o be 1/(-5) - 645/25. Let z be o/181*13/12. Let a = 2/181 - z. Which is smaller: a or 1?
a
Let r be (-125)/(-75)*(-12)/10. Which is greater: -6 or r?
r
Let x(a) = -12*a + 131. Let y be x(16). Is -61 smaller than y?
False
Let z be 3/(-4) + 108/16. Let j = 8 + z. Let b(k) = -k**3 - 5*k**2 - 3*k - 2. Let f be b(-5). Is j > f?
True
Let b = -1.687 + -0.313. Which is greater: -31 or b?
b
Let u = -18 - -202. Is u greater than 183?
True
Let c = 2087693/10 + -209123. Let n = -354 - c. Which is smaller: n or 0.1?
n
Let a be 8/90*(-85)/(-918). Which is smaller: 0 or a?
0
Let o be (-16142)/(-2310) + -10 + 3. Which is greater: o or 0?
0
Let t = 1.33 + -0.53. Let k = 5.8 - t. Let r = -4 + 6. Which is smaller: r or k?
r
Let d be (1143/(-90) - -13)/((-24)/(-50)). Which is smaller: 1 or d?
d
Suppose -18*s + 8*s = 28*s. Which is greater: -7/5 or s?
s
Suppose 6*w + 3 - 21 = 0. Let s be -2 + (9732/176)/w. Let v = -65/4 + s. Which is smaller: 1/3 or v?
v
Let q be (0 + 20/25)/(-458). Is q at most 1?
True
Let b be 0*(-6)/12*-1. Which is smaller: b or -1/55?
-1/55
Let r(d) = -11 - 5*d**3 + 7*d**3 + 25*d**2 - 4*d**2 - 3*d**2. Let s be r(-9). Which is smaller: 1/4 or s?
s
Let n = 34 + -30. Let f be 1/n - ((-1494)/(-24) + 2). Is -64 at least as big as f?
True
Let n = -18/7 - -15/14. Let d be 12/(1 + 3) + -6. Which is greater: n or d?
n
Let l = -0.16 + 0.17. Let q = 6.11 - 6. Let c = l - q. Which is greater: 0.2 or c?
0.2
Let q = -27193/2665 + 2/533. Let x = q + 437/10. Which is greater: x or 34?
34
Let g be 1 - 6 - ((-3974)/794 - 0). Which is smaller: g or 0?
0
Let g(x) = -2*x**2 - 15*x + 75. Let r be g(5). Are r and -660/13 non-equal?
True
Let d(i) = -i**2 - 6*i + 6. Let r(z) = z - 1. Let o(c) = -d(c) - 3*r(c). Let m be o(-4). Let k = -6881/108 + 255/4. Do k and m have different values?
True
Let m be -2*(-18)/(-12)*-19. Which is smaller: m or 58?
m
Let t be 3 + (-5 - -2) - 1. Let p = -808 - -36362/45. Which is smaller: p or t?
t
Suppose -5*t = x - 40, 4*t = -4*x + 3*t + 65. Suppose x = 3*i + 5*m + 3, 13 = -i + 4*m. Let s = 10 + -21. Which is greater: s or i?
i
Let d be 0/((5 + -3)/(6/(-12))). Which is greater: d or -1/16?
d
Let i = -20 - -20. Suppose i*o = -5*o - 15. Let w be (1/o)/((-15)/(-18)). Is w less than or equal to 5?
True
Let j = 1094 - 810. Is 283 <= j?
True
Suppose -2*h - 3*h + 2*d - 13 = 0, 17 = -4*h - 5*d. Let o(c) = -c**2 - 12*c + 28. Let t be o(-13). Let l be 4/(-5) - 3/t. Is h >= l?
False
Let w = -115/12 - -29/4. Let x(a) = -a**3 + a**2 + a. Let m be x(0). Suppose -5*u - 9 - 1 = m. Do u and w have the same value?
False
Suppose -2*g = 2*g. Let d be (g - (-1 + -1)) + 25. Suppose -d = 2*x + 5*m, 2*x + 17 = -2*m - m. Which is greater: -2/41 or x?
-2/41
Let o be (-17)/(1020/24) - 14/(-10). Which is bigger: o or -57?
o
Let c be 73/(-5) + (-8)/20. Let t be 2 + 2 + -2 + c. Is -13 <= t?
True
Let x = -26 + 28. Suppose 5*i + 14 = -3*t, -5*i + x = -i - 2*t. Is i <= -9/4?
False
Suppose 46 = -n + 217. Let g = n - 852/5. Suppose -5*d + 10 = -0. Which is smaller: d or g?
g
Let g(x) = -x**3 + 10*x**2 - x + 10. Let s be g(10). Let t be (16/7 - 2)/((-20)/30). Is t != s?
True
Suppose 4*a - 2 = 2*q - 4*q, 3*a - 7 = 4*q. Let o be (a/2)/((-5)/(-16)). Is 0 less than o?
True
Let a = -92 + 90.84. Let h = 2.16 + a. Which is smaller: h or -19?
-19
Let y be (0 + -1)/(((-2)/331)/2). Which is bigger: 332 or y?
332
Let d = 36.86 - 0.86. Let l = 35.9 - d. Is -2/11 at most l?
True
Let v = 130 + -130. Is v < -99?
False
Let v(r) = -r**3 - 10*r**2 + r + 10. Let o be v(-10). Is -4/169 smaller than o?
True
Suppose -2*i - 2*i = -16. Suppose -367 = -4*d - 2*y + 7*y, d - 73 = -5*y. Let t be d/(-55) + i/(-10). Which is bigger: 1 or t?
1
Let a = -1363 + 17721/13. Which is smaller: 11 or a?
a
Let k be 3170/50 + 6/10. Suppose 0 = 16*q - 12*q - k. Let l(a) = a - 17. Let d be l(q). Is -2/5 equal to d?
False
Suppose 24 = -2*g + 4. Let t = -7 - g. Suppose -2*r + 50 = t*r - 5*y, -4*r - 4*y = -32. Which is bigger: r or 8?
r
Let i be (-30)/8*(-48)/40*3. Are 13 and i unequal?
True
Let b(h) be the third derivative of h**6/120 - 7*h**5/30 - 5*h**4/8 - h**3 - h**2. Let m be b(15). Let q = -3 + m. Does -9 = q?
True
Suppose 5*n = -4*k - 7, -2*k + 10 = n - 3*n. Suppose -4*h - 9 = -5*v + 15, 2*v - 3*h = 11. Let m be (10 - v)*k/(-10). Which is smaller: -1 or m?
m
Let l(s) = 12*s + 171. Let x be l(-5). Is 106 smaller than x?
True
Let y(z) = -z**3 - 5*z**2 + 8*z + 11. Let b(q) = 4*q + 2. Let j be b(-2). Let m be y(j). Let n be m*(93/(-51) - -2). Is 0 less than n?
False
Let d be ((2 - 1)*0/6)/2. Is 4/111 at most d?
False
Let a(z) = -10*z - 51. Let j be a(-6). Suppose -36 = -5*q + q. Is q greater than j?
False
Let n = -0.078 - 7.922. Let j = -8 + 16. Let w = j + n. Which is greater: -0.1 or w?
w
Let n be (2 + 21/(-6))*60. Let c be (-470)/n - 4/18. Let f be 3/c + 27/(-45). Are -7/6 and f equal?
False
Let n = 1.01 + -1.21. Which is smaller: 114 or n?
n
Let a be ((-94)/8)/((-1513)/(-136)) + 1. Which is smaller: a or -1?
-1
Suppose 27 - 47 = -5*w - 3*r, -14 = -4*w - 2*r. Which is smaller: w or 1/385?
1/385
Let s(c) = -10*c - 11. Let t be s(15). Let n be t/(-462) + 1/(-3). Let g = 41/198 + n. Which is smaller: -1/2 or g?
-1/2
Let o be 20/6740*4/(-14). Is o greater than or equal to 1?
False
Let h be (-15)/(-6)*(-30)/25. Let p be (0 - 1*h/(-3))/1. Which is greater: p or 2/307?
2/307
Let n(r) be the first derivative of -r**7/420 - r**4/24 + 7*r**3/3 + 1. Let l(j) be the third derivative of n(j). Let d be l(1). Is d <= 3?
True
Suppose 107 = -5*r + 457. Let o = 66 - r. Is o greater than or equal to -5?
True
Suppose -12*b = -31*b + 2299. Is 121 greater than or e