 = -12 + 57. Suppose 0 = 3*d - q. Suppose 5*r = 0, -3*r = d*w + 1 + 32. Which is bigger: w or -10?
-10
Let a be 12/(-60) - (-149)/(-5). Let y be (8/12)/((-2)/a). Which is smaller: y or 9?
9
Let n = -15723/5 + 3159. Let y = n - 12. Is 2 less than or equal to y?
True
Let k = 1.687 - -552.313. Is k > 0?
True
Suppose 2*y = -5*r + 201, 54 = r - 0*r + 5*y. Are r and 38 non-equal?
True
Suppose -g - 9 = 5*t, 2*t - 3 + 13 = -2*g. Let s = -9588/11 - -181512/209. Which is bigger: s or g?
s
Suppose -2*t - 3*b - 3 = 0, 0 = t - 0*t - b - 1. Is -15/22 at least as big as t?
False
Let p = -4094 - -4114. Let v = 34 - 13. Is v less than or equal to p?
False
Let h(z) = -z**3 + 5*z**2 + 5*z + 7. Let n be h(6). Let p = -229/975 + -17/75. Is p greater than or equal to n?
False
Suppose x + 593 = 5*z, -1755 = 3*x - 21*z + 18*z. Which is smaller: x or -582?
x
Let h be (-2 + 5 - 14) + -7. Is -17 equal to h?
False
Suppose 0 = -2*j - 2, i + 380 = -i + 4*j. Let t be (-4441)/(-23) + -1 + 0. Let r = t + i. Does r = 0?
False
Let v = -19 + 31. Let d be (9857/(-30))/((-18)/v). Let t = d + -219. Is t at least as big as 1?
False
Let w = 273 - 19. Let x = w + -2264/9. Is 2 greater than or equal to x?
False
Let k be (-2)/1 + 3*(-6)/9. Let c be (k/4 - 5) + -1. Which is smaller: -3 or c?
c
Suppose 0 = -v - 2*a - 9 + 4, -4*a = -v + 7. Let d be (-12)/5 - (-2)/1. Let q = d + 19/10. Which is bigger: v or q?
q
Let q = -483 + 507.1. Let g = -24 + q. Is 6 at most as big as g?
False
Let g = 50059/4 - 12588. Which is smaller: -72 or g?
g
Let x = -50/11 + 796/209. Is x at most as big as 0?
True
Suppose 0 = 5*m - 3*g + 67, -4*m + 2*g - 68 = m. Let n be 7/14*-30*(0 - -1). Is m less than n?
False
Let n = 0.01 - -0.14. Let z = -0.35 + n. Is z smaller than -0.08?
True
Let l = -9.5 - -8. Let r = l + 0.5. Let s = 5 - 6. Is r equal to s?
True
Let j = -6.6 - -1.6. Let a = j - -5. Which is smaller: a or 12?
a
Let g be -1 - 0 - (-4 + 2). Let b(k) = k**2 - 9*k + 4. Let o be b(9). Suppose -p = -w - 3*p - o, 5*w - 4*p = 36. Which is bigger: g or w?
w
Suppose -5*n = -0*n - 15. Let k be n*-1*(-12)/9. Suppose -k*j = -2*w - 22, 2*w - 3*j + 14 = 3*w. Which is smaller: w or -1/4?
w
Let h(x) = x**2 - 7*x - 7. Let n be h(8). Let w(y) = 4*y**3 + y**2 + y - 1. Let l be w(n). Suppose 0 = -2*a - 8, -l*a - 22 = 2*p - 4. Does p = -2?
False
Let o be 0 + (54 - 0) - -2. Let v be (-42)/o - (-182)/8. Which is smaller: v or -1?
-1
Let l be 4*((-22)/(-8) + -2). Is l at most 7?
True
Let n = 5.835 - 21.59. Let m = n - -15.7. Is m greater than 0?
False
Suppose 2*f + 5*z = -2*f + 534, 548 = 4*f - 2*z. Is 132 less than f?
True
Suppose -4*g + 3 = -g. Suppose -4*u - 114 = -n, 0 = -2*u + 2*n + 3*n - 66. Let t be ((-3)/9)/(u/24). Is t smaller than g?
True
Let s(h) = -h + 4. Let z be s(3). Suppose p = 5*o + 7 + 5, -2*p = 2*o. Let d be (13/(-65))/(o/(-25)). Are z and d nonequal?
True
Suppose 0*l - l + 42 = 4*k, 0 = -5*k - 2*l + 54. Suppose -9 = -p - 2*b, -b + 20 = 3*p - 2*b. Let g = p - k. Is -7/3 bigger than g?
True
Let l(p) = p**3 - 39*p**2 + 39*p - 33. Let b be l(38). Is b > 61/13?
True
Let t = -48 + 76. Let x = t + -26. Is 2 at least as big as x?
True
Let c be 654/465 + 7/(105/6). Is 3 greater than c?
True
Suppose -2381 = 5*q + s, -4*s = -0*q - q - 472. Let y be (-2)/(-4)*(-3)/(63/q). Which is bigger: 10 or y?
y
Suppose 2*f - 562 = 5*s, -5*s - 5*f - 408 - 147 = 0. Is s > -114?
True
Let b = -138 - -142. Suppose 0 = -4*h - 0*h. Suppose h = 2*o - o - 1. Which is greater: b or o?
b
Let s be 1*(-2)/(-3) + -5. Let f = -95.1 + 94.1. Is s at least as big as f?
False
Let c(b) = b**3 - 11*b**2 - 34*b + 42. Let l be c(14). Which is bigger: 155 or l?
155
Suppose 4 + 36 = -5*b. Suppose 9 = x + y, 2*y = -3*y + 25. Let u = -4 - x. Is u at least as big as b?
True
Let a be (111/(-6) - -2)*-2. Let n be a/30 - (-3)/(-5). Let r be 2/4*(-4)/(-2). Are r and n unequal?
True
Suppose 4*t = 5*t - 2. Suppose -t*y + x = -147, -86 = -y + 5*x - 2*x. Let m = -211/3 + y. Which is greater: m or 1/2?
m
Let m be 0/(4 - -2) + (0 - 41). Which is smaller: m or 5?
m
Let a = 260 + 324. Which is smaller: 586 or a?
a
Let h be 2/1 + (-11824)/68 + -2. Let m = h - -174. Let r = 2 - 3. Are m and r unequal?
True
Let r(l) = -11*l - 33. Let w be r(-2). Suppose -2*i + 13 = -3*i. Are i and w non-equal?
True
Let z be (-1900)/60 + (-2)/(-12). Which is smaller: -33 or z?
-33
Let i = -1596 + 2457. Let r = -19806/23 + i. Which is greater: r or 1?
1
Suppose -154*q = -167*q - 26. Is -3 greater than q?
False
Suppose 67 = -4*v - 61. Suppose 0 = 16*r - 2*r + 462. Is r > v?
False
Let l(x) = 2*x**2 + x - 1. Let i be l(1). Let u be -11 + 18 - (3 - -1). Which is smaller: u or i?
i
Let r be -300*(-2 - (-36)/15). Let d = r + 147. Is d > 25?
True
Suppose -5*h + 4*y - y + 6 = 0, -y = 2*h + 2. Suppose 0 = -12*d - 275 + 59. Let k be (-21)/d*(-3)/(-28). Is h equal to k?
False
Suppose 5*p + 28 = -22. Let k be (-4)/p*(-746)/4. Let t = k - -75. Which is smaller: -3 or t?
-3
Suppose 0 = -j - 4*j + 20. Let z(u) = -u**2 + 14*u - 13. Let d be z(13). Suppose 3*a - 1 = -2*f, 5*a - 5 = -j*f - d*f. Is a > -5?
True
Let j(z) = 3*z - 5. Let g be j(4). Let q = -6 - -14. Let s = q + -2. Is g at most as big as s?
False
Let o(k) be the second derivative of -k**5/20 - 7*k**4/12 - 5*k**3/6 + 3*k**2 + 2*k. Let d be o(-6). Let j be (4/(-84))/((-2)/(-4)). Is d equal to j?
False
Let i = -44 - -40. Suppose 2*y + 2*u - 28 = 0, 0*u - 55 = -4*y - 5*u. Let c = y + -17. Is i at least c?
False
Let j(a) = a**3 - 15. Let u(o) = -1. Let b(c) = j(c) - 4*u(c). Suppose -6*z = -3*z. Let f be b(z). Which is bigger: -10 or f?
-10
Let f(o) = -2*o + 2. Let j be f(-2). Suppose j = -2*a + 2*k, k - 21 = 5*a - 2*k. Let t be -11 + (-16)/((-4)/1). Is a at least t?
True
Let h be (-6 + 8)*(-3 - -2). Let c be (-4)/(-140)*h/39*-3. Is c <= 1?
True
Let z = -1240 - -53318/43. Which is smaller: z or -1?
-1
Let p = -3 - -7. Let m be 3/p*(-20)/(-5). Suppose 2*x = m*x. Is x smaller than 1?
True
Let c(v) = 3*v**2 + 2*v. Let m be c(-2). Let x(u) = -u**3 - 7*u**2 + u + 6. Let y be x(-7). Let l be -1*(19/(-3) + y). Do l and m have the same value?
False
Suppose -n - 10*n = -22. Let a be 48/((-4)/8 + 3/n). Is a at most 49?
True
Let b = 23654/5 - 22671/5. Let m = -196 + b. Is 1 less than m?
False
Let q(n) = -4*n**2 + 87*n - 64. Let z be q(21). Let g be ((-1)/5)/((-104)/10). Which is greater: g or z?
g
Let z = 1 - 1.04. Let o = -690 + 690.26. Let j = o - z. Which is smaller: j or -2?
-2
Let a = -22121/5736 + 135/239. Let u = a + 21/8. Which is smaller: u or 0.07?
u
Let l = -1032075/1723 - -599. Let c = l - -8599/13784. Which is smaller: 1 or c?
c
Let n = 4 - -9. Let z = n + 4. Let t be (1/(-3))/(z/(-3)). Which is greater: t or 1?
1
Let h = 113/99 - 15/11. Suppose 0 = -3*i + 2*a - 8, 3*i + a = -3*a + 16. Let d(t) = t**2 - t - 1. Let z be d(i). Which is bigger: z or h?
h
Let t(a) = -2*a - 5. Let r = 28 - 19. Suppose p = 4*p + r. Let h be t(p). Is 1 not equal to h?
False
Let p(v) = 12*v - 78. Let r be p(13). Which is smaller: 81 or r?
r
Let b = -89 - -162. Let m = -71 + b. Is -6/11 > m?
False
Suppose 5*c = 557 + 238. Which is smaller: c or 156?
156
Let l = 1074 + 693. Let p = -136062/77 + l. Which is smaller: 0 or p?
p
Let n = 34 + -33.906. Let o = 0.994 - n. Which is smaller: o or -0.1?
-0.1
Let a(q) = -5*q**2 - 6*q - 1. Let p(z) = -11*z**2 - 11*z - 2. Let u(f) = -9*a(f) + 4*p(f). Let k be u(-8). Let r be 1/(-35) - (-6)/k. Which is greater: r or 1?
1
Let d = -167 - -159. Is -4/11 <= d?
False
Let b be (-938)/(-4) - (-4 + 54/12). Suppose -b = -11*z - 3. Is 21 < z?
False
Let s(z) = -z**3 + 2*z**2 + 16*z - 19. Let b be s(5). Let h(d) = -3*d - 2. Let i be h(2). Let g be b/i + (-15)/(-60). Which is smaller: g or -1/4?
-1/4
Let z(h) = -h**3 + 3*h**2 + 4*h - 2. Let a be z(3). Let n be 4/a + 58/(-120). Let k(s) = -s**3 - 53*s**2 + 49*s - 269. Let q be k(-54). Is q smaller than n?
False
Let k = 67 + -29. Let d be 2/7 - 4/14. Which is smaller: d or k?
d
Let h(p) = 7*p - 78. Let l be h(18). Which is greater: l or -6?
l
Let f be (4/8*-10)/1. Let p be (-2)/f*(-3 + -2). Which is greater: p or -4?
p
Let s = 0.051 + -25.051. Let x = s - -24.1. Let j be 3/20 - 2/(-8). Which is greater: x or j?
j
Let c(g) be the second derivative of -g**3/6 + 18*g**2 - 26*g. Let j be c(10). Which is sma