 Let j(s) = -11*s**2 + 2*s - 1. Let w be j(1). Is c less than w?
False
Suppose 0 = -5*u - 5, 7*u = -5*d + 4*u - 8. Is -3/14279 equal to d?
False
Let h = -1.95 + 0.95. Let a = 5486/5 + -1100. Which is smaller: a or h?
a
Suppose -4 = -a - 3. Let y(m) = -m**3 - m**2 + 6*m + 4. Let h be y(-4). Let l be (h/(-70))/(1/(-5)). Which is smaller: a or l?
a
Let i = -0.0701 - -0.0701. Which is smaller: i or 3.759?
i
Let n(r) = -r**3 - 11*r**2 - 29*r + 6. Let c be n(-5). Suppose q + 5 = 0, -5*p - 446 = -5*q - 31. Do c and p have the same value?
False
Let m be (-2028)/207 + (-92)/69. Which is smaller: -12 or m?
-12
Suppose -4*v + 2*j - 22261 = -2911, -3*v = -2*j + 14512. Is -4838 at least v?
True
Suppose -17*z - 7 + 24 = 0. Let y(m) = -m**3 + 1. Let u be y(z). Is u less than or equal to 5/8?
True
Let x(n) = n**3 + 13*n**2 + 14*n + 30. Let h be x(-13). Let f = 1370/9 + h. Which is smaller: f or 40?
f
Let x = 428 + -665. Let q = -207 - x. Which is smaller: q or 31?
q
Suppose -350 = -5*t - 25. Suppose 0 = 4*q + q + t. Suppose -8*z - 31 = 49. Is q < z?
True
Suppose -o - 4 = -w, -5*o + w = 88 - 52. Which is smaller: 93 or o?
o
Let a be (0 + (-10)/(-4))*16/20. Suppose -2*l = -i - 9, a*i = 4*l - 2*l - 10. Let r be (-25)/39 - 3/(-9). Do r and i have the same value?
False
Let a = -0.25 - -0.2. Let t = -5146/2995 - 49/599. Is a less than t?
False
Let u = 82.7549 - -0.0451. Let k = u - 63. Let i = 19 - k. Which is greater: 4 or i?
4
Let b = 114/101 + -13820/12423. Let z = 3919/28372 - -326/519. Let a = z - b. Is 2 < a?
False
Suppose 208 + 24152 = 40*a. Let u be (2 - 1)/(3/a). Is 201 smaller than u?
True
Let g = -4326 + 4396. Is g greater than or equal to 49?
True
Let c be ((-170)/903380)/(2/12). Which is bigger: c or 0?
0
Let w(m) = -17*m - 65. Let g be w(-4). Which is smaller: -12 or g?
-12
Suppose 0 = -10*f + 20*f - 12*f. Suppose f*o + 4*o - 28 = 0. Let n be 1*-85 - (o + -11). Are n and -80 nonequal?
True
Suppose -7*o + 9 - 51 = 0. Which is greater: -91/18 or o?
-91/18
Let x = -0.8285 - 0.1715. Is x not equal to 414?
True
Let b(y) = 3*y**2 + 42*y + 120. Let f be b(-4). Which is greater: f or -9/787?
f
Let a = -183 - -187. Suppose 2*l = k + 2, a*l + 6*k - 8 = 10*k. Is -13/20 > l?
False
Let y = 10293857152/2065 + -4984919. Let i = -1/295 + y. Let u = -10 + 17. Which is smaller: u or i?
i
Let k = -30.95 + -0.05. Let f = k - -27. Let t = -2149/115 - -93/5. Is t >= f?
True
Let w(d) = -616*d - 19. Let j be w(1). Do j and -635 have the same value?
True
Let v = -82 - -90. Suppose -y - 1 = 0, 5*y = -3*x + x + 15. Suppose -r + x*r = 9. Does v = r?
False
Let o = -451 - 106. Let b = -573 - o. Which is bigger: b or -1?
-1
Suppose -17*h - 6 = 4*d - 16*h, -3*d - 3*h = 0. Let n be 74/(-44) + 2 + -1. Which is smaller: d or n?
d
Let c = -46.7 + 188.7. Which is smaller: c or 3?
3
Let y be (108/(-28) - -3)*-14. Suppose 2*x - 3*g - 15 = 0, 0 = g + 2*g + 15. Suppose 4*v - 8 - 48 = x. Are v and y equal?
False
Let b be (152/(-6))/((-16)/72). Suppose 337 - 107 = 2*z. Let j = z - b. Is j greater than or equal to 9/26?
True
Suppose 524*q + 1024 = 460*q. Which is smaller: 0.107 or q?
q
Let g(p) = 7*p**2 + 5*p - 51. Let o be g(0). Which is smaller: o or -50?
o
Let d(r) = -32*r - 225. Let t be d(-11). Which is smaller: t or 124?
124
Let i = 2 - 1. Let l(c) = -c**3 - 2*c**2 + 15*c + 24. Let z be l(-4). Let f be (-395)/35 - -3 - z/14. Which is greater: i or f?
i
Let g = 83 + -90. Let k be (-2 + g + 5)/(-2 + -12). Is -129 < k?
True
Let t(b) = -b**3 + 20*b**2 - 19*b + 2. Let o be t(19). Let z be (-6)/24*o + (-575)/(-1142). Which is bigger: z or -1?
z
Let y(m) = 2*m + 1. Let c be y(5). Suppose 34*x - 929*x = -11635. Is x greater than or equal to c?
True
Suppose 0 = -20*l + 19*l + 22. Suppose 35 = 3*x - l. Let b(c) = 19*c**2 + 1. Let r be b(1). Which is bigger: r or x?
r
Let y be 14728/154*(-2)/(-24). Let h = 7/11 - y. Let q(x) = 13*x - 151. Let b be q(11). Is b bigger than h?
False
Let g = -68 - -76. Suppose g*r = 33 - 41. Which is greater: r or 1/7?
1/7
Let v = 40 - 25. Let t(u) = -u**2 + 15*u - 39. Let o be t(12). Let p(x) = x**2 + 12*x + 29. Let a be p(o). Is v not equal to a?
True
Let f = 174.736 - -0.264. Let j = f - 175.26. Let z = -0.07 - 0.03. Are z and j equal?
False
Suppose -c = -5*g + 9 + 12, -165 = 5*c + 5*g. Which is smaller: c or -69?
-69
Let s = -2197 + 1618. Do s and 1 have different values?
True
Let q = -25.51 - -1.01. Is q smaller than 0.03?
True
Let a = 934 + -63509/68. Let v = -233/8364 + a. Suppose -m - 19 = 253*k - 258*k, 23 = 3*m + 5*k. Is m < v?
False
Let v = -91479/1391992000 - -1/166208. Are -1 and v nonequal?
True
Let u = -2483 + 6701. Let r = u - 2960. Let l = r + -130831/104. Which is bigger: l or 0?
l
Let o = -36.132 + 36.1. Let v = o + 0.162. Which is smaller: v or -2?
-2
Suppose 0*q - 4*q = -5*q, 4*q = -2*v - 8. Which is bigger: 26 or v?
26
Suppose -9*j - 3797 + 3950 = 0. Let c = 30 + -29.99. Which is smaller: j or c?
c
Let b be (-6)/974*14/7. Let w = 29737/2435 + b. Is 12 >= w?
False
Let l = 3565 + -1897. Which is bigger: 0 or l?
l
Suppose 98*q + 9232593 = 551*q. Which is smaller: q or 20380?
20380
Let h = -825 + 834. Let r = -7 - -6. Which is greater: r or h?
h
Let b(t) = -4*t + 20 + 0*t + 3*t + 2*t. Let d be b(-14). Suppose 3*i = -d + 3. Are i and -2/63 equal?
False
Let u = -15675 - -15682. Which is bigger: u or 68/9?
68/9
Let p be (-1894)/(-14) + (448/98)/(-16). Is p greater than 1500/11?
False
Let m be 3128/12256 + 3/(-12). Let c(v) = v**3 + 19*v**2 + 59*v - 16. Let l be c(-15). Is m >= l?
True
Let l(h) = -2*h + 0*h + h - 5 + 4. Let w be l(-7). Let d be (35 + -2)/(w/(-4)). Are d and 1 non-equal?
True
Let f = 6.317 + 0.483. Is -3 != f?
True
Let h(r) = 4*r + 56. Let w be h(-13). Let m be (-4 + 3 + w)*(-8)/(-5196). Which is smaller: -1 or m?
-1
Let h be 10/6*(-14 + -1). Let d = -266.77 - 0.23. Let o = -266 - d. Does o = h?
False
Let w = 5 - 14. Let x(r) = -r**3. Let h(v) = -2*v**3 + 5*v**2 - 3*v - 4. Let f(s) = h(s) - x(s). Let o be f(4). Which is bigger: o or w?
o
Let r be -5 + 7*(-10)/350*620/(-24). Let b be (-2)/9 - (-8)/36. Which is smaller: r or b?
b
Suppose 3*s - 79 = d, -3*s + 2*s = -3*d - 13. Let l = 12 - s. Are l and 3 nonequal?
True
Suppose -185*y - 243326 = 62*y + 204238. Which is greater: y or -1814?
y
Let y(b) = b**3 + 12*b**2 - b + 2. Let p = -2 - -2. Let z be y(p). Is z > -5.5?
True
Suppose 5*g = 5*v + g - 1256, -5*v + 1252 = -3*g. Which is greater: 251 or v?
251
Let w be (-1)/((-12314)/(-4068) - 3). Let c = -37 - w. Is c <= 1?
True
Let g be 6/(-8)*(826/21 - 18). Suppose -2*y - 3*y - 80 = 0. Do g and y have the same value?
True
Let u be 234531/19320 + 2/8*15/10. Is u < 13?
True
Let h be ((-8)/(-14))/((-28)/(-392)). Suppose 2 = 10*f - h. Let u = 62 + -188/3. Which is bigger: f or u?
f
Let c = 9545652/799 - 11947. Is c > 2?
False
Let q = 21 - 16. Suppose 0 = -q*t + 67 - 32. Which is smaller: 3 or t?
3
Let q be (-20)/12 + (-3926)/780. Which is greater: q or 1?
1
Let j be 1/((-4*(-5)/(-2220))/1). Let z be 12 - 20 - j/15. Let g = -2 - -3. Are z and g non-equal?
True
Let y(c) = -c**2 + 70*c - 385. Let w be y(6). Is 8282 less than w?
False
Let d(m) = m**3 + 11*m**2 + 11*m - 10. Let z be d(-9). Let x(n) = z + 38 - 107 - n. Let a be x(10). Is a smaller than -26?
False
Let c be 1 + 1 + (5 - (-8790)/(-1254)). Suppose 4*m + 7 = -4*x - 5, 5*x = -4*m - 13. Which is greater: c or x?
c
Let v be ((-6)/7)/(57/210 + 4/(-20)). Are v and 404 equal?
False
Let v(h) = h**3 + h**2 - h + 11. Let t be v(0). Suppose 25*r - 34*r = 594. Let o be r/(-260) + 6/(-60). Which is greater: t or o?
t
Let v = 9849 + -9698. Which is smaller: v or 150?
150
Let k(t) = t**3 + 19*t**2 + 154*t + 345. Let c be k(-9). Which is bigger: -46 or c?
-46
Suppose h - 5*x - 34 = 0, 41 = -4*x + 13. Is 13/54 >= h?
True
Let w be ((-2)/(-34))/(65 + -166). Which is smaller: w or -1?
-1
Let r(k) = k**2 + 34*k + 181. Let s be r(31). Suppose 53*w - 62*w = s. Is -244 != w?
False
Suppose 79*z - 201 + 103 = -98. Which is smaller: z or -6/19597?
-6/19597
Let u be (4/306)/(8/6). Suppose 223 = -5*t + 1033. Suppose -t*c = -158*c - 4. Are u and c unequal?
True
Suppose -29 = 5*c - 3*o, 4*c = -2*o - o - 34. Let g be 0 + 0 + 50/(-10). Is g smaller than c?
False
Suppose 2017*k = 2064*k + 291588. Is -6201 at least k?
True
