 Suppose 0 = 4*i - 7*i + 3. Which is greater: i or p?
p
Let s = -22.1 + 22. Which is bigger: s or 194?
194
Let c(i) = 2*i + 2. Let n be c(6). Let w = -16 + 7.9. Let f = -8 - w. Is f at most as big as n?
True
Let l = 17 - 16. Let b be ((-3)/(6/(-10)))/1. Suppose -c - b*h = -8, 5*c - h + 12 = -0*c. Which is greater: l or c?
l
Let v(w) = -3*w - 17. Let t be v(-7). Let f be 19740/4180 - 1*t. Let n = 12/19 - f. Which is smaller: n or 0?
n
Let u = 0 - 5. Let m be 49/2 - (u + 8). Which is greater: 22 or m?
22
Let o = -104 + 109. Suppose -p = -o*v + 3, -25 + 10 = -5*v + 5*p. Let w be 1/6*(-4)/9. Which is smaller: w or v?
w
Let r be 1 + (-9)/12 - 567/60. Let c = -8 - r. Which is greater: c or 0?
c
Let i(y) = -y**2 - 8*y + 68. Let j be i(6). Which is smaller: j or -9?
j
Let t = -21866 + 21778.048. Let m = 88 + t. Which is smaller: 1 or m?
m
Let k be (-4 - -2 - 14) + 2. Let v be (-52)/(-84) + 4/k. Let z = 1.11 + -17.11. Is v at most as big as z?
False
Suppose -3 = -2*t + 11. Let h = 212 + -206. Let w = t - h. Which is smaller: -1/17 or w?
-1/17
Let o be (-15)/2*2/(-3). Suppose o*w = 3*u - 16, 0 = 3*u + 2*w - 0*w - 44. Which is smaller: 43/4 or u?
43/4
Suppose 0 = -2*s - 4, -4*h + 12*s - 7*s + 14 = 0. Is -8/81 != h?
True
Let b be (1 - 1)/((-20)/(-10)*-1). Is b less than 2/1027?
True
Suppose -25*b = -8*b - 68. Suppose -j - 4*g + 12 = 0, -4*j - 2*g - 42 = -b*g. Which is greater: j or -7?
-7
Suppose -4*j + 0*x + 4*x = -8, -5*j = 5*x - 10. Let d = 3551/2260 + 13/452. Which is smaller: j or d?
d
Let x(o) = -o**2 + 2. Let t be x(0). Suppose 4*c - 40 = -4*i, -4*i + 15 = -i - 2*c. Let m = i - 6. Is t equal to m?
False
Let o(m) = 10*m - 99. Let t be o(12). Which is greater: t or 11?
t
Suppose -3*p - 4 = -3*z - z, 4*z = 4*p. Let g be (-21)/(-12) - 2 - 3/p. Which is smaller: 2/151 or g?
g
Let q = -0.1852 - -0.0852. Suppose 0 = a - f - f + 11, 2*f = 5*a + 15. Let k be 2/12 - a/(-3). Is k at most q?
True
Let v(g) = g**2 + 3*g + 3. Let k be v(-2). Let j = -21/16 + 355/112. Which is greater: k or j?
j
Suppose -i = 2*i + 4*w - 136, 12 = 3*w. Is i > 39?
True
Let m(t) = t**2 - 3*t - 9. Suppose -2*b + 4*b - 4 = 0. Let n be 5/((b + -4)/(-2)). Let l be m(n). Is l bigger than 4/7?
True
Let g = 28 + -13. Which is smaller: g or 9?
9
Let p be 8*(94*(-78)/(-3672) - 2). Is p greater than or equal to 0?
False
Suppose -2*h + 12 = 2*p - 0*h, -p = 4*h. Let m be -2*((-20)/p - -2). Which is greater: -3/31 or m?
m
Let m = -615 - -626.1. Which is smaller: -0.2 or m?
-0.2
Let t = -363 + 353. Which is greater: -13 or t?
t
Let j be (-9 + 3)*(-6)/((-144)/(-1948)). Is j > 486?
True
Let i be 1/((-6)/(-4) - (-35)/(-30)). Let n be i/((1 - 2)*1). Which is greater: -16/5 or n?
n
Suppose -5*l + 25 = -2*p, 3*p - 7*p = l - 5. Let d = 112 + -1189/6. Let k = 86 + d. Which is smaller: p or k?
k
Suppose -2*s - 3*p - 2 = 0, 3*p + 27 = s + 10. Suppose -6 = -2*r, 2*c + 3*c = s*r - 255. Is c greater than -48?
False
Suppose -74 = 3*l - 137. Let h be 4 + (-4 - (-3 + -19)). Which is smaller: l or h?
l
Let q = 3 - 2. Suppose 111 - 23 = -h - 4*t, 3*h + 248 = 4*t. Let y be ((-8)/h)/(6/(-28)). Does q = y?
False
Let r(a) be the third derivative of a**5/60 + 3*a**4/4 + 3*a**3 - 14*a**2. Let v be r(-14). Which is smaller: 0 or v?
v
Let o = 21 - 234/11. Which is smaller: o or 1.3?
o
Let v be -2 + 44/2 + -4. Let g be 63/6 - 24/v. Which is bigger: 19/2 or g?
19/2
Let g(k) = 2*k**3 + 9*k**2 - 15. Let o be g(-4). Which is smaller: o or 2/219?
2/219
Let u(g) = 40*g**3 - g**2 - g + 1. Suppose -12 = 6*s - 18*s. Let f be u(s). Which is greater: 41 or f?
41
Let f(r) = 3*r + 134. Let u be f(8). Is u > 158?
False
Let b(d) = -21*d - 25. Let z(x) = -23*x - 26. Let g(j) = 4*b(j) - 3*z(j). Let l be g(-5). Which is bigger: 0 or l?
l
Let s = 442 - 391. Which is bigger: s or 48?
s
Let s = 0.0418 - -9.2382. Let v = s - 9.2. Which is greater: 1/2 or v?
1/2
Let l = 6 - 6.1. Suppose 3*p + 1 = -5. Let t be (p - 27/(-15))*3/(-12). Is l at least t?
False
Let l = 344 + -328. Which is greater: 0 or l?
l
Let n be (4/(-27))/((28/318)/(-7)). Is n bigger than 11?
True
Suppose x + 28 - 30 = 0. Let u = -1/4 - -3/4. Which is smaller: x or u?
u
Suppose 4*b + z + 0*z - 14 = 0, -10 = -5*z. Suppose -b*g - 35 = -4*k, 0 = 3*k - 0*k + 3*g. Which is smaller: 4 or k?
4
Suppose 19*q - 141 = 20*q. Which is smaller: -142 or q?
-142
Suppose -3*x = 2*x. Let u be 1/8*8/(-28). Let f = u - 23/140. Which is smaller: f or x?
f
Let l = 458 - 458. Is 15 < l?
False
Suppose -2*w + 4*w - 6 = 0. Suppose -2*n + 2*g = -2, w*g = -3*n + 4 - 1. Let a(p) = 5*p + 3. Let s be a(n). Which is bigger: 7 or s?
s
Let m be -1*7/28 + (-58)/(-200). Is 0 equal to m?
False
Let h be 4 + -1 - 0/9. Let a = 33 - 34.9. Let q = -0.9 - a. Is q greater than or equal to h?
False
Let k be 5/(-15)*(-545 - -2) - 1. Do k and 181 have the same value?
False
Let k(h) = -h**3 - 42*h**2 - 74*h + 241. Let w be k(-40). Which is smaller: w or 2/283?
2/283
Let s = 2.48 - -8.22. Let u = 9.7 - s. Is u greater than or equal to 13?
False
Let r be 66/12*2/4. Let v = 82 + -79. Is v >= r?
True
Suppose -92*v + 4*l + 1038 = -91*v, l = 5*v - 5190. Which is greater: v or 1039?
1039
Let z(c) = 2*c**2 - 7*c - 2. Let p be z(5). Let m(t) = t**2 - 13*t - 4. Let h be m(p). Let d be 18/(-24)*h/(-6). Is d at least as big as 3?
False
Let x = -11883/14 + 849. Which is smaller: x or -15?
-15
Let c = -568 - -465. Is -100 != c?
True
Let u = 2.3 - -12.7. Let p = -0.4 - -0.4. Which is bigger: u or p?
u
Suppose -65 - 30 = 5*m + 3*v, 2*m - v = -49. Let k = m + 23. Which is smaller: k or 3/35?
3/35
Let r be ((-11)/2)/(1/(-8)). Suppose 0 = -11*m + r - 11. Let v = 0 - 0. Is m >= v?
True
Let h be 2/2 - (-30 + -2). Let r be 11 + -16 + 1 + (-631)/(-17). Let i = r - h. Which is bigger: i or 0?
i
Let j = 1235 + -1286. Is j bigger than -99/2?
False
Let t = 20 - -6.7. Let i = t + -27. Which is greater: -4/7 or i?
i
Let b be (9/(-36)*-502)/((-1)/2). Do -250 and b have different values?
True
Let i = 59 - 49. Let z be (-6 - (-116)/20) + 8/i. Which is greater: 2 or z?
2
Let n = -0.836 - -0.94. Let l = -0.004 + n. Is l != -0.04?
True
Suppose -39 - 1 = -5*p. Suppose -5 = -b, 0*j + j = b + p. Is 13 >= j?
True
Suppose -116*g + 118*g = 138. Is g < 71?
True
Let d = -0.01 - 21.99. Let i be 4/(0 + -1) + 4 + 60. Let j be (-1 - -3)*30/i. Are j and d equal?
False
Let p = -158.72 - -0.72. Which is bigger: -0.2 or p?
-0.2
Suppose 532 = -3*y + 2*c, -2*y - 3*c = -5*y - 528. Which is smaller: -181 or y?
-181
Let t be (-1)/(2 + (-34)/18). Let d be 0 + -2 - (t + -93). Let p be (d/(-6))/((-4)/6). Is 26 < p?
False
Let s(m) = -m**2 - 3*m + 14. Let y be s(4). Let r(d) = d**3 + 8*d**2 + 10*d + 6. Let j be r(-7). Is y < j?
False
Let d = -1.128 + 1.048. Which is bigger: d or 8/5?
8/5
Let d = -2 - -1. Let l(x) = -x - 51. Let k be l(0). Let n = 46 + k. Which is smaller: n or d?
n
Let a be 6/(-18) - 26/210. Let j = 3/5 + a. Is j greater than 3?
False
Suppose -3*n = 2*n + 60. Suppose 18 = -3*l + 3*s + 57, -5*l = -3*s - 55. Let g = n + l. Is 1 at least as big as g?
True
Suppose 5*y - 6*p = -10*p - 10, 4*y - 2*p - 18 = 0. Which is smaller: y or 18/13?
18/13
Let d = 45 - 80. Let j = -26 - d. Do 9 and j have different values?
False
Let w = -64 - -74. Let p = 1.5 - -5.5. Let v = w - p. Is v < -1?
False
Let u = 413/556 + 1/139. Suppose -2*y = 2*y - 4. Is u greater than y?
False
Let o = -12.1 + 12.13. Let m = -4.1 + 4. Which is bigger: m or o?
o
Suppose 0 = -3*l + h - 41 + 16, h = 4. Suppose -7*z + 2*z = -100. Let u be (2 - 1)/((-4)/z). Which is smaller: u or l?
l
Let t(o) = o - 4. Let m be t(-9). Let p(n) be the second derivative of -n**3/6 - 3*n**2 - 6*n. Let l be p(8). Do m and l have the same value?
False
Let c = 79 - 53. Suppose 3*q + 3*b + 56 = 8*q, 3*b = 2*q - c. Let j be 1/2 - 55/q. Is -5 at most as big as j?
True
Let g = -1.853 - -2.843. Which is smaller: g or -2/7?
-2/7
Suppose -2*i = 2*o + 118 + 52, -263 = 3*i - 5*o. Which is bigger: i or -85?
-85
Let w(l) be the third derivative of -l**5/60 - l**4/24 - 5*l**3/6 + 23*l**2. Let t be w(0). Let a = 0 - 3. Which is greater: a or t?
a
Let i = -1173 - -828. Which is greater: i or -344?
-344
Let u be (-5)/55 + 1026/(-209). Let w = -7 - -12. Suppose -w*p = 17 + 3. Which is greater: p or u?
p
Let m = 69 - -835. Which is bigger: m or 903?