b + 2*j + 3 = 0, 15*b - 10*b - 4*j = -1. Does b = -2/7831?
False
Suppose 5*w = 3*s - 842, -2*w - 423 - 141 = -2*s. Suppose -142*v + 138*v - s = 0. Suppose -4*f + 31 = 311. Is f at least as big as v?
True
Let q be (-1 + 1)/((-6)/2). Suppose 3*y + 2*p + 804 = -600, q = -y - 3*p - 468. Let x = y - -3737/8. Which is greater: x or 0?
0
Let a(w) = 28*w**3 + 12*w**2 + 5*w + 68. Let f be a(-8). Is f at most -13540?
True
Suppose i + 4 = -3*i. Suppose 3*k - d = -8, 7*d = 8*d - 5. Let b be k/((-78)/(-18) - 4). Is b at least as big as i?
False
Let p be 8191/5 - (-948)/(-395). Which is bigger: p or 1637?
1637
Let w = -0.45 + 0.4544. Let f = w + 23.8956. Let m = 24 - f. Is 1 <= m?
False
Let j(o) = o**3 + 16*o**2 + 18*o + 20. Suppose -2*d + 4 + 2 = 0. Suppose d*f - 240 = 19*f. Let x be j(f). Is -25 <= x?
True
Let y(w) = -w**3 - 9*w**2 + 8*w + 60. Let f be y(-10). Is f greater than or equal to 76?
True
Let n be 108/(-21852)*(-4)/8. Is n at least 3/7?
False
Let u(g) = g**3 + 20*g**2 - 45*g - 57. Let w be u(-22). Which is greater: -37 or w?
w
Let y(h) = 560*h - 2799. Let w be y(5). Which is smaller: 2/589 or w?
2/589
Let r be 5/(-7) + 4/(-14). Let w = -4195 - -29367/7. Are r and w nonequal?
True
Suppose -2 = -0*a - a. Let y(k) = -k**2 + 2*k. Let h be y(a). Let j be (-5)/3*44/220. Which is smaller: j or h?
j
Let w = -0.5 - -0.3. Let r = 35.8 + -26.8. Which is greater: r or w?
r
Let p = 75.2 + -131.5. Which is smaller: -3 or p?
p
Suppose 15444*g = 15415*g + 217703. Is g at least 7506?
True
Let a be -48*(-32)/108 - 6/27. Let b be (10/(-3))/(1*a/21). Suppose -1 = 3*k - 4. Is b != k?
True
Let x be (-5)/(-25) - 14/(-5). Suppose -3*g + 2*m + 5 = -0*m, x*g - 5*m = 8. Let f = 3619/157085 - 1/1765. Which is greater: f or g?
g
Let j be ((-320)/24 - -7)/((-2)/6). Suppose 32 = 15*x - j*x. Which is greater: -29/4 or x?
-29/4
Let b be ((-9)/(-10))/((-1)/2). Let o be -5*((-391)/(-437) + 4/38). Let z be (-1)/(o*7/(-70)). Is b less than z?
False
Suppose b + o + 0*o = -3, -4*o = b + 18. Let c be (-69)/(-46)*-2*b/6. Let m be 3/c + (-6)/(-15) + 3. Which is smaller: m or -1?
-1
Let n(p) = p**2 + 3*p - 3. Let d be n(1). Let j be (2/1 + -1)/(2/26). Suppose j*o - 43 = 100. Which is smaller: o or d?
d
Let f(k) = 9*k - 94. Let d be -1*2/(-6) - 624/(-72). Let m be f(d). Is m <= -2?
True
Let w = 3339 - 5019. Are w and 1 nonequal?
True
Suppose -243*l + 281775 = -83397 - 270516. Is l < 2617?
True
Suppose -30096 + 9996 = -49*v - 11*v. Which is smaller: v or 333?
333
Let s be (-47)/(-7) + 14 + -16. Let j = -321212/45 - -35726/5. Let i = j - 68/9. Do s and i have the same value?
False
Let j(v) be the second derivative of v**4/6 - v**3/3 + 7*v**2/2 - 11222*v. Suppose 0*k - 8 = -4*k, 8 = 3*p + k. Let m be j(p). Is 11 > m?
False
Let l = 397 + 104. Let j be (3/(-2))/(16035/(-1002) - -16). Is j greater than l?
False
Suppose -621 = 43*p - 578. Which is greater: -2/9117 or p?
-2/9117
Let o be 20/12 - 2 - 280/(-30). Suppose o*t = 24*t - 15. Let m be (-1)/(5/2*-1). Is m greater than t?
False
Let r = -44 - -16. Let z = -26.2 - r. Which is bigger: z or 0.2?
z
Let d = -166/317 - -1479/2219. Do d and -545 have the same value?
False
Let y = -2.49 - 88.51. Let l = y + 91.2. Which is bigger: -6/13 or l?
l
Let n(f) = -3*f**2 - 49*f - 7. Let i be n(-5). Suppose -2*k = h + 66 + 1, 5*k = 2*h - i. Do k and -33 have the same value?
True
Let l = -70993801/2700 + 26294. Which is greater: l or -1?
l
Let w = 0.24 + -29.24. Let k = -26.284 + 55.295. Let u = w + k. Which is smaller: 0 or u?
0
Suppose -7*l + 43676 = 5*f, -17392 = -3*f - 3*l + 8822. Which is smaller: f or 0?
0
Let p = 14.944 - -1707.056. Is -2/9 smaller than p?
True
Let i be 23/((15/455)/(57/133)). Are i and 299 non-equal?
False
Let u = -5 + 9. Let i = 1591 + -1590. Suppose 4*x + 5 - i = 4*k, 2*k = -u*x + 8. Is 4/17 at least as big as x?
False
Suppose 12*p - 4*p = 32. Let f(z) = 6*z - 24. Let v be f(p). Let d = -2 - v. Is 2 > d?
True
Let i = -73679/5 + 6116792/415. Which is smaller: i or 3?
3
Let d = 0.0897 + -30.8697. Let x = -31 - d. Let u = x - -0.32. Is -39 not equal to u?
True
Let l(t) = -61*t + 30*t + 14*t - 49*t**2 - 3*t**3. Let y(z) = -z**3 - 16*z**2 - 6*z. Let v(q) = -6*l(q) + 17*y(q). Let i be v(-22). Which is bigger: i or -1/17?
i
Let o = 1875 - 1178. Which is smaller: 693 or o?
693
Let q be 10 - (-1)/((-17)/85). Is 624/113 not equal to q?
True
Let h(y) = 488*y - 29263. Let m be h(60). Let n = 1628/95 + 5/19. Which is greater: n or m?
n
Let z = -23 + 22.87. Let b = -0.27 + z. Let o = 5.4 + b. Is 0 at most o?
True
Let z be (-41043)/(-4)*(-4 - 430/(-105)). Let g = z - 976. Which is bigger: 2 or g?
2
Let l be ((-6)/(-13 - -19))/(2/8). Which is smaller: -157/31 or l?
-157/31
Suppose -3*q + f + 74 = 0, 5*q + 2*f + 100 = 9*q. Are 500/21 and q nonequal?
True
Let y = 172 + -204. Let b be y/(-80)*(-285)/(-18). Which is smaller: b or 7?
b
Let a be 0/(-3 - (6 + -6)). Let x be (1 + a)*(-2561)/39. Which is bigger: -67 or x?
x
Let d = 668639/43459 - 3/3343. Is d < 15?
False
Let a = 535 - -94. Let d = 629 - a. Is -345 > d?
False
Let o be (-2)/4 + (-17)/(-2). Suppose 2*f = -o*f + 330. Let m = f + -34. Which is smaller: 2/89 or m?
m
Suppose -3*g = -2*x - 564, -g = -3*x + x - 188. Suppose -3*d + g = d. Suppose 0 = -2*v - 4*l + 2 + 94, -v + 45 = -l. Which is smaller: v or d?
v
Let p(q) = 22*q - 88. Let m be p(4). Is 5/479 not equal to m?
True
Suppose 3034 = -329*h - 256. Is -949 greater than h?
False
Suppose i + 58*n - 59*n - 7 = 0, 14 = 3*i - 2*n. Which is smaller: -34/657 or i?
-34/657
Let p be ((-36)/(-54) + (-10338)/(-9))/((-2)/(-3)). Which is smaller: 18972/11 or p?
p
Let u = 177725 - 8708230/49. Is 6 smaller than u?
True
Suppose 4*n + 4*z - 3*z = 392, 4*z - 16 = 0. Let l = -105 + n. Let i be (3/((-9)/l))/((-3)/54). Is i smaller than 1?
True
Let v = -12728 - -7461. Which is smaller: v or -0.1?
v
Let s be (-22)/4 + 5 + (-6)/(-4). Let y be -3 + (s/2)/((-12)/(-912)). Let b = 0.31 + -2.31. Which is smaller: b or y?
b
Let l = 30992 + -30991. Is l at least -29/137?
True
Suppose 457 = -5*h - 4*p, -138 = 2*h + 2*p + 44. Let i be ((-1)/(-1))/((-1)/h*1). Let v = 93 - i. Which is smaller: -1/16 or v?
-1/16
Let z = -7894 + 7892. Is z > -2092?
True
Let b = 17546343/573631 + 1/33743. Which is smaller: 32 or b?
b
Let v(u) = u**3 - 9*u**2 - 5*u + 12. Suppose -3*m = -4*h - 9, 5*h + 2*m = -0*h + 6. Suppose 81 = 9*c - h*c. Let x be v(c). Is x >= -34?
True
Let d be (-2267)/(-56) - (-1 - (-7)/8). Let z = -286/7 + d. Let v = -1 - -1.05. Is z >= v?
False
Let i be (-160)/(-25)*(-30)/(-12). Suppose -2*c - i - 6 = -t, -2*c = -4*t + 58. Let l = -35 - -43. Which is smaller: l or t?
l
Suppose -2*l + 4*l = 8. Let x be 0/(-3) + l + -2. Suppose -7*k = -x*k + 5. Is k <= -26?
False
Let f = 2033211/58 - 35053. Let y = 436 - 12648/29. Let j = f - y. Which is smaller: j or 2?
2
Suppose -128 + 18 = -11*p. Suppose 31*y + p = 816. Which is smaller: -4 or y?
-4
Let h(s) = 4*s**3 - s**2 - 4*s - 14. Let o(y) = -y**3 - y**2 - y + 1. Let j(g) = -h(g) - 3*o(g). Let q be j(5). Which is smaller: 24 or q?
q
Let v = 17006 - 17193. Which is bigger: v or -197?
v
Let w = 10847.617 - 10837. Let r = w + 0.383. Which is smaller: -0.05 or r?
-0.05
Suppose 10*q - 2 - 38 = 0. Suppose q*l - 3*a - 4 + 5 = 0, -2*a = -l + 1. Which is smaller: l or 2/233?
l
Let n(g) = -2*g**3 - 2*g + 2. Let q be n(-3). Suppose -2*b - 5*i = -118, -118*i + 120*i = -5*b + 316. Is q greater than or equal to b?
False
Suppose 4 = g - 3*g, 2*s - 3*g - 32 = 0. Let u = -8 + s. Suppose -2*t + u + 3 = 0. Which is smaller: t or 6?
t
Suppose -117*a + 12 = -115*a. Let k(h) = 2*h**3 - 12*h**2 - h + 7. Let o be k(a). Is o equal to -10/71?
False
Suppose 15*r - 6*r = -2889. Let u = 316 + r. Do -3 and u have different values?
True
Let l be 6/(-8) + 70/(-180)*356/(-168). Which is smaller: l or 102?
l
Let i = -208.2 + 208.2. Which is smaller: -15072 or i?
-15072
Suppose -11*v + 278 = -3*r - 12*v, r + 2*v = -101. Which is smaller: r or 0?
r
Let i = 22741/25290 + 2/2529. Suppose 2*x + 13 = -4*a + x, 2*x = -4*a - 10. Let m be a/(-3)*27/18. Which is smaller: i or m?
i
Let w be (-594)/162*(-40)/66. Let i be 28/(-7) + 5*1. Is i equal to w?
False
Suppose 3*q - 5 + 8 = 0. Let t be (q/3)/((6/1)/(-378)). Which is bigger: 20 or t?
t
Let b = -0.3 + -0.1. Suppose z - 