 be h + (-3)/5 + (-73)/45. Is d greater than -2?
False
Let j = 2 - 0. Let f be 5 - j/2*2. Let k = f - 2. Do k and -2/7 have different values?
True
Let q(m) = -43*m**3 + 2*m**2 - m + 2. Let r be q(2). Let g be (-6)/(-10) - r/(-60). Do g and -4 have the same value?
False
Let a(k) = 2*k**3 + 11*k**2 + 2*k + 18. Let r(d) = -d**3 - 5*d**2 - d - 9. Let x(c) = -4*a(c) - 7*r(c). Let t be x(-9). Which is smaller: -0.02 or t?
-0.02
Let z = -26 - -25.64. Let f = z - -0.46. Are f and 15 equal?
False
Suppose 0 = -4*y - 3*y + 70. Suppose d + k + y = 4*k, 0 = 2*d - 2*k. Do d and -2 have different values?
True
Let p(b) = b**2 - 9*b - 6. Let d be p(7). Let q = d - -461/23. Which is smaller: -1 or q?
-1
Let v be ((-6)/(-5))/(6/20). Suppose -4*a + 2*a = -v*n - 22, 3*a + 5*n = 0. Let j(f) = f**2 + 75*f + 353. Let p be j(-5). Which is greater: a or p?
a
Let d = 154.1 - 134. Let a = 21 - d. Which is smaller: -1 or a?
-1
Let s(w) = -w**3 - 2*w**2 - 3*w. Let g be s(-2). Let d be 1*(-30)/(-1 + g). Which is bigger: d or -3?
-3
Let c = -22.3 - -22.43. Which is greater: -0.41 or c?
c
Let g(p) be the second derivative of p**4/12 + p**3/6 + 9*p. Let h be g(1). Let l be 2 - ((-16)/12 + h). Do 1 and l have the same value?
False
Let f = -128 - -127. Which is bigger: f or -4/7?
-4/7
Let b be (3 + (-68)/20)*-105. Let p = 41 - b. Which is greater: -2.4 or p?
p
Suppose 2*i + i = 0. Suppose 2*x - 4*x - 18 = i. Let n = x + 21. Which is smaller: 11 or n?
11
Let c = 9 - 8. Let y be ((-3)/(-2))/(c + -4). Let q = 1 + -1.2. Which is smaller: y or q?
y
Let r = -8401/628 + 20/157. Is -14 greater than r?
False
Suppose 4*k - d + 49 = 0, -5*d + 20 - 6 = k. Suppose 6*x = 2*x + 8. Suppose -4*t - 3 = x*j + 21, 3*t = 0. Which is smaller: k or j?
j
Let v be 2/20*-8 - (-554)/(-20). Which is smaller: -29 or v?
-29
Let q = 1.7 + -26.7. Let s = q - -25.2. Which is smaller: s or 2?
s
Suppose f + f = 8. Suppose f*m = 8 - 4. Let d be 2/(-6) - (-44)/150. Is d > m?
False
Let y = 30 - 29. Is y equal to 16/7?
False
Let g = -85.1 + 81.1. Let l be ((-4)/(-6))/(16/(-18)). Which is greater: g or l?
l
Let a be 64/(-175) - (3 + (-276)/84). Which is smaller: -11 or a?
-11
Let f(m) = m**2 + 3*m - 9. Let w be f(-7). Suppose 3*a - w = -5*v, 5*a + 0 = -10. Is v != 5?
False
Let z(x) = -2*x + 13. Let w be z(-4). Suppose 5*p - w = 6*p. Let f = 0 + p. Which is smaller: f or 0?
f
Let f = 22/31 + -13/62. Which is bigger: f or 1.24?
1.24
Let p = 46 + -29. Let w = -0.188 - -0.188. Are p and w equal?
False
Suppose -2*w = -c - 112, w + 2 = 3*w. Let x be ((-2)/c)/((-9)/((-675)/10)). Let i(b) = -b - 2. Let j be i(-2). Are x and j nonequal?
True
Let p(a) = -a - 3. Let d be p(-6). Suppose -4*o + d = -1. Let r = -227/282 + 30/47. Which is smaller: o or r?
r
Let y(g) = -g**2 + 6*g - 5. Let z be y(4). Suppose -3*t + z*d = -36 - 42, 4*d + 62 = 2*t. Let o = -11 + t. Is o >= 9?
True
Let o be 1/(3/(36/68)). Let g(m) = -m**2 + 4*m + 1. Let n be g(4). Is n >= o?
True
Let l = -66 - -68. Let z = 0.3 + -0.3. Let p = 4 + z. Which is smaller: p or l?
l
Let h be (-32)/(-16) - 101*2. Let t = 136 + h. Let a be ((-2)/(-4))/(4/t). Is -8 less than or equal to a?
True
Let q = 17 + -20. Let a be -4 - ((-10 - 0) + q). Let r = a + -1. Which is smaller: 1 or r?
1
Let o = -430.9 - -431. Which is smaller: o or 2.4?
o
Let m be (-24 + 8)/(20/6). Let h = 77/15 + m. Is h equal to -0.7?
False
Let j = -43 + 12. Is j greater than 0?
False
Suppose 68*t - 55*t = -39. Is t less than 265?
True
Suppose 3*n + 3*l - 18 = -6, n = -5*l + 8. Suppose 0 = n*t - 7*t. Which is smaller: t or 1/43?
t
Suppose 7 = -692*f + 685*f. Which is smaller: -3/1231 or f?
f
Let q(a) = 18*a**2 + 106*a - 503. Let w be q(5). Is w < 477?
False
Let h be (-5)/84*-2 - 23/46. Is h <= 0?
True
Suppose -7*x - 47 + 12 = 0. Suppose -3*n = -s - 4*s - 6, -4*s = -4*n + 16. Let y be (-2)/n + 18/210. Does y = x?
False
Let q = 10113566 + -2133980785/211. Let p = 87 + q. Which is greater: 1 or p?
1
Let n be ((-8)/(-200)*15)/(3/(-15)). Let u = 8200/77 + -762/7. Which is greater: u or n?
u
Suppose -2*w + 6 = -a + 11, -5*w = -4*a + 14. Which is smaller: 3/31 or a?
3/31
Let c = 211 + -197. Do c and 14 have different values?
False
Let b be (-90)/(120/8)*(-2)/4. Is 55/16 > b?
True
Let p = 3.4 + -2.4. Let r = p + -6. Is 0 not equal to r?
True
Let r(v) = -2*v**2 + 1. Let y be r(-4). Let p = y - -33. Is p < 12/7?
False
Let i = 151/11 - 741/55. Is i > 0?
True
Let d be ((-12)/48)/((-2)/(-8)) - -13. Which is greater: d or -3?
d
Suppose -5 = -2*u + 4*n - 3*n, 2*u - 5*n - 25 = 0. Let h be (-3 + u)/(-12 - -11). Let j be -7 + 4 - (-5)/h. Which is greater: -1 or j?
-1
Let m(y) = y**2 - 10*y - 11. Let r be m(11). Let l = -559/3465 + 9/77. Which is bigger: l or r?
r
Let v = 14533/750 - -182/125. Is 22 smaller than v?
False
Let u = -7.6 - -3.5. Let c = -6.1 - u. Is 8 less than or equal to c?
False
Let m = 378 + -217. Suppose 10*w - 21 = -m. Which is greater: w or 0?
0
Let c = 16 + -41. Let u be -6*(0 - -1 - -3). Let k = u - c. Which is smaller: k or 2/23?
2/23
Suppose 32*q - 227 = 605. Does q = 25?
False
Let l = -126/17 - -1420/187. Is -133 at most l?
True
Let q(t) = -t**3 - 9*t**2 + 10*t + 1. Let y be (-352)/36 - (-6)/(-27). Let s be q(y). Let h be (-4)/4*1*s. Which is smaller: -5/6 or h?
h
Let n = -6 - -8. Suppose 0*s = n*s. Let a be (11/286)/((-1)/(-2)). Is a > s?
True
Let k be 12/(-18) + 58/24. Let a = -1.21 + 0.21. Is k <= a?
False
Let b be (-1 + -2)/(3/(-2)). Suppose f = -3*t + 4, -3*t - 5 = -b*f + 3. Let a be (-35)/20 + 2 - 11/60. Is t less than or equal to a?
True
Let g(l) = 14*l**2 - 6*l - 17. Let b be 42/(-10) + 2/10. Let a(s) = 5*s**2 - 2*s - 6. Let q(h) = b*g(h) + 11*a(h). Let k be q(-1). Which is greater: k or -1/7?
-1/7
Suppose 2*d + 1347 = -6*p + 9*p, d - 891 = -2*p. Is 447 not equal to p?
False
Let l = 9/23347 + -2025082/5192723005. Let d = l + 265474547/667245. Let i = d + -398. Which is greater: 1 or i?
1
Suppose -2*x + 3*x = -2*x. Suppose x = 3*g - 9 + 48. Is -15 < g?
True
Let g = -65 - -65.93. Let n = g + -1. Which is greater: n or 1?
1
Suppose 4*o = 8*o. Suppose 2*v + u = 3 + 4, o = 4*u - 20. Let a be -1*v*(7 - 6). Is a at most as big as -3?
False
Suppose 8*s = 4*s - 404. Let b = s - -96. Let g be (-2)/(-10)*(-10)/(-4). Is b smaller than g?
True
Let g = 9 - 63. Let v = -58 - g. Which is bigger: -6 or v?
v
Let c = 5 - -5. Let p be (-4)/2*(-5)/c*-3. Let o = -218/5 - -42. Is p bigger than o?
False
Let b be (-1 + (-21)/14)/(-241). Are -1 and b unequal?
True
Let k be (79/(-158))/((-38)/184). Is -0.1 at least k?
False
Let x = -2490 - -2495. Is 82/13 at least as big as x?
True
Let q(g) = -9*g - 57. Let d be q(-5). Are d and -88/7 equal?
False
Let y(u) = u**3 + 8*u**2 + 2*u + 12. Let z be 0 + -1*32/4. Let g be y(z). Let w be (-4 - -8) + -10 + g. Which is bigger: -11 or w?
w
Let y(b) = 9*b**3 + 3*b**2 + 3*b + 9. Let l be y(3). Is 288 less than or equal to l?
True
Let z be (9/24*4)/(3/6). Suppose -z*u - 2*m - 5 = 0, -13 = 3*u - 2*m + 6*m. Are 6 and u non-equal?
True
Suppose 3*o + 4 = 40. Let m = 0 + o. Suppose x + 4*x = 60. Is x at least m?
True
Let z be 4/24 + (-5395)/78. Is z >= -71?
True
Let w be (-1 + (-827)/(-826))*9497. Let c = 1/413 + w. Does 12 = c?
False
Let p(t) = -2*t**3 - 4*t**2 + 11*t + 16. Let q be p(-4). Suppose x - q = -x. Is 17 at most x?
True
Let x(h) = -h**2 + 4*h + 5. Let o be x(5). Let j(w) = w**2 - 6*w + 2. Let z be j(6). Suppose -q + z - 8 = o. Is -7 != q?
True
Let g = -0.9 - -0.29. Let f = 44.39 - g. Which is greater: f or 0.1?
f
Let q be (-2)/8 + (-1038)/(-24). Which is smaller: q or 45?
q
Let h = 67.7 - 67.6. Which is bigger: h or 0.215?
0.215
Let j be (1 + -130)*(-72 - -73). Which is smaller: -128 or j?
j
Let w = -23.3 - -22.3. Which is bigger: w or 0.2?
0.2
Let d = -169 - -167. Are 1 and d unequal?
True
Let h be 0/(-2) - (-12)/(-39). Let i be (-564)/658*(1 + (-8)/6). Which is bigger: h or i?
i
Let b(s) = -s + 6. Let k be b(6). Which is bigger: -2/311 or k?
k
Let y = -247 + 248. Which is smaller: 2/41 or y?
2/41
Let d = -1363 - -1363. Which is bigger: d or 1008?
1008
Let t(d) = -6*d**2 - 15*d + 9. Let n be t(11). Let f be (-6)/(-8) + n/952. Which is greater: f or 1/3?
1/3
Let n = 5 - 8. Let s be n/(-2992)*(-406)/3. Let k = s - -2/187. Do -1 and k have the same value?
False
Suppose -5*q = -4