r i?
2/17
Suppose -g - 19 - 138 = -3*v, -4*g = 5*v - 239. Suppose 0 = -2*p + 87 + v. Is 67 at least as big as p?
False
Let x = -1008 + 1084.9. Let y = x + -77. Is 45/4 at least y?
True
Let h = 2005 - 1996.43. Let o = h + -93.37. Let i = 85 + o. Which is smaller: 0 or i?
0
Let b = 14.7 - 21.4. Let h = b + 7. Let j(r) = -7*r - 1. Let n be j(-1). Which is greater: h or n?
n
Let z(r) = 2*r**2 - 8*r + 256 - 6*r - 203. Let m be z(5). Which is bigger: 17 or m?
m
Let y be (-1)/8 + 294025/5320. Let d(f) = -f**3 - 7*f**2 + 15*f + 29. Let j be d(-9). Which is bigger: j or y?
j
Let d = -597 - -693.3. Let v = d + -179.4. Let p = 83 + v. Are p and -0.15 unequal?
True
Suppose 0 = 43*y + 339 + 1768. Is y equal to -8?
False
Suppose -367 = -75*p + 8. Is p < -0.94?
False
Suppose -9 = 5*i - 8*i. Suppose 0*t + i*p - 141 = 5*t, 0 = 5*p + 15. Let h = t + 33. Is 5/3 greater than or equal to h?
False
Let g = -7085 + 7084.8394. Which is smaller: g or -11?
-11
Let f(y) = -y**3 + 13*y**2 - 5*y + 17. Let c be f(12). Suppose -6*n = -107 + c. Let q be 63/61 + (-2 - -1). Are q and n unequal?
True
Let g(y) be the first derivative of y**4/2 + 25*y**3/3 - 13*y**2/2 - 13*y + 30. Let u be g(-13). Suppose -q - 5*t + 17 = -2*q, t = 1. Which is smaller: q or u?
u
Let b be ((-2)/10 + (-55467)/315)/(35/(-245)). Is b <= 1234?
True
Let g = -6601 - -6703. Are 119 and g unequal?
True
Let y(t) = -t**3 + 3*t**2 - 3*t + 7. Let g(s) = 5*s + 14 - s**2 + 8*s - 33. Let i be g(11). Let a be y(i). Is -1 <= a?
False
Let v be ((-66)/88)/((-21)/204*30/(-196)). Is v bigger than -2/3?
False
Suppose 0 = d - 5*c + 26, 2*c - 3 = 3*d + 23. Let k be d + 99/(-15) + 6/(-15). Which is smaller: k or -12?
k
Let k(w) = 3*w**2 - 2*w**2 + 0 - 1 - 9*w. Let n be k(4). Let d be n*((-20)/6 + 3). Which is greater: 11 or d?
11
Let j be 8/14 + 8/(-14). Suppose -4*l = -j*l - 64. Let w be 6/4*l + -4. Which is bigger: w or 22?
22
Let h = -1777 - -1776.179. Let a = 20.021 + -20. Let g = a + h. Which is smaller: g or 1/4?
g
Let x be (-3)/1 + 2 + (8 - 3). Suppose -3*u - x*v = v - 128, 4*v + 92 = 3*u. Let m = u + -34. Which is smaller: 10/7 or m?
10/7
Suppose 30*u + 33*u = 68*u + 5. Are u and 20/71 unequal?
True
Let l = -9321 - -437879/47. Which is smaller: l or -5?
-5
Let t be 1 + 198/412 - (-234)/(-156). Is t smaller than 1?
True
Suppose -2*h + 11625 = -21*v + 16*v, -h = -3*v - 6975. Is -2326 smaller than v?
True
Let q = 18.305 - 14.305. Is q at least as big as 101?
False
Let u = 2.1 - 2. Let h = 0.9 + u. Suppose -j + 8 = -2*f, 61*j = 60*j + 5*f + 8. Is h at most as big as j?
True
Suppose -7 = -c + 3*c + 5*t, -c = -5*t - 4. Which is bigger: c or 2/35?
2/35
Suppose -60*v - 13 = -61*v. Suppose -430 = -v*s + 727. Let l = -90 + s. Which is smaller: l or 22?
l
Let q be (-16 - -17) + (-4)/3. Let m = -133 + 136.05. Let d = -0.05 + m. Which is smaller: q or d?
q
Suppose -6*t - 96287 = -0*t + 5*h, -2*t - 32119 = 5*h. Is -16041 > t?
True
Let i = -46182/13 - -7715085/2171. Which is smaller: 2 or i?
i
Let a = -14217 - -14218. Are a and 16/489 equal?
False
Suppose 5*t + 30 = p, -5*p - 25 = 4*t - 6*p. Let z be 28/20 - (-2)/t. Let a = 1412/55 - 122/5. Which is smaller: a or z?
z
Let b(u) be the second derivative of -u**4/12 + 35*u**3/6 - 67*u**2/2 - 56*u. Let a be b(33). Which is greater: a or 1/46?
1/46
Let r be (-68)/290 - 8/(-40). Suppose y + 40 = 9*y. Suppose -f + 2*d - 6 = d, d = y. Which is smaller: r or f?
f
Let w(v) = -14*v + 3. Suppose 4*h + 201 = 189. Let j be w(h). Is j > 44?
True
Let w be (-3)/(((-182)/(-21))/((-52)/39)). Are w and 2.2 equal?
False
Let y = 21 - 17. Suppose 0 = -y*x - 5*q - 1 + 3, -2*x = 2*q. Let u be (-48)/(-70)*270/(-108). Is u > x?
True
Let m(i) = -i**3 + 26*i**2 - 47*i - 23. Let y be m(24). Let q be (6 - y) + 10/(2100/(-1059)). Let a(u) = -u - 6. Let o be a(-6). Is q less than o?
True
Let o = -18 + -15. Let x = -22 - o. Let p(g) = -13*g**3 + 5*g**2 + 75*g + 67. Let c be p(-1). Which is smaller: x or c?
c
Let d be (9/(-6) + -1)/((-9401)/(-14)). Which is greater: 1 or d?
1
Let f = 6057 - 6059. Which is smaller: -29/56 or f?
f
Let s(w) = 6*w**2 - 3*w + 3. Let f be s(3). Let p = f + -45. Let t be (7 - 7)/(p - 1). Which is bigger: t or 1/5?
1/5
Let b = -454616/71 - -6403. Is -0.21 at most as big as b?
True
Let s = 252125/568 - 3551/8. Which is smaller: 0.5 or s?
s
Let b be ((2/(-13))/2)/((-11)/(-179036)*13). Is 2 not equal to b?
True
Let r = -35.03 - -0.03. Let s = 20 + r. Is 7 != s?
True
Let j be 24/9 + 14/(-21). Let d(x) = -7*x + 6. Let b be d(j). Which is bigger: -9 or b?
b
Let z(i) = -i**3 - 8*i**2 - 3*i + 51. Let l be z(-7). Suppose l*h + 5*n + 20 = 24*h, -3*n + 149 = 4*h. Which is smaller: h or 39?
h
Let r be (16/(-492))/((-2177)/1022 + 2). Let s = 45137/23124 - 315/188. Let i = r + s. Is i at least as big as 0?
True
Let q be (1 + (-219)/(-15))/(-6 - (-279)/45). Do 82 and q have the same value?
False
Let z = -0.12 + 0.12. Let w be 0 - -2 - (-2465)/(-1230). Let p = w + -107/3936. Which is smaller: p or z?
p
Let s be 1/3 + ((-1470)/18)/(-7). Suppose -6*c + s = -0*c. Suppose o + o - 3*w = -74, -5*o = c*w + 147. Which is bigger: -33 or o?
o
Suppose 2*u - c - 801 = 0, 6*c - c = -3*u + 1195. Suppose u = -4*w + 4*o - 420, 0 = -2*w + 5*o - 425. Is w at least -197?
False
Suppose -3*j - 75 = 3*p, 3*j + 19 + 54 = -p. Which is smaller: -294/13 or j?
j
Let t be (-22)/(-30) - 104/130 - (-80)/75. Let s be ((-6)/4)/3*-34. Suppose 7 = -5*c + s. Which is smaller: c or t?
t
Suppose -2*x - 75 - 61 = 3*h, h + 50 = 4*x. Let r be (2/2 - 2)*(-92)/h. Let t be (-4)/7 + (-1 - -1). Which is bigger: r or t?
t
Let r(h) = -38*h**3 - h**2 + h. Let d be r(1). Let z be 0 - (-28)/(-21)*-3. Let x be (16/(704/429))/((-1)/z). Is x at most as big as d?
True
Let i(o) = -o**3 + 7*o**2 - o + 8. Let v be i(6). Suppose 3*s = 208 + v. Which is bigger: -0.1 or s?
s
Let w = 0.17575 + -0.27575. Which is smaller: w or 17.096?
w
Let s = -107 - -119. Suppose -i = -3*a + s, i + 4 = -i + 2*a. Suppose 7*v - 3*v = -3*n + 23, 2*n - 12 = -v. Are i and v equal?
False
Let a be 216/42 - 5 - 1212/350. Is a less than or equal to -4?
False
Let s be ((-268807)/(-9273) - 29)*2*18/(-8). Are s and 0 non-equal?
True
Let k = -1291.2 - -1270.2. Is k not equal to 1/42?
True
Let i(o) be the second derivative of 23*o**3/3 - o**2 - 2*o. Let g be i(-1). Let y = 49 + g. Which is greater: 10/7 or y?
10/7
Let v = 334 + -327. Let y be (v/(-959))/(((-15)/9)/(-5)). Is -1 at most y?
True
Let f be (-4)/(-12)*(3 + 0)*-2. Let n be f + 6 - (-1)/((-5)/10). Let y be 546/147*7*n. Is 51 equal to y?
False
Let y be (-90)/(-144)*(-16)/6. Which is smaller: 1/30 or y?
y
Suppose 6*t = 5*t + 1. Let k(f) = 21 + t + 5 - 2*f + 7. Let b be k(4). Which is greater: 24 or b?
b
Suppose 12322 + 16087 + 42948 = -13*n. Is n <= -5490?
False
Let k be (-12)/129*(-50)/200. Let g = -19 + 19. Which is smaller: g or k?
g
Let z = 37.878 + -38. Let s = z - -11.722. Let y = s - 9.6. Is 28 greater than or equal to y?
True
Suppose -3*f - 8 + 3 = -2*y, 5*y + 5*f = 0. Suppose q - 4*p - 5 + 6 = 0, q - p = -1. Is q <= y?
True
Let g be -1 - 6 - (-33 - -32) - 15. Let n be (2/22)/(6 - (-133)/g). Which is smaller: 0 or n?
n
Let k be 3/3 - 14/10. Let y be (-14)/(-5*26/65). Do y and k have the same value?
False
Suppose 0 = 3*c + 3, 32 = h + 3*h - 4*c. Suppose 0 = n + 2, 2*y + 10 = -h*n + 2*n. Which is smaller: y or -1/686?
-1/686
Suppose 5*d - h = -1, -2*h - 2*h = 5*d - 4. Suppose -3*p - 25 - 89 = o, -3*o - 322 = -p. Let y = o - -538/5. Which is smaller: y or d?
y
Let l(b) = -4*b**3 + 45*b**2 + 25*b - 2. Let y be l(11). Is -3 greater than or equal to y?
False
Let w(q) be the second derivative of q**3/6 - 10*q**2 + 17*q. Let b be w(18). Which is bigger: -1 or b?
-1
Let i = -32.49 - 265.11. Let p = -302 - i. Is -2 < p?
False
Suppose 0 = 2*d - 5*w + 60, 3*d + 518 - 454 = w. Let u = -11655/598 - 3/299. Is d < u?
True
Let a be 32/16*(2 + -33). Let b = 2/18647 - 4568523/74588. Which is bigger: b or a?
b
Let y(m) = -3*m + 1. Let b(x) = -11*x**3 - x**2 + 34*x - 11. Let v(d) = -2*b(d) - 22*y(d). Let i be v(1). Which is greater: -2 or i?
i
Suppose -5*x = -2*z + 675, -6*x + 8*x + 1390 = 4*z. Let m = -17501/50 + z. Is m at least -0.1?
True
Let q be -4 - (4 + (-31)/4) - (-70910)/56. Which is smaller: q or 1265?
1265
Let s(h) = 2*h**2 - 11. Let 