 = -14 + d. Do -3 and b have the same value?
False
Let t = 150 + -277. Let s = 644/9 - 3511/18. Let c = s - t. Which is bigger: c or 1?
c
Let s be ((-6)/4)/(2/(-4)). Suppose -75 = -2*f - s*f. Is 16 at most as big as f?
False
Let l be (333/(36/(-4)))/1. Is -33 smaller than l?
False
Suppose 4*l + 10 = -2. Suppose 5*i - 2*u - 28 + 7 = 0, 3*u - 21 = -3*i. Suppose -4*v = -3*a + 5 + 3, -5*a - i = -3*v. Is a > l?
False
Suppose -22 = -2*x + 2*j - 24, 0 = 2*x - 4*j. Is -36 bigger than x?
False
Let p(u) = -u**2 - 4*u + 1. Let h be p(-8). Let i = -64 + 92. Let f = i + h. Is f greater than -2?
False
Suppose g + 0*g = 6*g. Suppose -k - 5 = -i, g*i + k = -4*i. Is i > -23/4?
True
Let d be 101*7/7*(-2 - -1). Which is smaller: d or -1?
d
Let u = 103 - 53. Suppose -610 - u = 5*q. Let m be 1/2 - q/(-360). Is 0 at most as big as m?
True
Let u = -804 - -13672/17. Which is smaller: u or -1?
-1
Let r = 14/3 + -103/24. Is r != 8?
True
Let o be 580/(-3)*(-36)/(-30). Which is bigger: o or -230?
-230
Let j be ((-2)/(-25))/(21/15). Which is greater: 0 or j?
j
Suppose -2*d + 4*d = 2. Let b be -10*(d - (-9)/(-15)). Are b and -5/2 nonequal?
True
Let o(w) = w**3 - 18*w**2 + 54*w + 29. Let u be o(14). Is u at most as big as 3/310?
False
Suppose -2*f = 2*o - 5*f + 21, 4*o + 27 = 3*f. Let w be ((-3)/(-15)*o)/11. Which is greater: w or 0?
0
Let q = -27 + 27.1. Let j = -1.6 + q. Let k = j - -1.6. Which is greater: k or 0.19?
0.19
Suppose -1 = -4*j + 11. Let w be 48/3*2/8. Is j not equal to w?
True
Suppose -22 = -3*p + w, 0 = -3*p + p - 3*w. Suppose -2*s + 30 = 2*u, 0 = 2*s - 87*u + 88*u - 26. Which is smaller: p or s?
p
Let c = -1159 - -1159.46. Which is greater: c or 0?
c
Let v = -94.9 + 91. Let n = -4.03 - v. Let x = -0.09 - n. Which is bigger: x or 2/3?
2/3
Let w be 2/(-1)*1/4. Let g = -150477/37 + 4067. Which is greater: g or w?
g
Let f = -1041 + 1573. Let y = -10111/19 + f. Is 0 at most y?
False
Suppose 23*l - 26*l = 300. Let y = 100 + l. Which is smaller: y or 1/15?
y
Let f be 0 + -3 + (-18)/(-3). Suppose j + 4 = f*j. Suppose -3*i = -j*i. Which is smaller: 1/14 or i?
i
Let t be 2/(-8) - (-2 - 3/(-4)). Which is greater: t or -1/7?
t
Let b = 21 - -11. Let w be ((-4)/b)/((-15)/(-100)). Let z be 2 - 1/(1/2). Which is smaller: w or z?
w
Let g = 0.149 - 0.049. Let x = -0.42 + 0.5. Let f = -0.01 + x. Is f at most as big as g?
True
Let t(x) = -5*x**2 + 3*x + 3. Let d be t(2). Suppose 4*m = 5*m - 6. Let s = d + m. Which is smaller: -6 or s?
-6
Let r = 1485.373 - 1482. Let s = r - -0.137. Let d = 3.5 - s. Is d != 1?
True
Suppose 0*k - 4*k = -8. Let n be ((-6)/39)/(-1) - 0. Let c = 47/52 - n. Which is bigger: k or c?
k
Let p(f) = f**3 - 6*f**2 - 11*f + 10. Let g be p(7). Suppose 5*s = 5*j + 55 + 15, 3*s + 72 = -3*j. Let z = g - j. Is 8/15 not equal to z?
True
Let i(n) be the first derivative of n**2/2 + 4*n - 4. Let d be i(-7). Let z be d - 5/(-3) - -1. Which is smaller: z or 1/3?
z
Let o(h) = 2*h**3 - 96*h**2 + 3*h + 43. Let d be o(48). Is 186 less than d?
True
Suppose -179 = 3*p + 139. Let r = -72 - p. Suppose 5*x + 2 = 2*j - 3, 3*x + 5*j = -r. Which is greater: x or -3/2?
-3/2
Suppose -3*k + 4 = 2*x - 3*x, 4*x = -3*k + 14. Suppose -2*y = -x*z, 2 = 3*z - 5*y + 8. Which is bigger: 7/4 or z?
z
Let s = -2203.1 + 2106. Is s <= -1?
True
Let w be 1*(-8)/80*0. Which is smaller: 1/1042 or w?
w
Suppose 80 + 10 = -5*x. Let r be (-1 + 0)*-1*-11. Let v = r - x. Which is greater: 0 or v?
v
Let u = 6 - 5.7. Let k = 443/4 - 111. Is u at least as big as k?
True
Let v(f) = 1 - 12*f + 0*f - 7*f. Let z be v(3). Let m be (-2)/z + 1/4. Is m greater than or equal to -0.5?
True
Let t be (-921)/136*(-20)/30. Let l = t + -19/4. Which is smaller: l or 0?
l
Let y = -859/4 + 216. Let m = 10 - 15. Let i be 3/4*(m/(-3) - -1). Which is greater: y or i?
i
Let t(b) be the first derivative of b**4/4 - 4*b**3 + 5*b**2 + 3*b - 5. Let l be t(9). Let u be l/40 + (1 - -2). Is -1 not equal to u?
True
Suppose -3*p + 4 = -2*p. Suppose l = -p*l + 5. Let h be 1/2*l*14. Are 9 and h equal?
False
Suppose -50*r = -56*r. Let c = -1132/7 + 161. Is r at least c?
True
Let c = -0.2275 + -0.7725. Are -2/2311 and c equal?
False
Let u = -137/11 + 136/11. Are -0.1 and u nonequal?
True
Let x = -15.04 - -15. Let j = 0.03 + x. Let c = j + 0.02. Is 0 greater than c?
False
Suppose -3*y + 7*a = 2*a, 0 = -3*y + 3*a + 6. Let v be 4*-1*10/(-20). Is v greater than or equal to y?
False
Let j = -29 - -29.23. Let f = j + -0.23. Which is greater: f or 9?
9
Let o be (-5 - 7) + 75306/6272. Which is smaller: o or 1?
o
Let p be -2 + 1 + 12 + 4. Suppose 5*d - p = -5. Let f be d/7*(-4)/(-8). Is f > 1?
False
Let g(f) = -f**3 - 7*f**2 + 2*f + 14. Let i be g(-7). Which is bigger: 30 or i?
30
Let j(q) = 2*q**2 - 13*q + 18. Let l be j(8). Is 42 not equal to l?
False
Suppose -z + 2 - 3 = 0. Let f be (-6)/(-42) - z/(-7). Suppose -3*a - c = -2*a, f = -2*a + 2*c. Which is bigger: a or 2/19?
2/19
Let d(c) = -c**3 + 2*c**2 - 9*c + 169. Let g be d(0). Which is smaller: g or 168?
168
Let o(r) = -r - 4. Let k be 3/(6/4) + -8. Let g be o(k). Let u be ((-98)/(-105) + 4/(-30))*5. Which is bigger: g or u?
u
Let h(f) = -45*f - 1. Let s be h(1). Let m = 323/7 + s. Let b = -0.7 + 0.4. Which is bigger: m or b?
m
Suppose -f = -4*o + 8, -o - o = -5*f - 22. Let h = 3329/6 + -558. Is h <= f?
False
Suppose -4*i + 3*z - 1108 = 0, -5*i - 179*z = -180*z + 1385. Which is smaller: i or -275?
i
Let w = 214.9326 + 0.0674. Which is bigger: -0.1 or w?
w
Suppose -3*w = m + m + 55, -5*m = -w + 10. Let y be ((-6)/w + 13/(-45))*-2. Is 1 at least as big as y?
True
Let x = 25 - 243. Is x at least as big as -217?
False
Let r = -5188 - -1644605/317. Is -1 greater than r?
False
Let v be (-2)/(68/9*(-8)/(-48)). Is v at least -3?
True
Let x = 283.9 + -285. Let v = 0.14 + 1.86. Which is smaller: v or x?
x
Let v(r) = -2*r - 11. Suppose 0 = -6*g + 7*g + 6. Let y be v(g). Let l = 107/3 - 1183/33. Which is greater: y or l?
y
Let u = -0.6495 + 6.8115. Let z = u + -6.2. Which is smaller: z or 0.1?
z
Let p = -796 - -799. Which is greater: p or 6?
6
Let s = 31 + -60. Let o = -38 - -68. Let r = o + s. Is r less than or equal to -4?
False
Let s be 2/(-6) + 0/(-1). Let u(t) = 2*t**3 + 10*t**2 - 4*t - 12. Let x be u(-5). Suppose 0 = x*l + 2*l + 10. Which is smaller: s or l?
l
Suppose 2908*q - 2900*q - 48 = 0. Let j = -11 + 17. Is q at least j?
True
Let z = 647.1 + -647. Let k be ((-6)/(-9))/((-2)/(-15)). Suppose k = 5*a - 20. Which is smaller: z or a?
z
Let a be 1/(1 + 4/(-3)) - -1. Let q be (-1163)/377 - -3 - a/13. Let d be 1 + (-1 - -2) - 1. Is d greater than q?
True
Let y be 2 + (-3)/(9/(-6)). Suppose h + y = -9. Are -0.1 and h equal?
False
Suppose -4*r = -2*r - 8, k + 3*r - 11 = 0. Suppose 0 = 6*o + 23 + 67. Let p be o/45 - (-1)/6. Is k bigger than p?
False
Let t = 9 - 6. Suppose 2*f + 3 = t*z, -3*f + f + 1 = z. Is 1/12 at least as big as f?
True
Suppose 3*x + 275 = 6*x - 5*d, 4*x = 4*d + 364. Let y be x/(-115)*5/15. Which is smaller: -1 or y?
-1
Let n = 835 - 932. Do n and -96 have the same value?
False
Let g(o) = 2*o**3 + 27*o**2 + 13*o + 20. Let i be g(-13). Which is greater: 13 or i?
i
Let j(u) = u**3 - 4*u**2 - u + 5. Let z be j(4). Let k(w) = -2*w**2 + 7*w - 1. Let a be k(-4). Let f = 245/4 + a. Which is bigger: f or z?
z
Suppose 10 = 2*s, -3*c + 3*s - 2 = 4. Suppose 4*f + 25 = -c. Are -7 and f non-equal?
False
Let f = -11.97 - -12.12. Which is bigger: f or -30?
f
Let i(z) = 8*z + 175. Let l be i(-22). Which is smaller: l or -1/336?
l
Let m(l) = -18*l - 271. Let a be m(-15). Suppose 20 = -r - 2*u, -4*r + 3*u + 5 = -3*r. Let k be (-9)/(-150)*r/(-12). Which is smaller: a or k?
a
Let g = 2 - 1. Let u be 65/260*((-78)/(-41) + -2). Is g at least u?
True
Suppose 121*c - 214 = 28. Is 36/37 bigger than c?
False
Suppose 3*y - 37 = -o, 3*y - 3*o = 26 + 31. Suppose -94 - 48 = -10*b - 12. Which is smaller: y or b?
b
Let f = 1.431 - -2.569. Are -0.2 and f non-equal?
True
Suppose 14 = i + 15. Suppose 4*j = j - 6. Is j >= i?
False
Let w(m) = -5*m + 11. Let c be w(-7). Are c and -2 unequal?
True
Let j be (3 + -78)/(14 - 9 - 6). Let s = -5 + 3. Is s at most as big as j?
True
Suppose 7*n = 4*n. Let p be (2/44)/(3/(-6)). Is n greater than or equal to p?
True
Let s be 33/(-11) + ((-36)/26 - -3). Which is greater: s or 2/5