ppose 0 = -2*t - 5*y + 33, -4*t + 0*y = 5*y - 41. Suppose 10 = -t*o + 30. Suppose -18 = -6*b + 3*b. Is o less than b?
True
Let y be ((-2)/8)/((-9)/(-12)). Let t be 38/(-15) - (-25 - -23). Let a = y - t. Which is greater: a or 2/11?
a
Let b(r) = -11*r - 4. Let u be b(-1). Let x be (117/182)/(2/u). Which is smaller: 0 or x?
0
Let w be (3/(-9))/((-7)/(-8)). Which is smaller: 1 or w?
w
Let y = 0.108 + -0.088. Are -1/17 and y equal?
False
Let v be 2 + (1 - 3) + 3/1. Suppose 32 = -b + 4*z, -b + v*b = -5*z - 77. Is b smaller than -34?
True
Let k(d) be the first derivative of 3*d**2/2 + 55*d - 8. Let t be k(-18). Which is bigger: t or 43?
43
Let i = -0.5988 - -1.1988. Let g = -5 - -4.7. Which is bigger: g or i?
i
Let l(p) = -p - 1. Let h be l(-1). Suppose h = -q + 2*q + 18. Let m be (-3)/q*-2*-2. Which is smaller: -0.2 or m?
-0.2
Let t = -33 + 11. Let g = 16 + t. Let q be 1*(-2 - (2 - 1)). Which is bigger: q or g?
q
Suppose -4 - 1 = -b + h, 0 = 5*b + 5*h + 5. Let w(j) = -3*j**2 + 3*j - 1. Let y be w(b). Let i be (-2)/4*(y - -5). Do i and -1/19 have different values?
True
Let i = 69 - 549/8. Which is bigger: 0.025 or i?
i
Let s = -3 - -2. Let m = 13848/61 + -227. Which is smaller: s or m?
s
Let b = -6/605 - 9432/605. Are b and -17 equal?
False
Let j = -0.22 + 3.22. Let n = j + -4. Let f = 16 - 6. Which is bigger: n or f?
f
Let a = 0.05 + 14.95. Let c = 17 - a. Which is bigger: c or -0.6?
c
Let z(w) = 38*w + 641. Let y be z(-17). Let b = -1 - -5. Is b greater than y?
True
Let j = -145/629 - -3/17. Suppose -3*q = -5 + 2. Which is smaller: j or q?
j
Let s = 11 - 23. Let k = -28.8 - 3.2. Let i = k - -31. Which is greater: i or s?
i
Let h = -8.5 + 10. Let a = h - 22.5. Let z = a + 20.92. Is 0 > z?
True
Let f be (9 + -11)*(-1)/2. Which is smaller: 1/458 or f?
1/458
Let a = 39365/26 + -1514. Suppose 2*l - d + 2*d = 4, -l + 5*d - 20 = 0. Which is smaller: l or a?
l
Suppose 0 = o + 29 - 30. Which is greater: o or 2/195?
o
Let i = -3/440 + -1/176. Which is smaller: 1 or i?
i
Suppose 5*f - 3*l = 38, -6*f + f + 42 = -2*l. Suppose 7*v + 729 = f*v. Let n = v + -2185/9. Which is bigger: n or 0?
n
Let d = 617 + -621. Which is bigger: d or -29?
d
Let x(y) = 4*y**2 - 6*y - 7. Let n be x(-2). Let f(w) = 2*w**2 + w. Let b be f(-2). Suppose 20 = -5*k - a, -5*k + b = 2*a + n. Is -1 equal to k?
False
Let l(f) = -f**2 + 23*f + 35. Let u be l(25). Which is greater: u or -79/5?
u
Let g = -4851 + 4834. Let f(t) = -3*t**3 + 2*t**2 - 2. Let r be f(2). Which is greater: g or r?
g
Let x(u) = -u**3 + 10*u**2 - u + 10. Let o be x(10). Suppose -2*w + 73 + 11 = o. Suppose 0 = -5*v + 43 + w. Which is smaller: v or 16?
16
Let i = 39.6 + 20.4. Do i and -1 have the same value?
False
Let t = 3.4 + -3. Let z be 5 + -14*(-2)/(-8) - (-15)/(-9). Is t greater than or equal to z?
True
Let v = -350 - -293. Which is bigger: 2 or v?
2
Let c be 27 + (2 - (-9)/(-3)). Let b = -20 + c. Is b bigger than -1?
True
Let a = -132.9 - -132. Let s = 0.23 - -0.62. Let h = s + a. Which is greater: 2/3 or h?
2/3
Let o be 18/(-4)*(-3 + (-2)/(-6)). Is o < 11?
False
Let k be (4 + -5)/(1 + 0). Let o be 16/5 - k/(-5). Suppose 3*s + 26 = 5*s - 5*a, -3*a - 3 = 3*s. Is s smaller than o?
False
Let f be ((-30)/9 + -4)*-12. Suppose -17*p - f = -445. Is p equal to 20?
False
Let j = -0.061 - 3.939. Let d = -0.8 + 0.83. Does d = j?
False
Suppose f + u = 71, -4*u - 79 = -f - 3*u. Suppose -r = 4*z - 7*z + 59, -4*z = -5*r - f. Is z equal to 0.1?
False
Let n = -9/134 + 523/804. Let i = n - 227/348. Is i at most as big as 2?
True
Let i = -81 - -77. Let m be (i/(-7))/(200/(-4)). Is 0 > m?
True
Let x(h) = h**2 + 6*h - 14. Let v be 8/6*9/(-2). Let f be x(v). Let t = 13 + f. Is -2/47 > t?
True
Let h = 735 + -752. Let o = 1 - 2. Is o > h?
True
Suppose -a + 7 = 5. Suppose -4 = 2*g + a*i, -4*g + i - 4 = 4*i. Do g and 1/4 have different values?
True
Let m(p) = -p**2 + 8*p + 2. Suppose -2*l + 4 = -d + 2, 2*d = -l + 21. Let o be m(d). Let c = -7 + 8. Is c bigger than o?
False
Let j = 1073 - 28975/27. Let i(q) = -27*q - 134. Let c be i(-5). Which is bigger: j or c?
c
Let u = -48.3 - -48. Let a = -0.8 + u. Is a less than 5?
True
Suppose 15 = -14*u + 9*u, 2*j = -5*u + 171. Let k = -96 + j. Is -2 at least k?
True
Let d = -15575 + 1915736/123. Which is smaller: 0 or d?
0
Let d be (-396)/(-726) - 197/(-22). Is 10 less than d?
False
Suppose 4*w - 3*q = 3, -2*q = 2*w + 2*q + 4. Suppose -6*k + 2*k + 72 = 0. Let r be 4/k + 20/72. Which is smaller: w or r?
w
Let t = 228.87 + -229. Which is greater: -0.3 or t?
t
Let f = -315/11 - -22310/781. Is 1 >= f?
True
Let v = -3 - -33. Suppose 4*t = 6 + v. Let j(p) = -p + 10. Let u be j(t). Is 0 < u?
True
Let c(v) = -3*v + 4*v + 3*v + 13 - 5*v. Let l be c(10). Suppose 7*d - 2*d - 10 = 0. Is d smaller than l?
True
Let y be (-3)/(-42)*((-10)/(-4) + -3). Is -1 != y?
True
Let o = 0 + 11. Let g = o - 30. Let z = g - -18.9. Is 0.6 at most as big as z?
False
Let b be 1*((-10)/(-2) + -6). Let s = 18644/1119 - -2/373. Is s > b?
True
Let k = -83 - -82. Let m be (-2)/4*1*-2. Let a be m/((-2)/(-16)*k). Which is greater: -7 or a?
-7
Let k(q) = q**2 + 2*q - 5. Let v be k(4). Let j = 183 - 161. Let h = j - v. Is h smaller than 1?
False
Let b(w) = 8*w**2 + 11*w - 4. Let o = 87 - 90. Let i be b(o). Are 35 and i non-equal?
False
Suppose 2*j - 5*m = -27, -5*j + 3*j + 2*m = 12. Let o = -9 + 10.9. Let p = 1.1 + o. Which is smaller: p or j?
j
Let i = 184 - 248. Which is smaller: -65 or i?
-65
Let u be 3/5 + 105/(-175). Suppose u = 2*w + 2, -5 = -2*x + 4*w - w. Is 1/100 smaller than x?
True
Suppose -3*v - 4*r - 1 - 37 = 0, -v + 4*r + 14 = 0. Let x(b) = b + 5. Let i be x(v). Let j be 3/(-6) - i/(-2). Which is greater: -1/9 or j?
-1/9
Let b = 30.7 + -1.05. Let g = 0.35 + b. Does -2/5 = g?
False
Suppose 0 = -36*z + 314 + 370. Which is smaller: -2 or z?
-2
Let u be -1*1/(-5) - (-189)/105. Suppose -j = 4*o + 4*j + 19, -10 = 4*o + u*j. Is -1/4 greater than or equal to o?
True
Let c = 0.1 + -11.1. Let g = -25 - c. Let k = 14 + g. Is 0 greater than k?
False
Suppose -17*v = 8*v - 25. Let x = -4 - -7. Let q be x/20*(-16)/(-30). Which is smaller: v or q?
q
Let y(k) be the first derivative of 3*k**4/4 - 2*k**3/3 - k**2/2 + 1. Let b be y(-1). Suppose 180*g + 3 = 179*g. Is g greater than or equal to b?
True
Suppose -2*u - 4*h + 2*h + 116 = 0, 4*u - 205 = 5*h. Suppose -3*b + 13 = u. Suppose 48 = -4*p - 8. Is p bigger than b?
False
Let n be (-12)/18*(-17 + 2). Suppose -4*p = -9*p + n. Suppose -p*t + 2*d = 3*d - 19, -4*t - 4*d = -36. Is t less than or equal to 11?
True
Let p be (-48)/8 - (-2 - -9). Do p and -61/5 have different values?
True
Let m be 502/152 + (-6)/24. Is 4 less than m?
False
Let h(q) = q**2 - 30*q - 72. Let w be h(32). Suppose -45 = -5*l - 5. Let p = w + l. Which is greater: p or -3/14?
p
Let w = 6/10961927 + -204735915559/9098399410. Let u = w + 1/415. Is -24 at least u?
False
Suppose -16 = 6*w - 2*w. Let x(j) = -j - 7. Let g be x(w). Let h be -1 + (3 - 2) - 1. Are h and g unequal?
True
Let t = -0.75 - -10.45. Let q = -9.3 + t. Let z = -7 - -11. Which is bigger: q or z?
z
Let s(l) = -7*l + 499. Let c be s(-15). Is 602 >= c?
False
Let a(v) = v + 1. Let x be a(7). Let i be x/52 - 301/13. Let n = i + 23. Is n <= 0?
True
Let w be (-3154)/35 + (-12)/42*1. Which is smaller: -89 or w?
w
Let k(o) = -6*o - 232. Let g be k(-25). Is -81 less than or equal to g?
False
Let f be (-80)/35 + (-4)/(-14). Let x be 0/((-3)/((-3)/f)). Which is bigger: x or -8/7?
x
Let f(a) = -a + 11. Let q be f(6). Suppose 85 = q*g - 3*i, 5*i - 4*i - 5 = 0. Suppose -5*d = -d + g, d = v + 4. Which is smaller: -10 or v?
-10
Let t be (-13)/((-3)/6*2). Let k(q) = q + 9. Let s be k(-9). Suppose -4*d + 2*b + 38 = s, -2*d + 3 = -5*b + 4. Which is greater: d or t?
t
Suppose -v - 2 = 4*n + 3, 4*v + 6 = -2*n. Is 2/497 greater than or equal to n?
True
Let g = -0.5 + 0.5. Let w = 78.5 + -79. Which is smaller: w or g?
w
Let s = 2/192190049 + 78029026176/12849634486091. Let z = 4/481 + s. Let u = -107/2224 - z. Is u less than -1?
False
Let w be 21*4/20 - 4. Let i = w + 2/15. Which is bigger: i or 0.4?
0.4
Let t = -2/3753 - -11387/240192. Is 0 smaller than t?
True
Suppose -4*i = 3*i - 483. Let f = i - 72. Let u = -5 - -2. Is u < f?
False
Let z be 437/(-5) - (-4)/(-6). Let c = z - -88