et p = -0.38 - g. Which is bigger: p or 0?
p
Suppose -126*d + 129*d = -924. Let l be (-7)/d*36/39. Which is bigger: -1 or l?
l
Let h = -35 - -18. Let s = 305.9 + -323. Let f = -17 - s. Is h < f?
True
Suppose q - 3*i = -i + 6, 6 = -q - 2*i. Suppose q*k = -5*k + 10. Suppose 8 = k*m + 4. Which is smaller: 3 or m?
m
Let f = 70 - -77. Which is smaller: f or -2/3?
-2/3
Let x(l) = 5*l**2 + 10*l - 2. Let n(k) = 11*k**2 + 20*k - 5. Let r(u) = 4*n(u) - 9*x(u). Let b be r(-10). Let w be (-2)/(10*b/(-4)). Which is smaller: w or 0.2?
w
Let c be (-1611)/(-48)*2/(-996). Let k = -3/83 - c. Which is smaller: 0 or k?
0
Let g = -6961 + 6974. Let i = 61 + -22. Suppose l = 4*l - i. Is l >= g?
True
Let g(c) = -c**3 + 10*c**2 + 11*c + 21. Let s be g(11). Suppose s*q - 102 = -270. Suppose -16 = 4*w - 4. Which is smaller: w or q?
q
Let z be (-20)/(-15)*2*(-7)/(-4536). Is z at most 0?
False
Let c(r) = 4*r + 48. Let q be c(-11). Let t be (-4)/(-4) - 6*q/(-6). Is t at most as big as 0?
False
Let g be (148/(-20) - -7)*1*-60. Is 21 bigger than g?
False
Let a be 3/(-45)*17 - (-2)/6. Which is greater: a or -2?
a
Let p = 979 + -978. Which is smaller: p or 2/749?
2/749
Let x = -0.45 + 0.15. Which is smaller: 22 or x?
x
Suppose 2*h = 3*h - 157. Let l = -613/4 + h. Let j = -4 + l. Do j and 0 have different values?
True
Let z be 22/(-33)*3/2 + 3. Suppose 4*i + 2 = -0*i - z*h, 0 = -5*i + 4*h - 22. Is -1/2 less than i?
False
Let m = -481 + 782. Let a be m/100 + -6 + 3. Is a greater than or equal to 0?
True
Let h = -944 - -799. Which is smaller: -146 or h?
-146
Let v = -1 - -3. Let b be (18/45)/((-1)/(-15)). Suppose -b = 3*q + 4*n, -5*q - 8 = -4*n + 2. Which is smaller: v or q?
q
Let b = 61 - 26. Let u = b + -31. Let a = 6 - u. Which is greater: a or 11?
11
Suppose -15 + 0 = -5*x. Suppose 2*m + 5*w = -1, 4 + 4 = x*m - 2*w. Which is smaller: -2/5 or m?
-2/5
Suppose -2*d - 3*c + 12 = 6, 2*d - 6 = -2*c. Are d and 6/7 nonequal?
True
Let j(q) be the third derivative of -q**6/60 - 11*q**5/60 + 7*q**4/24 + 7*q**3/6 - 4*q**2. Let l be j(-6). Let o be (1 - 1)/(2/(-1)). Are o and l equal?
False
Suppose -20*q + 15*q = 0. Which is smaller: q or 1/402?
q
Let h(l) = -1977*l + 146. Let z be h(1). Is z less than or equal to -1832?
False
Let l(a) = 19*a**3 - a**2 - 2*a + 2. Suppose -7*f = -3*f - 4. Let z be l(f). Is z >= 18?
True
Let p be 0 + 17 - (-8 + 5). Let h = -26 + p. Are h and -6 equal?
True
Let p be (-791)/12 - (319/(-44))/29. Which is greater: -66 or p?
p
Let c be 0*5/(25 - 5). Which is smaller: -36/47 or c?
-36/47
Let j = 7.444 + 0.156. Which is smaller: j or 2/11?
2/11
Suppose 5*k - 86 = 174. Suppose 3 = -g, 0*y + k = -4*y + 4*g. Let c = -140/9 - y. Does 1 = c?
False
Let s(h) = h**2 - 42*h + 271. Let d be s(7). Which is bigger: 7 or d?
d
Let w = -40129/39 + 1029. Let a = 479 + -478. Is a less than or equal to w?
False
Let k = 3465 - 3464. Let v be (1/(-2))/(2/(-580)). Let c = -571/4 + v. Which is bigger: k or c?
c
Let k(r) = r**3 + 13*r**2 - 16*r + 34. Let c be k(-14). Let v = 64 - c. Are 7/11 and v equal?
False
Let b be (3 + 213/(-9))/((-30)/(-27)). Which is greater: b or -18?
-18
Suppose -4*x + 5*m = -25, -3*x + m = -3*m - 18. Let r be ((-12)/x)/(8 + 1414/(-175)). Which is smaller: 12 or r?
12
Suppose p + 66 = -5*p. Let h be -4 - ((-7)/p + -5). Which is bigger: 1 or h?
1
Suppose 5*j = -3*m + 2*j + 9, 0 = 5*m - j - 3. Let u(l) = 34*l**3 - l**2 + l - 1. Let x be u(m). Let o = 26 - x. Is -5 bigger than o?
True
Let h be 1*-5 + (-104 - 17). Which is bigger: -127 or h?
h
Let m = -444.9 + 444. Which is smaller: 0.3 or m?
m
Let x be (95/(-25) + -1)/((-1)/5). Let i = x - 30. Is -5 at most i?
False
Let i = -0.255 + 0.381. Is 1 equal to i?
False
Let j be 0 + (-6)/(-8) + 15741/(-44). Does -356 = j?
False
Suppose -n = -3*p + 132, 0 = -38*p + 35*p + 6. Which is smaller: -125 or n?
n
Suppose -34*s + 845 = 31*s. Is s > 27?
False
Let u be (2 - 39/30)*50/20. Which is bigger: -4 or u?
u
Let g be (14 - -1)*(-4)/(-10). Let k(y) = 17*y + 11. Let p(m) = 9*m + 6. Let w(c) = -6*k(c) + 11*p(c). Let b be w(-2). Are g and b equal?
True
Suppose -4*s - 41 = 5*x, -15*s + 16*s - 5*x = 21. Which is greater: s or 40?
40
Suppose 0 = -3*f + 25 + 65. Let b = 28 - f. Which is bigger: -1 or b?
-1
Let w = -413 - -4121/10. Is w equal to 0?
False
Let i = 433 - 435.77. Let j = i + -0.23. Which is smaller: 4 or j?
j
Let u(t) be the third derivative of t**5/30 - 7*t**4/12 + t**3 + t**2. Let g be u(7). Suppose 0 = 3*k - 12, g = -2*y + 2*k - 0. Is 1 smaller than y?
False
Let f be 13/(-208)*30*114. Is -213 bigger than f?
True
Let z = -37 + 38. Let v = 256 - 1019/4. Is z less than or equal to v?
True
Suppose -8*k - 26*k = 0. Are -50/13 and k equal?
False
Let u = -51 - -54. Let j = 11 - 6. Suppose -q = -4*q + 5*x - 13, u*q = -j*x + 7. Do 2/23 and q have different values?
True
Let q(v) = v**2 + 12*v + 10. Let t(c) = c**3 - 5*c**2 + 2*c - 3. Let g be t(4). Let f be q(g). Which is smaller: -2/65 or f?
f
Let n(p) = -p. Let h(d) = -d**3 - 14*d**2 - 5*d - 20. Let a(s) = h(s) - n(s). Let y be a(-14). Which is smaller: 37 or y?
y
Let l = 3 - 0. Let i = 2.9 - l. Let v be 2/(-7) - 207/(-63). Which is smaller: v or i?
i
Let o = 0 - -3. Suppose 5*y = 2*a + 25, 2*a = -0*a + 4*y - 20. Suppose a = -o*j + 3. Is j at least 2/25?
True
Let z = -379 + 621. Is z at most 241?
False
Let k = -0.3 - -0.2. Let i = 49 - 49.2. Which is bigger: k or i?
k
Let p = -218 - -321/2. Let u = p - -57. Is u at most as big as 3?
True
Suppose t - 4*l = -15, 4*t + t - 5*l + 15 = 0. Which is smaller: 6/167 or t?
6/167
Let x = -416793/163 - -2557. Which is greater: 0 or x?
0
Suppose -2602 = -4*r + 2*g, -3*g + 8*g + 1321 = 2*r. Suppose 3*o - 9*o - r = 0. Which is greater: -109 or o?
o
Let k = 77.8 - 77.7. Which is bigger: -340 or k?
k
Let f = 896.06 - 896. Is f at least as big as 192?
False
Let f = 11464 - 80503/7. Let l(b) = b**3 + 9*b**2 - 3*b + 9. Let y be l(-9). Let w = y + f. Which is greater: w or 0?
0
Let q = -1148 - -1545. Which is bigger: q or 396?
q
Let r = -68175/7 - -9795. Are r and 0 unequal?
True
Let f = -3 - -7. Suppose 0 = -2*a + l - 1 - 1, f*a + l - 2 = 0. Which is smaller: 3/10 or a?
a
Suppose 25*g + 12*g = 15*g. Let s be (-2)/88*(-8)/(-3). Is s greater than g?
False
Suppose 16 = 4*s + 4*k, 14 - 1 = 4*s + k. Suppose s*u - 72 = -f, 3*f + 72 = 3*u + 5*f. Is 24 equal to u?
True
Let d = -235 + 231. Is -19/7 bigger than d?
True
Suppose o - 529 + 106 = 0. Let h be 0 - o/35 - (-158)/553. Which is smaller: -12 or h?
-12
Let j = 2 - 3. Let c be 10 + -10 - -2*14. Let x be (-6)/(-9)*(-12)/c. Are j and x unequal?
True
Let c = 1918 + -2038. Are -4 and c equal?
False
Let d be 14/(-6)*(-38)/(-133). Let w = -8.84 - 0.16. Which is smaller: d or w?
w
Let v = 4/1317 - -9203/5268. Suppose 2*n + 3 = 3*n. Which is bigger: v or n?
n
Let r = 4 - 16. Let p be (34/3)/(1/(-3)). Let i = p + 23. Does r = i?
False
Let p(v) = -2*v**2 - 10*v - 1. Let x be p(-5). Let r = -13 + 7. Which is smaller: x or r?
r
Let x = -9.956 + 10. Let z = x - -0.056. Let r = 0.19 + -0.2. Which is greater: z or r?
z
Let n be (-64)/110 - ((-88)/20 + 4). Is n < -1?
False
Let a = 0.152 - 0.132. Does a = -1/3?
False
Let c(s) = 2*s**3 - 6*s**2 + 10*s - 11. Let y be c(-11). Let m be (-880)/y - 4/22. Which is smaller: m or 0?
0
Suppose -50*j = -21*j - 522. Is 12 not equal to j?
True
Let u = 0.0147 + 2.9853. Is 45 at least u?
True
Let z be ((-2)/(-4) - 1)*-6. Let k = -3 + z. Let r be -1*((3 - 3) + k). Is r less than 4/5?
True
Let i = -0.217 - -16.817. Which is greater: 0 or i?
i
Let h = -2/89 - -196/801. Let q(s) = s**2 - 4*s + 4. Let b be q(3). Which is bigger: h or b?
b
Let f = 134 - 133. Let q = -0.07 + 4.07. Let s = q + -6. Is f > s?
True
Suppose -4*n + 3*d = 8 + 5, 0 = 2*n - d + 5. Let s be 85/119 + 2/7. Let i be 6*(0 - s/4). Which is greater: i or n?
n
Let f be 2*1 + 26/(-12). Let z = -50 + 50.1. Is z at least f?
True
Let o = 0.561 - 0.608. Which is smaller: o or -3?
-3
Let m(g) = -3*g**3 - 14*g**2 + 6*g + 3. Let j(a) = -a**3 - 5*a**2 + 2*a + 1. Let u(w) = 11*j(w) - 4*m(w). Let y be u(-1). Is y at most -3/11?
False
Suppose -2*t + 3*t = 12. Let o be 3 - (63/t + -2). Which is smaller: o or 0.4?
o
Suppose 6*w = -2*g + 3*w + 11, 5*w - 13 = 2*g. Is 1/61 < g?
True
Let p be 7/(-61) + (-200)/(-18) + -11. Which is small