Let n be r(-9). Suppose 4*m - n = -31. Which is smaller: m or l?
m
Let d(l) = -7*l**2 + l - 13. Let y be d(3). Let q = 87 + y. Let z be 5/15 - (2 + q/(-30)). Is -1 at least as big as z?
True
Suppose f + f - 332 = 0. Suppose 2061*c = 2059*c + x + 330, 0 = -2*c + 5*x + 314. Is c at least as big as f?
True
Let p be (2 - 1) + ((-12)/(-1206))/((-46)/2967). Which is greater: 0 or p?
p
Let y(r) be the second derivative of -r**4/3 - 32*r**3/3 - r**2 + 311*r. Let f be y(-17). Which is bigger: f or -0.1?
-0.1
Let g(y) = -y**3 - 2*y**2 - 35. Let w be g(0). Let v be ((-44)/110)/(1/w). Let k be ((-36)/v)/((-5)/(-35)). Are k and 0 nonequal?
True
Let d = 2614 - -58. Which is greater: 2671 or d?
d
Let q = 120 + -111. Let k be ((-15)/q - 3)*3. Is -14 >= k?
True
Let a = -0.45 + 2.55. Let y = -20.9 - a. Let r = y + 22.9. Is r at least as big as -4.7?
True
Let r = -0.372 - -0.072. Let y = 352.3 + -367. Let w = y + 15. Which is smaller: w or r?
r
Let s = 5057 - 5059. Which is smaller: 0.0044 or s?
s
Let n be ((-95)/(-42))/(503/(-1509)). Is n less than or equal to -8?
False
Let i = 1642/17 + -461317/4777. Which is smaller: i or -1?
-1
Let y(v) = -v**2 - 14*v - 87. Let q be y(-16). Let w = q + 143. Let r(m) = 5*m. Let j be r(5). Which is bigger: w or j?
j
Let u(f) = -134*f - 1525. Let o be u(-11). Are 2/51 and o unequal?
True
Suppose -858 = k + h, 14*k - 18*k + 5*h - 3378 = 0. Is -849 less than k?
False
Suppose n - 1 - 6 = -5*g, -1 = g. Let h(i) = -2*i**2 + 19*i - 9. Let z be h(n). Is -70 >= z?
False
Let y be (0 + -13)*26/(-338). Suppose 2*h = 4*b + 4, 2*b + 3*h = 2*h + 2. Suppose -5*x + 5 = -b*x. Is x greater than y?
False
Let q = 2 - 6. Let j be (-1)/q - (-27)/4. Let i(o) = -121*o - 11490. Let n be i(-95). Is j greater than n?
True
Let c = 71 + -99. Let q = 26 + c. Let a be (q/16)/((-66)/(-12)). Are -1 and a non-equal?
True
Let v(o) = -835*o**2 - 313*o + 625. Let f be v(2). Is -3341 >= f?
True
Suppose 5*o + 459 = -3*s + 343, -3*s - 120 = 3*o. Which is greater: s or -30?
-30
Let b = -22420.16 + 22421. Is 2 >= b?
True
Suppose 10 = 14*p - 18. Suppose 0 = 4*d + 12, -2*l = -l + d + p. Are -2/1591 and l equal?
False
Suppose 0 = 5*u + z - 12, 0 = -5*u + 3*z - 0*z + 24. Suppose 5*l = u*l. Are l and -2/201 non-equal?
True
Suppose -24*o + 25 = -29*o, -3*f - 7525 = 2*o. Is f at least as big as -2506?
True
Suppose 4*z + 14 + 34 = 0. Suppose q - m - 4*m + 2 = 0, -4*q - 2*m = 30. Is q less than z?
False
Let o be (-4 - 28) + -3 - -5. Let y be (-13)/(-39)*o/4. Which is greater: y or -4?
y
Let h be (-567)/12 - (-1 - (-28)/16). Let j be 62/22 + h/(-264). Is j != 12/7?
True
Let u be (10*(-17)/(-85))/(-4*166/18). Is 0 > u?
True
Suppose -3*z = 2*y + 140, -135 = z + 2*z + 3*y. Let x be 5 - 11/(22/112). Are x and z equal?
False
Suppose 90*m = 96731 + 131779. Which is greater: m or 2537?
m
Let j = 43 + 187. Suppose c + 2*w + 89 = 0, -3*c - 37 - j = -4*w. Is -89 at most as big as c?
True
Let b = -35 + 53. Suppose s = 3*c + 48, -c - c - 242 = -4*s. Suppose 5*f - 97 = z, 0 = f - 4*f + 3*z + s. Is b at least as big as f?
False
Let m(r) be the first derivative of -11*r**2/2 + 78*r - 14. Let v be m(7). Which is greater: v or 1/118?
v
Let b = 0.21 - 626.21. Let c = b - -625.3. Which is bigger: c or 0.06?
0.06
Let i = 4005 - 4061. Is i at most as big as 1?
True
Suppose 0*a + 88 = -4*r + 2*a, 5*r + 5*a + 95 = 0. Let q be (9/(-3) + r/(-6))*0. Suppose j - 37 = -q*j. Is j at most 36?
False
Suppose -4302 - 1702 = -38*t. Let g = 0.43 - 0.33. Which is smaller: t or g?
g
Suppose -5*n = -2*l + 3*l - 69, l = 3*n - 35. Let o be 1*2 - n/(260/35). Are -5 and o equal?
False
Suppose 3 - 13 = -5*x. Let u = -0.427 + 26.227. Let p = 31.8 - u. Is x at most p?
True
Let a be (-288)/(-2448) + (0 - 9852/(-68) - 3). Which is smaller: a or 144?
a
Suppose 441*o = 157 + 4 + 280. Does o = 50.53?
False
Let u = 197 - 198. Let h be (36/315)/((-148)/(-10)). Which is smaller: h or u?
u
Let j = 4767 + -1429. Which is bigger: j or 3336?
j
Suppose 173 = -y - 5*x, -414 = 3*y + x + 161. Is y at most -200?
False
Let v be 8/44 + (-17298)/65131. Which is smaller: v or -1?
-1
Suppose -5*s + 4*r = 7, -r - 6 = 2*r. Which is smaller: -52/19 or s?
s
Let o be 2/(-15) + (-64)/(-480). Which is greater: o or 4/1759?
4/1759
Suppose -4*n + 2*f = 42, 3*n + 3*f = -n - 27. Let x(k) = k**3 + 7*k**2 - 17*k + 2. Let v be x(n). Let q(r) = -r**2 - 8*r + 3. Let b be q(v). Are b and 8 equal?
False
Suppose 0*s - 5*s = -115. Suppose 8 = -24*r + s*r. Let t be (10/(-40))/(2/r). Is t bigger than -3/37?
True
Suppose -5 = -m - l, 48*m + 3*l - 16 = 46*m. Is m > -20/83?
False
Let v be (-140)/(-8) - 0 - (-4)/8. Let x be 30/v*(-6)/(-10). Which is smaller: -6/13 or x?
-6/13
Let k = -22.881 + -0.119. Let w = k + 24. Which is smaller: 28 or w?
w
Let x be ((-27)/36)/((-873)/(-12)). Let c = -28 - -28. Which is greater: c or x?
c
Let s = -10067 + 13047. Which is greater: s or -1/2?
s
Suppose -615*z - 40 = -575*z. Let g be 87/(-2)*2/(-3). Which is bigger: z or g?
g
Let v = -7051 + 7052. Is v > -3/4724?
True
Suppose 63 + 20 = -q. Let b = q + 84. Let x be -2 - ((-345)/(-350) - 3). Is x at least as big as b?
False
Suppose 0 = c + c + 5*d + 93, c = -2*d - 44. Let a be 1/(-1)*(-10)/c. Suppose -6*x = 38*x. Which is smaller: x or a?
a
Let q be (8/64)/((-87)/12*-9). Let h be (9/6)/(12/8). Is h greater than q?
True
Let z = -3123 + 2945. Which is smaller: -4 or z?
z
Suppose 12 = 5*l - 3*q, 2*l + 8*q - 4*q - 10 = 0. Let s be 0 + l - (-107253)/(-35649). Suppose -3*i - 7 = 5*a - 4*i, 3*a + 13 = 5*i. Is s at least as big as a?
True
Let x = -1653 - -5413. Is -2/9 bigger than x?
False
Let w(k) = -k + 1. Let o(v) = 2*v - 2. Let d be o(2). Let i be w(d). Let q be (-220)/(-52) - (17 + -13). Is i > q?
False
Let g(u) = u**3 - 2*u**2 - 7*u. Let t be g(4). Suppose -23 = -t*s - 3. Suppose 9*p = 4*p - 5*x - 10, s*p = -x - 22. Which is greater: -1 or p?
-1
Let t = -70 + 69.98. Let f = -0.012 - t. Let o = 4.008 - f. Which is smaller: 1 or o?
1
Let h be (5 - (-1 + 1))*-1. Let p = 629267/1795 - -12/359. Let c = 347 - p. Which is smaller: c or h?
h
Suppose -4*w - 3*x - 10 = -x, 2*w - x - 1 = 0. Let b(m) = 16*m + 1. Let s be b(w). Is -16 less than s?
True
Let v = 4254.97 - 4255. Which is bigger: v or 153?
153
Let s = 1.369 + -1.269. Which is bigger: 170 or s?
170
Let o = 14844 - 9171. Does 5672 = o?
False
Suppose -4*z + 7 = 3*f, -z - 8*f - 3 = -12*f. Which is greater: z or -1/12072?
z
Let x(d) = -22*d - 8. Let g be x(-1). Suppose 0 = 5*j + 2*s - s - 73, -s = j - 13. Suppose j*i = g*i. Is i less than or equal to 7/11?
True
Let x be 8/272*4/5. Let g(o) = o**3 + 6*o**2 + 6*o - 7. Let h be g(-4). Is x greater than h?
False
Let h be 38454/232 + 5/20. Which is greater: h or 836/5?
836/5
Let p be 489/(-652) - (1335/(-28) - 2). Do p and 50 have the same value?
False
Let l(r) = -16*r**2 - 53*r - 145. Let p be l(-11). Which is smaller: -1494 or p?
p
Suppose d - 63 = 5*b, 0 = 3*d + 8 - 17. Let r be ((-1)/b*3)/((-220)/(-88)). Which is greater: -2.2 or r?
r
Suppose 20 = 3*y + 2*t, 3*y = -t + 5 + 11. Let k be (y + -2)/(2/(2/(-1))). Let n be (-2)/(k/12 - (-20)/48). Is n bigger than -8?
False
Suppose -64 = -5*y + 3*y. Let o(d) = 4*d - 17*d - d**2 - 17 + 15 - y. Let v be o(-8). Is 6 at least v?
True
Let c = 117.81 + -117.91. Which is smaller: 0.02655 or c?
c
Let x(w) be the second derivative of 5*w**4/12 - w**3 - 7*w**2 + 21*w. Let p be x(7). Let a = 1318/7 - p. Is 0.1 at least as big as a?
True
Let p be (-4)/18*(533768580/52)/(-3). Let c = p + -760307. Let t = c - 47. Which is smaller: 0 or t?
0
Let k be (-8)/22 - (-288)/792. Which is smaller: k or -2/17117?
-2/17117
Let m = -89 - -95. Suppose m*s + 40 = 46. Is s <= -2/37?
False
Let k = 55062/201773 + -3/18343. Is k not equal to 2/1583?
True
Let l = 764 - 777. Let g = 0.61 + -0.41. Is l smaller than g?
True
Let q(b) be the first derivative of -6 - 4*b**2 + 1/3*b**3 - 3*b. Let y be q(10). Is 17 < y?
False
Let z = -39 + 49. Suppose -4*m = 5*f + 3, 22 = 5*m + f + z. Let p be 1 + m/(-2) - 258/(-468). Which is greater: p or 1?
1
Let r(o) = -326*o + 2086. Let b be r(6). Which is greater: b or 0.4?
b
Suppose 22*x + 96 = 26*x. Suppose d = 2*b - 221, 5*b + 280 = -d + x. Is d < -1?
True
Let l = 27528 - 1844377/67. Suppose -2*h + 6 = 20. Let t = 7 + h. Which is bigger: t or l