4/(-12). Which is smaller: 0 or c?
c
Let v = -198 - -267. Let l be 15/9 - 3 - (-920)/v. Which is bigger: 2 or l?
l
Let v be (-115)/(-5) - 1*3. Suppose 30 = 4*h + 22. Suppose -i - 36 = -2*b + i, 0 = 3*b + h*i - 59. Is b >= v?
False
Let t = 0.13 - -0.07. Let x = -34 - -35.5. Let s = x + -1.59. Is t greater than s?
True
Let p(y) = 51*y - 313. Let j be p(6). Which is bigger: -19 or j?
j
Suppose -4*y = -2*s + 884, 20*y + 1276 = 3*s + 24*y. Let f be s/(-43) + -1 - -5 - -6. Which is smaller: f or 1?
f
Let t = 12.559 + -13.44. Let j = t + -3.119. Which is smaller: j or 5?
j
Suppose t = -6 - 2. Suppose 4*d - 12 = 0, 3*z - 2*d + 56 = 218. Let v be (z/(-12))/((-28)/(-42)). Are v and t unequal?
True
Let x = 3653 + -4564. Is x greater than or equal to 2?
False
Suppose 3*j - 1880 = -2*z, -3*j + 1074 = 5*z - 3626. Which is smaller: z or -3?
-3
Let h = -0.26 + -6.24. Let u = -1267.5 + 1262. Let b = h - u. Are -2 and b nonequal?
True
Suppose -24*k = -23*k + 14. Let i be (-27 + k)*2/(-2). Let a = i - -28. Which is smaller: a or 68?
68
Let n = 8737 - 8585. Is n less than 0.05?
False
Let n = 150 + -153. Let a be (0/(-1))/n + 264/4. Does 66 = a?
True
Suppose -38*v = -2*l - 1 - 55, 2*v - l = 11. Let k = 13 - 3. Which is smaller: v or k?
v
Let w = 1339 - 3943/3. Let p = 43/3 - w. Let m be (-6)/(-36) - 55/6. Is p equal to m?
False
Let l be 21 + -7 - 1155990/82570. Which is smaller: l or 0?
l
Let p = 337 - 334. Let k be 117/432*(p/(-6) - -2). Which is smaller: 0 or k?
0
Suppose -2*w + 6*w + 24 = n, 0 = -2*n + 10*w + 60. Is n <= -2/2001?
False
Let f = -92 - -309. Let c = f + -229. Which is bigger: 0.1 or c?
0.1
Let m be (9/30)/((-477)/424). Is m equal to -1/185?
False
Suppose -95 = -7*y + 2*y. Let w = 1.782 - 4.782. Which is smaller: w or y?
w
Let j = -323 + 467. Let f = 79 - j. Let o = -7 + f. Is -0.1 <= o?
False
Let l = -14717/110 + 1472/11. Suppose -m - 5 = -c, 2*c + 299 - 319 = 4*m. Which is greater: c or l?
l
Let f(o) = 6*o + 87. Let h(p) be the third derivative of -p**4/24 - 17*p**3/6 - 5*p**2. Let b(l) = 2*f(l) + 11*h(l). Let c be b(9). Is -6 at most as big as c?
True
Let i be (6/5)/3 + 0. Let w = -38952 - -38931. Which is smaller: w or i?
w
Suppose 2*v + 5*u = 1702, -19*v + 14*v = 5*u - 4270. Let n be (v/(-1926))/((-1)/21*-1). Which is bigger: 1 or n?
1
Suppose 352 = -4*z - 4*g, -4*g + 5 = -4*z - 323. Are -13 and z equal?
False
Let l be (-612)/78 + (-2)/13. Let z be ((-4)/l)/(-1) - (-3)/6. Which is smaller: z or -160?
-160
Let s be 76/(-57)*507/228 + 7. Which is smaller: s or 3?
3
Let r be (2 + -8)*28/21 + 25. Suppose 2*w + 5*i - 12 = 0, -9 = -2*w - 2*i + 3. Let v(z) = z**2 - 4*z + 6. Let h be v(w). Do h and r have the same value?
False
Suppose -5*k = s + 357, -38*s + 738 = -40*s - 4*k. Is -360 > s?
True
Suppose 17*x = -136109 - 42425. Which is smaller: -10501 or x?
x
Let k = -3/1925 + 90499/15400. Suppose -8*n + n + 35 = 0. Is k less than n?
False
Let x be (-12)/21 - (-12)/(-4). Let m = 31/119606 - 160163935/44373826. Let k = x - m. Which is greater: k or 1?
1
Let r(y) = 578*y - 2851. Let w be r(5). Is w greater than or equal to -375?
True
Let g = -0.4979 - 2.5021. Which is smaller: g or 1/4?
g
Let i = 570985/16263 - -3/1807. Is 35 < i?
True
Suppose 0*m = 5*t + 5*m - 65, 3*m - 55 = -5*t. Suppose t*p - 3*p = -5. Let a be (-12)/(-2)*(-12)/(1177 - -11). Is a less than p?
False
Let r = -26198 + 26195. Is r <= 2/7747?
True
Suppose -955*l - 202 = -958*l - o, -5*l + 346 = 4*o. Let b(g) = g**2 + 3. Let u be b(8). Which is bigger: l or u?
u
Suppose 3*o + 6*a = 529 - 2380, 4*o + 4*a = -2472. Which is smaller: o or -620?
-620
Let z = -0.02963 - 136.97037. Which is smaller: z or 0.18?
z
Let r = -158.942 - -159. Let v = r + 0.142. Is v <= -88?
False
Suppose -58*z + 60*z = -14, 0 = -h - z + 4. Which is smaller: h or 355/29?
h
Let z(x) = -x**2 + 12*x + 2. Suppose 14*g = 9*g. Let s be z(g). Suppose l = 0, -5*l = -t - 4*l. Which is smaller: t or s?
t
Let r(q) = -2*q**3 + 2*q**2 - 7*q + 47. Let o be r(0). Which is smaller: 0.4 or o?
0.4
Let f = -1595 + 1596.267. Let r = f + 0.083. Let c = 1.43 - r. Which is smaller: c or -5?
-5
Let r be 24/7*(736 + -715). Which is greater: r or 18?
r
Let q = 4790 + -866988/181. Suppose 2*d - 3*d + 10 = 0. Suppose 2*w - d = -12. Is q at most w?
False
Let p = -113 - -117. Suppose 0 = -p*l + 5*l + 76. Is l > -72?
False
Let z be 2 + (-1 - -11 - 7). Suppose v - z*v + 78 = -5*i, 2*v - 36 = i. Which is greater: 19 or v?
19
Let y = -789 - -771. Is y at least -1/181?
False
Suppose -54 = 3*t + 5*s, -4*t = -4*s - 118 + 94. Let r(a) = 3*a + 0 + 1 + 2*a. Let c be r(-1). Is t >= c?
True
Let h be -2 + 0 + 1347/3. Let u be 2/(-3) - h/(-9). Suppose -273*w - 271*w - 1350 = -571*w. Is u > w?
False
Let a = -71989 + 50032364/695. Are -1 and a equal?
False
Let n = 1 + -47. Let p = n + 76. Let t = p + -29.5. Which is bigger: 1 or t?
1
Let c be (-30)/16 + 346/(-2768). Suppose 8*g + 40 = 3*g. Let o = g + 6. Is o greater than c?
False
Let o be (3/232632)/((-235)/470). Is -1 at least as big as o?
False
Let r = -8/2519 + -516291/32747. Is r smaller than -16?
False
Let x be (-3283)/35 - 12/(-15). Let m = x - -113. Suppose -5*z = -0*z - 90. Are m and z equal?
False
Let y be 2 + ((-272)/20 - 2/5). Let x be (-58)/y - 15/(-90). Let f = -5 + 7. Which is smaller: f or x?
f
Let y(n) = 25*n - 73. Let d be y(5). Let r = -1283/2210 - 1/130. Let z = -57/68 - r. Is d at least as big as z?
True
Let i(l) = 31*l**3 + 2*l**2 + l - 4. Let s be i(-2). Let n(z) = 3*z**3 + 6*z**2 + 8*z + 20. Let f be n(-5). Is s > f?
False
Suppose 0 = 480*i + 151*i - 9325549. Is i at most as big as 14777?
False
Let f(l) = 4 + l**2 + 14*l - 4 + 7 - l. Let x be f(-8). Let s = 20033/2 - 10048. Is s >= x?
True
Let y = 47/181 + -10476/11765. Which is greater: -0.2 or y?
-0.2
Let k = 162.866 - 163. Let m = -0.398 - -0.364. Let c = k - m. Are 2 and c non-equal?
True
Let n = -21 + 21. Suppose 2*x - 5*f = -n*x + 14, -1 = -x + f. Let a = -19 + 18. Are x and a unequal?
True
Let o be (-6)/(-8)*112/21. Let f be (-2)/(-4)*o/(-10). Suppose 2*s = s + 1. Do f and s have the same value?
False
Let t = -270 - -62. Let h = t + 225. Is h != 14?
True
Suppose -25*u + 164 = -2*g - 21*u, -g - 47 = 5*u. Is g != -72?
False
Let y be (-20)/(-765)*6/32. Let b = -435 - -436. Which is smaller: y or b?
y
Let m be ((-4)/(-6))/(2/3). Let l = 916/13 - 29351/416. Which is smaller: m or l?
l
Let i(r) = 35*r - 7. Let k be i(6). Let c = k - 144. Which is bigger: 0 or c?
c
Let j = 1.04254 - 0.04254. Is j greater than -4876?
True
Let u = -31/237 + -175400/1659. Which is bigger: u or -106?
u
Let v = 518 - 1574. Let t = 13714/13 + v. Is -2 at most as big as t?
True
Let k = 30343 + -25500. Is 4839 < k?
True
Suppose -12*b - 373 = k - 2*k, -b = 5*k + 26. Which is greater: -27 or b?
-27
Suppose 363 + 21 = 2*i. Suppose -28*u + 34*u = -i. Let y be (-4)/180 + u/10 + 3. Are -1/4 and y equal?
False
Let b(x) = x**2 + 215*x - 19960. Let t be b(70). Suppose -5*w = -2*v + 13 + 14, 0 = 2*w - 5*v + 15. Let q = w - -3. Which is smaller: q or t?
t
Let z(a) = a**2 - 44*a + 20. Suppose 8*r + 4*t = 11*r - 142, t + 4 = 0. Let y be z(r). Which is smaller: -68 or y?
-68
Suppose 0 = 5*j - 4*j + 10. Let p be 138/14 - (60/42)/j. Is p less than 43/5?
False
Let j = 585 - 401. Let q = 184.05 - j. Which is bigger: 2 or q?
2
Let w = -127672731/470 - -271644. Does 1 = w?
False
Let n be (-46 - -48)*6/22 - (-3280)/(-5731). Which is bigger: 1 or n?
1
Suppose 0 = 5*b - 3*d + 1795, -91*d + 93*d = -4*b - 1458. Which is smaller: -344 or b?
b
Let c = -241/4816 + 3/112. Suppose 0 = 3*w - 0*w. Suppose w = -0*n + 5*n. Which is smaller: c or n?
c
Let h = -1.284 + 1.989. Let q = -1.705 + h. Let v be ((-6)/8)/(1/4). Is q greater than v?
True
Let k = -4 - -3. Let j = -1.4435 + -0.5565. Is k != j?
True
Let m be ((-14124)/(-2343) - 6)*(-2)/(-74). Which is greater: m or 0?
m
Let i = -4256 + 4317. Is i smaller than -16?
False
Let a = 12761 + -37907/3. Which is greater: 125 or a?
a
Let m be 9/6*2/(-3). Let z be (1/(-2))/m*8. Suppose 1490*p = -122*p + 713*p - 1413*p + 18496. Is z <= p?
True
Let q = -17514 - -15947. Which is smaller: -1574 or q?
-1574
Let k be (24/80)/(7758/(-36)). Is k <= -1?
False
Let z be (-58)/15 + (-3)/(-15). Let g(n) = n**3 - 2*n**2 - 2*n + 1. Let c be g(0). Suppose 2*t + c = -5