9*s = 456. Which is bigger: l or s?
l
Let r be (-516)/24*1/(-2)*1. Which is smaller: r or 10?
10
Let a(x) = x**3 - 6*x**2 - x + 6. Let y be a(6). Suppose -z + 3*v = -33, v = 4*z - 8*z + 197. Let q be z/14 + (-3 - y). Are q and -1/5 equal?
False
Let m = 725.48 - -41.98. Let f = 770 - m. Is f at most as big as -2/5?
False
Let b(r) = -r**3 + 10*r**2 + 49*r - 134. Let f be b(13). Let q = 4 + -6. Is f greater than q?
False
Let c = -174 - -179. Suppose -c*f - 2318 = 14*f. Which is smaller: f or -121?
f
Let d(p) = 166*p - 7. Let l be d(-6). Let r be l/(-884) + 3/(-4). Suppose 12*w = 6*w. Is r > w?
True
Let v = 756 + -789. Let n be (670/15)/(110/v). Which is bigger: n or -13?
-13
Suppose 0 = 3*i - 3 + 21, 0 = -3*b - 5*i + 1593. Which is greater: 538 or b?
b
Let p(n) = -n**2 - 4 + 3 - 10*n - 4*n + 4. Suppose 5*g + 3*u = -79, -g + 3*g + 16 = 4*u. Let b be p(g). Is 3 >= b?
True
Let b be (-5)/(25/15) - -10 - 7. Suppose -3*g = 3*c + 24, -5*g + 4 = -2*c + 2. Let j be c - (b - 3) - -2. Is -2 at most as big as j?
True
Let i be 18/(-6) - (-31365)/10443. Let w = i - 724132/24367. Which is greater: w or -30?
w
Suppose -4*b - 1225 = 4*j - 3481, 0 = -5*j + 3*b + 2788. Are j and 563 equal?
False
Let i(p) be the first derivative of -p**4/4 - 8*p**3 + 8*p**2 + 89*p - 122. Let z be i(-24). Is z < -296?
False
Suppose 268*u + 442 = 4*o + 273*u, 4*u = 24. Which is smaller: 93 or o?
93
Suppose 5*y = 3*o + 863, -3*y - 4*o = -300 - 241. Suppose 3*k + 5*v + y = 0, k - v = -4*k - 301. Let x = -74 - k. Is x greater than -10?
False
Let k be (-3208)/(-70) + 25/((-2500)/40). Let f = 22378 - 156322/7. Let n = f - k. Which is bigger: 0 or n?
n
Let d(c) = 170*c - 170. Let h be d(1). Which is smaller: 3/1958 or h?
h
Let t be 7 - (6 + (3 - -1)). Let k(d) = -3*d**3 + 5*d + 6. Let g be k(-4). Let s = -349/2 + g. Is s bigger than t?
True
Let a be (-84)/(144/(-12)) + (-845 - 1) + -2. Which is smaller: 0 or a?
a
Let u = -311 + 313. Let d(v) = 4*v**3 - 4*v**2 + 4*v - 2. Let x be d(2). Let y be ((-7)/(-21))/(x/(-36)). Which is smaller: u or y?
y
Suppose 0 = 2*j - 8, 3*x + 2*x = 3*j + 3. Let b be 56 + -51 - (-5)/(-1) - 0. Suppose b = -3*y - 0*y - x. Which is greater: -6 or y?
y
Let j be ((-3)/6)/((-2)/8). Let l(r) = -r**2 + 39*r + 195. Let g be l(0). Suppose 28*h - 23*h + g = -3*i, h + i = -39. Which is smaller: j or h?
h
Let p = 2509 + -8447800/3367. Is p > 1?
False
Let h = 1220 + -1411.1. Let y = -30.1 - h. Which is smaller: 1 or y?
1
Let b = -165 - -115. Let k = -51.5 - b. Let q be 0 + (0/(-1) - 1). Which is smaller: k or q?
k
Let i = 9339 + -9191. Are 149 and i non-equal?
True
Let u = -875/189678 - 5/5634. Which is smaller: u or 0?
u
Let u be 50*(40/(-25))/(-4). Let v be (u/12)/(-5)*(-31 + -2). Suppose s + 3*s = -5*t + 44, -s - 5*t = -11. Do v and s have the same value?
True
Let j(n) = -n**3 - 163*n**2 - 653*n - 133988. Let h be j(-164). Let c(v) = -v. Let a be c(0). Let k be a - ((-86)/90 - -1). Is k at most h?
True
Let k(q) = -q**3 + 5*q**2 - q - 6. Suppose -3*f = -2*d - 6, 3*d - 5 = -0*f + f. Let h be k(f). Let r be (h - -4)*(-2)/48. Which is smaller: r or -1?
-1
Suppose 5*x = 4*s + 806, 4*s = 119*x - 124*x + 774. Which is smaller: 168 or x?
x
Let g(t) = t**2 - 2*t + 6. Let u be g(0). Let v(y) = -7*y**2 + 8*y. Let f(l) = -4*l**2 + 4*l. Let d(w) = -5*f(w) + 3*v(w). Let m be d(2). Are m and u non-equal?
True
Suppose -4*p = -3*p + 70. Let h be 3*(7 + -6) - (-10 - -3). Suppose 499 = -h*i - 211. Which is bigger: p or i?
p
Let p = 59.31 + -59. Let h = -901.19 + 901. Let u = h - p. Is -12 != u?
True
Let f = -2661/13 - -205. Let g(m) = m**2 + 19*m - 14. Let r be g(-14). Let t be (-14)/6 - (0 - (-217)/r). Are t and f equal?
False
Let h be (-76)/(-114)*(-54)/1. Which is bigger: h or -28?
-28
Let y = 2739 + -13749/5. Let s = 8 + -20. Which is bigger: y or s?
y
Let q(x) = 2*x. Let r be q(2). Let b be (2 - 0)/r + 2/(-4). Let s be (1 - b)/(38 - -3). Is s not equal to -1?
True
Let l(i) = -31*i - 25*i + 2*i**3 - 4 - 3*i**3 + 52*i - 5*i**2. Let y be l(-4). Let s(c) = -c**2 - 6*c - 8. Let p be s(y). Are p and -5/7 non-equal?
True
Let t be 218/(-10) + (-3 + 4)/(-5). Which is bigger: t or -247?
t
Let z be 19698/(-63) + (-2)/6. Let i = z - -298. Is 3 < i?
False
Let p be (-26 + 9 + 16)*0. Which is smaller: 39/125 or p?
p
Suppose -b + 3 = -3*i, 3*i - 2*b = -2 - 1. Let z be 6*3/27 - i. Let d = z + -7/6. Which is bigger: -5/11 or d?
d
Let b = -1080.6203 - -1080.7. Is 0.05 bigger than b?
False
Suppose -34*s = -46*s + 852. Suppose 2*v + g = -s, 5*g = 3*v + 4*g + 109. Which is greater: -38 or v?
v
Let x = -75 - 149. Let g be (x/36)/((-1)/69). Let r = 418 - g. Which is greater: r or -11?
-11
Let n = 34.659 + -5.659. Which is smaller: n or 47/2?
47/2
Let b = 1252352/27 - 46394. Which is greater: -10 or b?
-10
Let k = -3816 - -3816. Which is smaller: -3/161 or k?
-3/161
Let c = -11013 + 11478. Which is greater: 453 or c?
c
Suppose 5*r + 0*r = 5*q + 55, -5*r = -3*q - 55. Suppose 8*s + 207 = r*s. Let w be s/(-10) - (-3 + 13/5). Which is smaller: w or 0?
w
Suppose -2*b - 40 = -5*n, 3*n = -0*b + b + 20. Let x be (-5)/(b/(-16)) - 1*17. Is -27 bigger than x?
False
Let q be 4/(-6) - (-776612)/930. Let v = 836 - q. Is 1 less than or equal to v?
True
Let s = -63591 + 169851559/2671. Is 0.02 greater than or equal to s?
True
Let k = 0.5287 + -0.6287. Is 0.0683 <= k?
False
Let d(w) = -4*w**2 + 5*w - 5. Let p be d(2). Let f(t) = t**2 + 11*t + 5. Let y be f(p). Suppose 0 = -u + 3*x - 1, -x = -y*u - 5*x + 33. Are 4 and u nonequal?
True
Let r be 10/(-4)*4/270*-4. Suppose 6*c = 2*c + 5*g - 12, 12 = -4*c - 4*g. Let x be (-22)/33*c/(-2). Which is bigger: x or r?
r
Suppose 34 = -10461*t + 10462*t. Which is bigger: t or 38?
38
Let l be (2 - (-4 + 1)) + -2 + 2. Suppose 15 = 5*c + l*w, 14*c - 9*c + w + 1 = 0. Is c at least as big as 3/347?
False
Let a = -15.2 + 12. Let v = a + 3.26. Let k = v - 1.06. Is k at most 9/8?
True
Let i = 48.7936 - -0.0064. Let n = -30 + i. Let y = n + -19. Are 17 and y equal?
False
Suppose -36 = -23*r + 102. Let s be (-6)/(-10) + (-7636)/1160 + r. Is 1 bigger than s?
True
Let d = -0.04 - 10.86. Let u = 9.6 - 28.5. Let g = d - u. Which is greater: -4 or g?
g
Suppose 0 = 8*j + 536 + 7992. Is j <= -1065?
True
Suppose 0 = -3*x - 20 + 5. Let s be -4*1 + 630/126. Which is bigger: s or x?
s
Let q be (1830/1098)/(((-105)/2214)/(-7)). Is -11 equal to q?
False
Suppose 0 = -r - 5*m - 16, 2*r + 4*m + 26 = -0*m. Let l = 11 - r. Let z = -33686 + 33709. Is l equal to z?
False
Let h(d) = -2*d**3 + 10*d**2 + d - 3. Let u be h(5). Let i be u - (-2 - -4 - 1). Which is bigger: i or 6/157?
i
Suppose 4*m - 4*h + 108 = 0, 0*m + 3*m + 85 = 5*h. Let z = 39 + m. Suppose -v - v - 3*p = -10, 0 = -2*v - 4*p + z. Which is smaller: v or -14/13?
-14/13
Let x(n) = -n**3 + 32*n**2 + 41*n + 1266. Let y be x(34). Let i(u) = 2*u**2 + 10*u - 5. Let l be i(-16). Which is smaller: l or y?
l
Suppose -5*b - d = -9, 42*b - 10 = 40*b - 2*d. Let q be (-1 - -2)*(-6)/741. Is q <= b?
True
Let s = 973/51 + -364/17. Which is smaller: 21 or s?
s
Let p be (8/(-4) - -3) + 1. Suppose l + 22 = 3*o - 15, p*l = o - 14. Let k be ((-8)/o)/(2/(-3)) + 0. Which is bigger: -1/54 or k?
k
Let w be (-7676)/(-6) - (-81 + 66). Do 1293 and w have different values?
True
Let i(y) = y - 6. Let l be i(6). Suppose -1674 - 1746 = -10*a. Let g = a - 8895/26. Which is bigger: g or l?
l
Let l = -12443 + 12441. Is 2/103 <= l?
False
Suppose -7530 = -17*z - 5881. Which is smaller: z or 2/11?
2/11
Suppose -2430 = 26*w - 27*w - 316. Which is smaller: 2113 or w?
2113
Let q be (-3*15/27)/((-3)/18). Suppose -13*i + q*i = 252. Which is smaller: -83 or i?
i
Suppose 20*g - 18*g - 106 = 0. Let u = g - 51. Is -20 at most u?
True
Let w = 1.54 + -3.2. Let p = 1.47 + w. Which is bigger: -0.01 or p?
-0.01
Let z be 2*(-3)/(-2) + (104 - -16). Suppose -27 = 126*s - z*s. Is s equal to -5?
False
Suppose 0 = y - 6 - 30. Let x(l) = -l**3 + 18*l**2 + l + 6. Let k(z) = z**2 + z. Let q(i) = 4*k(i) - x(i). Let f be q(14). Is f != y?
False
Let n be (2 + 2)/(-64) - 196728/(-65408). Which is bigger: 2 or n?
n
Suppose -r = -4*h - 11, 5*r = 4*h + 1 + 6. Let t be 9 + (9 - (-47360)/(-2632)). Is r less than t?
True
Let k = 10.26 + -10.33. Which is bigger: k or 107?
107
Let s = 39540 - 26412725/668. Is 1 not equal to s?