*m + 9. Let j be k(-2). Let a = -141 + j. Does v = a?
False
Let w = -593 - -598. Let d(q) = 7*q + 7. Let h be d(5). Suppose 2*m = -7 - 1, -w*k - 3*m = h. Is k at least -5?
False
Let x be ((-3)/5)/((-162)/270)*-29. Let f = -12 + 4. Let m be x/14 + 4/f. Which is bigger: -3 or m?
m
Let s be (-2)/2*3/((-105)/(-3790)). Is -108 smaller than s?
False
Let x be -1*(-5)/2*2. Suppose -2*k + 5*f + x = 0, 0*f - 1 = k + f. Suppose -2*b = 3*t + 2, -2*t + k = 3*b + 3. Is t smaller than 2/17?
True
Let y = 446.5 + -503.4. Which is smaller: y or 0.1?
y
Let i = -5836 + 12101/2. Let n be (19 - 1 - 339)*(10/(-6) + 1). Which is smaller: i or n?
n
Let o(v) = 21*v - 181. Let h(c) = 3*c + 1. Let p(k) = -10*h(k) + 2*o(k). Let d be p(38). Which is bigger: 1 or d?
d
Let p = 3696/13 - 14813/52. Are p and -1 unequal?
True
Let x be (-299)/(-9) + 4/(-18). Suppose 10 = l - x. Let z = l + -43. Which is smaller: -1/4 or z?
-1/4
Let j = -396 + 399. Which is bigger: -309 or j?
j
Let h = -51.63 - -53.63. Let l = -15214/44415 + -2/6345. Let v = -1/5 - l. Which is smaller: h or v?
v
Let z(i) = -3*i**2 + 45*i - 552. Let m be z(15). Which is greater: -555 or m?
m
Suppose 4322 = 148*w - 2480 + 1178. Suppose -3*v = 3, v = 4*x - 4*v - 129. Which is bigger: w or x?
w
Let q(d) = 2*d**3 - 50*d**2 + 46*d + 1919. Let j be q(22). Let w be ((-3)/2)/((-10)/172). Is w smaller than j?
True
Suppose -3*p = -5*l + 87, -8 = 18*p - 16*p. Suppose 63 = 29*c - 26*c. Which is bigger: l or c?
c
Let a be -2 - (7/(-2) - -1). Suppose -20*k - 25 = -21*k. Suppose -20*h - 10 = -k*h. Is a not equal to h?
True
Suppose -r - 6240 = 4*t, -164*t + 161*t = -18. Is -6266 bigger than r?
False
Suppose 100 = -9*x + 8*x. Let f = -142 - x. Let u = 51 + f. Is u less than 9?
False
Suppose 7 = t - x + 29, 0 = -2*x + 4. Let z(u) = u**3 - 5*u**2 - 4*u - 17. Let i be z(7). Let n = -73 + i. Is n at least t?
True
Let y be ((-124)/(-84))/(17/3). Let c = y - 2/17. Let x = -1766 - -1767. Which is bigger: x or c?
x
Suppose 0 = -10*s + 21*s - 22. Let l be s/(-5) - (-1)/(35/(-661)). Which is smaller: -18 or l?
l
Let m be (-509)/46 + 44/4. Which is smaller: -7 or m?
-7
Let z(c) be the first derivative of -3*c**2 - 4*c - 1/3*c**3 + 17. Let y be z(-5). Which is bigger: y or 2/87?
y
Suppose -5*p + 4*b = 229, 0 = -9*b + 6*b - 12. Let d = 505/4 - 126. Which is greater: p or d?
d
Let o = 134.5 + -134.5. Let w = 73120/44671 - 2/4061. Is w < o?
False
Let m(z) = -4*z**2 + 62*z + 686. Let o be m(-27). Which is smaller: o or -3905?
-3905
Let v(x) = -28*x - 2. Let z be v(-3). Let q be (-63)/42*(1 + (-3)/(-9)) - 45. Let h = q + z. Is h less than or equal to 37?
True
Let h = 160 - 171. Let w = -7 - h. Which is smaller: 1 or w?
1
Let i = 26821 - 509619/19. Is 41 != i?
True
Let m = 577 - 533.9. Let t = m + -43. Is -82 smaller than t?
True
Let v be (-26 - -25)*(-8)/(-2). Let d be (((-6)/v)/3)/(10/236). Which is greater: 13 or d?
13
Suppose -q - 3 + 9 = 0. Suppose -2*r = 4*d + q + 22, -63 = 3*r - d. Which is smaller: -22 or r?
-22
Let g be -3 + 7 + (-4)/(-4). Suppose 4*z + 555 = 3*m, z + g*m = -0*z - 110. Which is greater: z or -134?
-134
Let x(j) = 2*j**3 - 13*j**2 + 2*j - 1. Let t(r) = -3 - r**2 + r**3 - r**2 + r - 7*r**2. Let b be t(9). Let k be x(b). Which is bigger: k or -24?
-24
Let h = -6 + -910. Is h less than or equal to -0.02?
True
Let q(d) = 2*d**3 + 6*d**2 - 8*d + 9. Let o be q(3). Which is smaller: o or 104?
o
Suppose 2*i = -5*n - 49, 3*n + 8*i + 42 = 11*i. Let z(k) = k**2 + 4*k - 76. Let b be z(n). Which is greater: b or -3/131?
b
Let v be -4 - (-28235)/2196*11/((-3465)/(-98)). Is 0 bigger than v?
False
Let q = 21 - 21. Suppose 24 = -8*v - 4*v. Let t be q/(4/v) - 0. Is t not equal to 21?
True
Let n = 24222 - 24231. Do -147/17 and n have the same value?
False
Let z be (359677/(-148))/(0 - 15/(-12)). Which is smaller: z or -1943?
z
Let z be 1*2 + 22/(-9). Let a = 0.041197 - -0.458803. Which is smaller: z or a?
z
Suppose 859*x - 852*x = 231. Let i = -1577/2 + 820. Which is smaller: x or i?
i
Let l be (6/4)/(3/61). Let g be (50/(-4))/5*125/(6625/(-636)). Which is smaller: g or l?
g
Let d be 4*1/(-22)*180/(-490). Is d at most 0?
False
Let x be (33 - 365/6)/(2/(-12)). Let p = 526 - 359. Is p > x?
False
Let t(f) = 10*f**2 + 19*f - 44. Let o be t(2). Which is bigger: 25 or o?
o
Let i be (12/(-15))/(88/(-60)). Let z = -17 + 17.06. Is z < i?
True
Let x be ((-9)/(-1))/(11 + (110/33 - 14)). Let g(i) = -5*i**3 - 4*i**2 - i + 2. Let k be g(-2). Which is bigger: x or k?
k
Let d be (5/(-30)*14)/(7184/(-24)). Is 1 at most d?
False
Let g(r) = 3*r**2 - 82*r - 64. Let w be g(28). Which is smaller: 101 or w?
w
Let g(x) = x**3 - 2*x**2 - 2*x. Let y be g(0). Which is smaller: y or 66/83?
y
Suppose 530*l - 108514 = -144*l. Let a(n) = -n**3 + 2*n**2 + 4*n + 4. Let u be a(-5). Which is greater: u or l?
l
Let f(x) be the second derivative of 5*x**3/6 - 83*x**2/2 + 27*x. Let j be f(20). Which is smaller: j or 18?
j
Let u(q) = 17*q - 44. Let g be u(3). Let i be (2/g)/((-320)/(-280)). Is i smaller than 0.648?
True
Let v be ((-30)/(-21))/(66/77)*(-14)/(-35). Which is greater: 154 or v?
154
Let j be (12/10)/(1557/315 - 5). Is j at least -23?
True
Let g = -53 - -55. Let v(o) = o**3 - 4*o. Let a be v(g). Suppose a*z - z = 2*d + 74, -2*d + 4*z - 74 = 0. Is -37 at least as big as d?
True
Suppose u - 35 = -32. Suppose u*l = -3*o + 6 + 9, 0 = 5*l + o - 17. Suppose c + 20 = -7*v + l*v, 0 = -c + 2*v - 8. Which is smaller: 2 or c?
c
Let v be (73736/50)/(1749/30). Let k = -278/11 + v. Is 0 less than k?
True
Suppose 0*c - 10*c = -30. Suppose -100 = c*z + 194. Which is greater: -99 or z?
z
Let b be ((-32)/6)/2 - (-2479)/(-111). Which is smaller: -353 or b?
-353
Suppose 100*o + 12 = 106*o. Suppose -509 - 85 = 3*t - 3*z, -3*t - 590 = -o*z. Do -194 and t have the same value?
True
Let a be 8 + 6 + -10 + 4/(-1). Let p = -4/13 - -3/52. Which is smaller: p or a?
p
Let c(b) = -2*b**2 + 4. Let t be c(0). Suppose 0 = 7*s - t*s - 21. Suppose 241 = -2*r + 237. Are r and s non-equal?
True
Let u(r) = 11*r**3 - r**2 - 5*r - 4. Let k be u(-2). Let f be 4 - (-1 - k)*(-13)/(-286). Which is greater: f or -2/13?
f
Suppose -3*s + 19 = 2*z, -1271*z + 31 = 2*s - 1268*z. Let d = -3260/273 + 154/13. Which is smaller: s or d?
s
Suppose 5*f + 20 + 7 = n, 4*f + 10 = -5*n. Suppose 5 = 5*w - n*p, -5*w + 8*p = 7*p. Is w < -9/13?
True
Let n be (-372)/248*((-254)/(-3) - 2). Which is smaller: n or -123?
n
Let k = 10 - 20. Let y = 14 + k. Let w = -6.951 + -0.049. Which is greater: w or y?
y
Suppose 54 = 4*r - 3*z, 0*r + 3*z = -3*r + 51. Let k(m) = 22*m - 328. Let y be k(r). Is y less than 3?
True
Suppose 0 = 10*r - 134 - 36. Suppose -2*w - 5*t = 4, -r*w + 21*w - 5*t - 22 = 0. Do w and 4/3 have different values?
True
Suppose 104*s - 109*s - 13 = 2*a, 5*a = 3*s - 79. Let g be (-4)/10 + 33/45. Does a = g?
False
Let l = 5/8772 + 16969/1008780. Which is smaller: 91 or l?
l
Let g(w) = -20*w + 2241. Let l be g(112). Is 35/524 != l?
True
Let b be -11 + (1 - 4164/(-480)). Is b equal to -2?
False
Let a be ((-350)/(-49) - 7) + 12/14. Let n be (3 + -3)/(a/(-1)*-1). Is n greater than 128?
False
Let i = 0.14 - 1.94. Let w = -2.8 - i. Let p = 4.77 + -5.27. Which is smaller: p or w?
w
Suppose 58*u = 374*u - 316. Which is smaller: u or 88/135?
88/135
Let m(d) = 3*d + 12. Let z be m(-7). Let q be (-4 + 2)*(2 - -10). Let f = -32 - q. Which is smaller: z or f?
z
Let z(u) = 3*u**2 - 2*u - 2. Let d be z(-1). Suppose -8 - 43 = -d*a. Is a bigger than 21?
False
Let c = 127 + -124. Suppose -4 = 4*l + 4*h, c*h = 5*l - 2 - 9. Do 6 and l have different values?
True
Let x = -499.813 + -0.187. Let v = -500.4 - x. Is v >= -1/12?
False
Let w(k) = k**3 - 5*k**2 - k. Let b be w(5). Let u = -267 - -332. Suppose -25*c - u = 35. Is c not equal to b?
True
Let i = -3221/50388 + 31/323. Is -1/3 at most i?
True
Let i be (-22)/18 - (-2)/9. Let s(v) = -16*v**3 - 8*v**2 + 16*v - 129. Let z be s(6). Let u = -781837/207 - z. Which is bigger: u or i?
u
Let w = -2/889 - -921/14224. Let d(y) = -2*y + 15. Let i be d(-5). Let v be 1/((i/10)/5). Is w greater than or equal to v?
False
Suppose 641 + 1207 = 33*f. Suppose -11*b = 3*b - f. Which is bigger: b or 5?
5
Let q(g) = g**2 - 199*g + 3736. Let v be q(21). Do -125/49 and v have different values?
True
Let a = 183 - 458