s greater: s or n?
s
Let v = -178/29 - -4046/319. Suppose 2*j = z - 17, 0*z + 2*z - 4 = -2*j. Are v and z unequal?
True
Let f(w) = 2*w**3 - 14*w**2 + 6*w - 175. Let r be f(8). Which is bigger: -1008 or r?
r
Suppose 0 = -0*n + 2*n + q + 3, 0 = -3*n + 2*q - 15. Let o be (-32)/n + ((-40)/(-15))/8. Which is bigger: 7 or o?
o
Let f be (-4865)/(-125100)*(-16)/(-14). Let q = 28 + -18. Suppose 2*r = -5*i + 6*i - q, -3*i + 5*r = -25. Is f at least i?
True
Let f be (-147)/1171590*(-30)/(-4)*8/(-6). Which is smaller: -1 or f?
-1
Let j(o) = -o. Let y(z) = -18*z - 3. Let n(r) = -12*j(r) + y(r). Let h(l) = 5*l + 3. Let w(c) = -3*h(c) - 2*n(c). Let u be w(-1). Are -18/13 and u unequal?
True
Let i(h) = h + 7. Let n(g) = -2*g**2 + 7*g - 2. Let r be n(4). Let t be i(r). Let f = 3881/11 + -352. Does f = t?
False
Let u(o) = 9*o - 83. Let y be u(10). Suppose 1436 = y*g + 358. Is g greater than or equal to 155?
False
Suppose 2*z = z - 5*r + 14, -4*z - 3*r + 5 = 0. Let g = 4376 - 258190/59. Which is greater: z or g?
g
Suppose -4*f = -z - 64 + 223, 4*f + z + 161 = 0. Let t be (-1)/(-35) - (176/f)/11. Is -1 at least t?
False
Let t = 51 - 247/5. Let q = 23849 + -23848. Is t smaller than q?
False
Let m = -646 - -534. Is m greater than 0.01?
False
Let j = -11530 - -11285. Which is smaller: -240 or j?
j
Let i = 1314.9 - 1315. Which is bigger: i or -599/14?
i
Let d = 5742.223 + -5738. Let t = 0.223 - d. Is 3 less than t?
False
Suppose 1108*t + 1008 = 1096*t. Which is smaller: -86 or t?
-86
Let f be (-13452)/(-171)*(-18)/24. Which is bigger: 65 or f?
65
Suppose 4*b + 3*k = -2 - 73, -5*k - 69 = 4*b. Are b and 7 unequal?
True
Let o be 2/((4/(-35))/4). Let l be 136/o + (3 - 1). Let r be 1 + 6 - 28/140*40. Is r smaller than l?
True
Suppose -4*z - 45 = -7*h + 6*h, 4*z = 3*h - 103. Which is bigger: -43 or h?
h
Let r be ((-15)/(-20) - 255/(-476))*1532/(-6). Is -329 less than or equal to r?
True
Suppose 32*m = 37*m + 360. Let g = 44 + -44. Are m and g nonequal?
True
Let k(m) be the first derivative of -2*m**3/3 + 37*m**2/2 - 25*m - 68. Let u be k(17). Is 25 at most as big as u?
True
Let j be 20/30 - (-142)/3. Suppose 4*u + j = 3*t, 24 + 3 = 3*t + 3*u. Let y be 4/6 - (t + -11). Is -5 greater than or equal to y?
False
Let c = 46290/71 + -652. Let l = -63 - -63.04. Let o = l - 1.04. Which is bigger: o or c?
c
Let a be (2026/(-5))/((-37656)/(-2790)). Let o = a + 175717357/86818. Let z = 1994 - o. Is z > 1?
False
Suppose -3*y - 30 = -5*d, -2*d - 14 = 3*y + y. Let p(b) = b**3 + 6*b**2 - 21. Let c be p(y). Suppose -3*q = -4*q + c. Which is smaller: 19/4 or q?
q
Suppose -x - 2*q = 1, 20 + 3 = -3*x + 4*q. Let i be (2 - -9) + x - 91. Which is bigger: -83 or i?
-83
Let i = -1941.791 + 1943. Let d = i - 0.209. Are d and 128 non-equal?
True
Let x = 4.77 + -2.77. Let s = 1.8 - 18.8. Let p = s + 13. Which is smaller: p or x?
p
Let l = -6904/235773 + -2/3519. Let m(y) = y**3 - 8*y**2 + 448*y - 4114. Let h be m(9). Is l bigger than h?
True
Let k be 28/(-196) - (680/(-5348) + 0). Which is bigger: 2/3 or k?
2/3
Let v(z) = 5*z**2 - 9. Let i be v(2). Suppose i*g - 10*g = 3. Is -9 less than g?
True
Let s = 1593 - 1594. Which is smaller: s or -3/287?
s
Suppose 0 = -3*g + 3*x - 195, -4*g - g - 328 = -2*x. Let d = 200/3 + g. Let f = 229751/3 + -76583. Are f and d nonequal?
False
Let u(p) = 4*p**2 + 8*p - 6. Let v(b) = -b**2 - b + 1. Let c(n) = -u(n) - 5*v(n). Let j be c(-3). Is 4/5 at least as big as j?
False
Suppose 4*t - 9 = -5*h + 2*h, 4*h + 2*t - 12 = 0. Let g be h - 14/4 - 324/(-8). Does 38 = g?
False
Let u be ((-3)/11)/((1375/(-440))/((-15)/36)). Is -163 bigger than u?
False
Suppose 65 = -12*y + 25*y. Let r be y*6/(2 + 4). Do r and 9 have the same value?
False
Let t = -1749.9 - -1749.9. Does -5450 = t?
False
Let u = 7505 + -7667. Is u less than -158?
True
Suppose 10*g - 3*g = 63. Suppose 0 = -g*j + 12 - 3. Let a be 38/24 + (-3)/(-12). Which is smaller: j or a?
j
Let p(t) = -3*t**3 - t**2 - 2*t - 1. Let h be p(-1). Suppose -2*c + 58 = 2*o, -82 = -6*c + h*c - 4*o. Let l = c + -72. Which is smaller: -0.1 or l?
l
Let h = 112 + -108. Suppose -h*m + 86 = -4*y + 2*y, -y - 58 = 3*m. Is -51 >= y?
False
Suppose 0 = -4*y + 16, -4*y + 4 + 21 = -b. Let s be -29 + b/(-3) + -6. Let j(z) = 3*z**3 - 2*z**2 - z - 1. Let u be j(-2). Which is smaller: u or s?
s
Let j = 35.894 + 0.106. Let s = 74 - j. Is 0 at least as big as s?
False
Let i be 12/(-16) + (-204)/(-16). Let j be ((-8)/i)/(85839/(-16056)). Let a = j + 4/923. Which is smaller: -1 or a?
-1
Let j be 2 - ((-15)/(-6) - (-5)/(-10)). Let g be (j - (1 + -7))/(28/(-56)). Let o(u) = -2*u - 25. Let x be o(g). Does x = 2/9?
False
Let o(f) = -f**3 + f**2 + f + 1. Let g(l) = 2*l**3 - 5*l**2 - 3*l - 8. Let z(p) = -g(p) - 3*o(p). Let q be z(-6). Which is bigger: q or -138?
-138
Let v be 4130/5400 + (-6)/8. Let k(i) = i + 10. Let j be k(-7). Suppose 4*l = j*c + 8, -5*c + l - 4 = -l. Is c less than or equal to v?
True
Let i = -3.736 + 3.95. Let v = 0.214 - i. Which is smaller: v or 161?
v
Let y = -2221503/13 - -171005. Is y <= 121?
True
Let z = 197 - 135. Suppose -192 = 60*y - z*y. Is 95 smaller than y?
True
Let q = -159 - 51. Let y = -210.3 - q. Is y < -8?
False
Let s = -41/69 - -6/23. Let p = -179 + 253. Let x = p + -76. Which is greater: s or x?
s
Let f be (-8)/16 - (-1 + (-145)/(-2)). Let m = f - -89. Let k be 4 + (2 - ((1 - -3) + m)). Is -16 < k?
True
Let r = -1140939157/1045946376 - -11345/299784. Let p = r + -3/1163. Which is greater: 0 or p?
0
Suppose 3*b + 2*r + 15 = 0, -3*r = 2*b + 13 - 8. Which is bigger: b or -5?
-5
Suppose 6*o = 2159 - 179. Let b be ((-6)/o)/(9/15). Which is bigger: -1 or b?
b
Let v(n) = 35*n - 20. Let q be v(1). Let z be (-3276)/(-90) - 6/q. Which is bigger: z or 35?
z
Let n = -5 - 39. Let b = -60 - n. Suppose l = -2*i + 3*i + 14, 3*l + 3 = 0. Is b less than i?
True
Let r be -3 + (-54)/3*(-420)/2583. Which is smaller: -1.3 or r?
-1.3
Suppose y - 3 = -2*y. Let r be -1*y*18/(-6). Suppose -5*g - 6 = 19, 0 = -r*b + 4*g + 35. Which is bigger: b or 4?
b
Let j = -256 - -258.925. Let z = j - -0.075. Which is bigger: -1/6 or z?
z
Let v = 149 + -148.265. Let x = v + -0.81. Let t = -0.025 + x. Which is bigger: 9 or t?
9
Let s be (3/1)/1 - 0. Suppose -5*p - 20 + 5 = 0, 0 = 5*f + 2*p - 14. Suppose f*j + 1 = s*j. Is j at least as big as -7/5?
True
Let q = -2531.402 - -10.402. Is 0 bigger than q?
True
Let x be (-1 - 1) + -1 + -13. Suppose -184 = 236*a - 244*a. Suppose -m = -3*b + 3 + a, 2*m - 4*b + 46 = 0. Is m at most as big as x?
True
Let u be 17/4 - (-6 - -8) - 3. Suppose -k + 6*k - 20 = 0. Which is smaller: u or k?
u
Let d be (-4)/12*3*-2. Let q be 27/12 + d*(-3)/24. Let z = -3 + q. Are -1 and z nonequal?
False
Let w(h) = -41*h - 1. Let k be w(1). Let j(o) = 2*o**2 - 54*o + 144. Let b be j(23). Are k and b nonequal?
True
Let a be -3 - (138054/(-33))/7. Let u = -601 + a. Is u greater than or equal to -3/2?
False
Let b be (0 - -1074)*(-5 - 14/(-3)). Which is smaller: -362 or b?
-362
Let m(h) = 13*h - 7. Let i be m(3). Suppose -i*g + 100 = -33*g. Let f be (-1 - 416/g) + -3. Which is smaller: 2/3 or f?
f
Let a = -208285 + 1193264768/5729. Which is greater: 0 or a?
a
Suppose 0*k = -2*k - 6. Let i(w) = 2*w**3 + 25*w**2 + 57*w + 895. Let f be i(-13). Let a be 0 - (k - 35/f). Which is smaller: 2 or a?
a
Let q = -11400 - -11400. Is q at least as big as 7/67?
False
Suppose -3*y + 5*l + 418 = 0, 2*y + 2*l - 159 - 141 = 0. Let f(r) = r**3 + 6*r**2 - 3*r - 3. Let a be f(-3). Suppose a*x = 35*x - y. Is x != 73?
False
Let v be 10 - (-148)/(-15) - (-1665397)/1477635. Let s = -2/4283 - v. Is s < -1?
True
Let o(k) = 32*k**2 - 6*k - 5. Let v be o(-1). Let p be (5 - v)/(2/15). Is p less than or equal to -210?
True
Let q = 21.9171 + 0.0829. Let b = -11 - -35. Let t = b - q. Is -0.1 less than t?
True
Let f be (-1)/3 - 291/(-9). Let v be (f + 2)*2/4. Suppose 305 - 107 = -10*l + 21*l. Which is bigger: v or l?
l
Suppose 3*s + 8 = 17. Suppose 12*w - s*w = -90. Let t be (-48)/w*(-1)/(-4). Is 0 less than t?
True
Let m(l) = 33*l - 161. Let k be m(-15). Which is greater: k or -1.6?
-1.6
Suppose 6 = f - 5. Let o be 48/(-264) + (-922)/f. Which is greater: o or -0.1?
-0.1
Let a(m) = m**3 - 3*m**2 + 2*m. Let f be 3/(-7) - (1309/49)/(-11). Let z be a(f). Which is greater: z or 21/23?
2