e -5*f - 20 = 0, 6*f = -2*v + 2*f - 28. Which is smaller: p or v?
p
Let l = 53.948 - -256.052. Let y be -1 + ((-3)/2)/(-1). Is l smaller than y?
False
Let h = 85 - 85. Let x = -138136/107 - -1291. Which is bigger: x or h?
x
Let f(q) = 2*q**2 + 4*q - 3. Let c be f(-3). Let g be -6 - c*14/(-21). Which is bigger: g or -45/11?
g
Let u(n) = -2*n - 50. Let i be u(-26). Suppose 4*h - 4*b = b - 535, i*h = b - 263. Does -131 = h?
False
Suppose 0 = 4*s + v - 14, 0*v = 2*s + v - 6. Let a(c) = 6*c - 2. Let b be a(s). Let o = 0.149 + -0.049. Is o > b?
False
Let o be (-1)/(-2)*6/(-15). Let z be 4 + ((-711)/63 - -7). Which is greater: o or z?
o
Let j = -8.6 - -2.6. Let r = j - 22. Let n = r - -28. Is -2 smaller than n?
True
Let p be (144/910872)/(2/(-12))*(-1)/14. Is 0 >= p?
False
Let n = 805784/5 + -160381. Which is bigger: n or 776?
776
Let r(p) = p**3 + 18*p**2 - 84*p - 880. Let a be r(-20). Which is greater: a or -80/7?
a
Let t = -1 - 2.1. Let o = t + 3.2. Which is smaller: o or 2/325?
2/325
Let m(k) = k - 125. Let u(j) = -2*j + 248. Let a(s) = 7*m(s) + 3*u(s). Let b be a(31). Is b at least -102?
True
Suppose 0 = -3*y + 39 + 12. Suppose -y*w = -11*w + 12. Let i be ((0*4/(-16))/(-1))/w. Are i and -6/5 equal?
False
Let q = -1 - 1. Let u be 1*(1 - ((1 - q) + -2)). Let y be 1*4*(-5)/(-290). Are y and u unequal?
True
Let z = 76 + -45. Let w be 5/1 + 20/120*156. Is z at most w?
True
Let s(u) be the first derivative of u**2/2 + 7*u + 14. Let a be s(-6). Suppose 2*l + a = -1, 0 = 4*q - 4*l + 112. Is -30 at least as big as q?
False
Let i be 340/3*6/(-624)*-84. Let d = -485507/5304 + i. Which is smaller: d or 0?
0
Suppose -1303*q - 1056 = -1291*q. Which is smaller: -87 or q?
q
Let d = -23.46 + 23.46. Which is greater: -20.2 or d?
d
Let r = -518 + 517. Is r >= 1/59?
False
Let g = 161 + 84. Which is smaller: g or 246?
g
Let k = 2016557/6 - 336847. Are k and -755 equal?
False
Let l = -4/86247 - -71248/1293705. Let z = -8/135 - l. Does 1 = z?
False
Suppose 3*y = -8*y + 7*y. Suppose 3*s + 4*v + 20 = 0, s - 4*v - 20 = -y*s. Suppose s = i - 2, 0 = x - 2*i + 6*i - 17. Which is bigger: 12 or x?
12
Suppose -1333380 = -91*t + 120800. Is 15980 > t?
False
Let j(m) = 549*m + 573. Let w be j(-1). Which is bigger: 16 or w?
w
Suppose -m + 119 = 4*q - 44, -3*m + 209 = 5*q. Suppose -444 = -2*l - 10*l. Which is greater: l or q?
q
Let u = -96 - 132. Which is smaller: u or -2/21?
u
Let f be (1007940/72000 - (10 + -1)) + -5. Which is smaller: f or 1?
f
Let a be 848/318 - 176/(-6). Is a at least 64?
False
Let d = -9947/3 - -3316. Which is smaller: d or -1265?
-1265
Let r(s) = 2*s**2 - 6*s - 6. Let z(y) = 21*y + 4*y**2 + 4*y + 25 - 12*y**2. Let g(c) = -9*r(c) - 2*z(c). Let w be g(3). Is w less than -1?
True
Let r(x) = x**3 + 2*x**2 - x + 4. Let v be r(-3). Let j = 3397/17 + -1273841/6375. Is v greater than j?
False
Suppose -439 - 110 = -4*s + 119. Which is smaller: 95 or s?
95
Let x = 10 + -6. Suppose 5*v + 5*l - 85 = 0, 2*l - 4*l = x*v - 70. Suppose 0 = -144*a - 149*a + 50*a + 4860. Which is greater: v or a?
a
Let a = 30 + -100. Let u = 69 + a. Let c = -709 + 46086/65. Which is smaller: u or c?
u
Let c be 116/(-29) + (-4492)/(-26). Let f = c + -169. Is 1 <= f?
False
Suppose 11*m = 110 + 22. Let t be ((-112)/m + 8)/(78/9). Which is smaller: t or 24?
t
Let a = 34.32 - -0.88. Let x = 112 - 77. Let s = a - x. Is -9 at least as big as s?
False
Suppose 8*o = 101 - 117. Which is smaller: -94/73 or o?
o
Let a = -9458 + 9472. Is a <= 138?
True
Let j = -145677305/553 + 263431. Is 2/7 less than or equal to j?
False
Suppose -119*b + 4826 = -100*b. Is b > 1015/4?
True
Let i = -282 + -369. Let z be (19/(-76))/(i/(-12)). Which is greater: z or -1?
z
Let y be 288 + (-1)/(4*(-4)/32). Let t be 2/((-10)/(-100) - (-11)/y). Is t >= 16?
False
Let q = 8248 + -8584. Which is smaller: q or -343?
-343
Let y(x) = -4*x**3 - x**2 - 8*x - 3. Let p be y(-2). Suppose 0 = -7*j + 2*j + 655. Suppose -3*r + j = -0*r - t, -5 = t. Which is greater: p or r?
r
Let i = -2490 - -2490. Which is smaller: i or -61/18?
-61/18
Let q = 254/819 - 8/91. Is q greater than 0.136?
True
Let v(f) = 2*f**2 + 149*f + 779. Let c be v(-66). Which is bigger: c or -3098/9?
c
Let d be (1 + (-11)/1)*12/(-30). Suppose 5*o - 4*u = 13, u + d = -u. Which is greater: -1/127 or o?
o
Suppose 4*z - 39 = 21. Let y = 33 + -32. Which is bigger: y or z?
z
Let f(d) = d**3 - 6*d**2 + 5*d + 6. Let n be f(2). Is n <= 1/159?
True
Suppose 3*a = -0 + 3. Let q(z) = -z**2 - z - 6*z - a + 4*z. Let n be q(-2). Which is smaller: n or -1/16?
-1/16
Suppose -2*i - 4*l + 22 = 0, 3*i - 85 = 4*l - 32. Which is smaller: 256/17 or i?
i
Suppose -67*x = -304893 + 303285. Let k = 4 - 6. Let w(y) = -2*y**3 + 2*y**2. Let r be w(k). Is x > r?
False
Let k be (-165)/(-275)*2*15. Suppose k = -2*y + 24. Which is greater: 22 or y?
22
Suppose -8 - 19 = -x. Let c = x + -42. Which is smaller: c or -16?
-16
Let p be 56/6*72/(-16). Let k be -4*(-3)/p - (-696)/(-700). Which is smaller: k or 0?
k
Let z = -21/358 - -8359/136398. Let c = 3388/15621 + z. Are 0 and c non-equal?
True
Let u be 0 + 1120/553 + -1*2. Let t = -16 - -17. Which is bigger: u or t?
t
Let k(m) = 53*m - 319. Let s be k(-13). Is -1001 greater than s?
True
Suppose -3*g + 11*d - 104 = 13*d, -5*g + 2*d = 152. Let y be (3 + (-2)/(-4))*g/(-168). Which is greater: y or 1.01?
1.01
Let m(d) = d**3 + 3*d**2 + 17*d - 187. Let n be m(9). Is n greater than or equal to 938?
True
Let i = -9261 - 2239. Which is smaller: i or -11501?
-11501
Let u = -7315/24 - -305. Let p = 2760 + -2760. Is u not equal to p?
True
Let p = 17827 - 17828. Does 1/1873 = p?
False
Let s(l) = -2*l**3 - 57*l**2 + 26*l - 79. Let r be s(-29). Suppose -2*i - 3*q = 9, -4*q = 3*i - r*q - 12. Let p = 23966/803 - 328/11. Is i smaller than p?
True
Let k = -0.9314 - -1.9314. Is k greater than -19.46?
True
Let q = -4822 - -9453. Which is smaller: q or 4633?
q
Let i(q) = -104*q**2 - 20*q + 83. Let o be i(8). Let w = -33823/5 - o. Which is smaller: -31 or w?
w
Suppose 0 = 2*c - m, 5*m + 26 = c + 17. Is -1/7021 greater than or equal to c?
True
Let c = -36 + 39. Let l be -3*1/5*(c + 2). Which is smaller: l or -32/9?
-32/9
Let d = -106 + -333. Let n = 396 + d. Is n less than -40?
True
Let x = -1817/3 - -32129/30. Which is bigger: 465 or x?
x
Let n = 7905 - 7905. Is -2/1049 < n?
True
Let g = -3 + 5. Let n be (g/3)/((-2)/3). Let v be (46/21 + -2)*(-237)/(-158). Do n and v have the same value?
False
Let o = -1009 + 1009.45. Let l = 86.55 - 84. Let z = l + o. Does 2/3 = z?
False
Suppose 450915 + 751581 = 193*x - 1861572. Is x at most as big as 15876?
True
Suppose 40*b - 51 = 41*b. Let m be -3 - (15/9 - 2312/b). Is -50 at most as big as m?
True
Suppose -5*s + s + 24 = 0. Let y be ((-4)/12)/((-2)/s). Let t = 0.3816 - -0.6184. Are t and y nonequal?
False
Let l(a) = 37 - 6*a**2 - 197*a + 6*a**2 + a**2 + 175*a. Let f = -7 + 28. Let y be l(f). Is y greater than or equal to 44/3?
True
Let q = -530581/4615 - -9183/71. Let d = 3/13 + q. Does 15 = d?
False
Let m(i) = 4 - 6 - 6*i + 5. Let a be m(-3). Let o = a + -22. Are -1 and o equal?
True
Let o(z) = -3*z + 10. Let q be o(3). Let n be ((-1)/7)/(150/(-11725)). Let k = -317/30 + n. Is k > q?
False
Suppose 52 = 2*t + 2*z, -2*z - 172 = -5*t - 0*t. Let x = -4 - -9. Is x != t?
True
Suppose 1 = 4*n - 7, 4*n - 33 = 5*s. Let p be (18/(-8))/((-21)/(-280)). Let g be (p/22)/5*(-24)/(-18). Is g less than or equal to s?
False
Suppose 214 = -8*h - 2766 + 420. Let f(n) = -22*n + 11. Let j be f(15). Which is greater: j or h?
j
Let m be (-92)/(-28) - 10 - 13. Which is smaller: m or 2/5?
m
Suppose -3*t = 5*y + 6627, 411*y - 406*y = 30. Is -2221 <= t?
True
Let m be (-729)/15*(-82)/(-246). Suppose -5*t + 2*r - 82 = -0*r, -5*t - 3*r - 77 = 0. Is m < t?
True
Let y be 49*(-1)/45 - (-20 - (-2896)/144). Let l = 0 - -2. Suppose l*a = -a - 6. Is y != a?
True
Suppose -59 = -7*o - 52. Let c be (7 + -9)*((-22)/(-7) + o). Suppose 2*u = 6*u + 28. Which is bigger: c or u?
u
Suppose 0 = -u + 2*b - 10695, -11*u = -6*u - 5*b + 53500. Which is bigger: -0.1 or u?
-0.1
Let n = -64.971 + 65. Let g = -67.971 - n. Let v = 72 + g. Which is bigger: -0.2 or v?
v
Let f = 9 - 4. Suppose 5*r - 50 = 2*z, -3*z = -f*r + 69 + 11. Let h = 23 - z. Is 53 at least as big as h?
True
Let u be 32/(-14)*(