es x = s?
False
Suppose 0*c - c = -6. Let h(w) = w**2 + 10*w + 6. Let o be h(-12). Let f = 37 - o. Which is smaller: f or c?
c
Let n = 8 - 4. Let c(h) = -h**3 + 4*h**2 - h + 4. Let b be c(n). Suppose -k - 5*d = -15, 2*k + 5*d - 15 = -b*k. Do 1/19 and k have the same value?
False
Let c be (5 - 9)/(1/4). Let t(v) = -v**2 - 6*v - 22. Let d be t(-5). Which is smaller: c or d?
d
Let w = 0.07 + -0.1. Let g be 4/6*(-1 - (-3)/6). Is w < g?
False
Let f(v) = -v**3 - 2*v**2 + 4*v + 2. Let i be f(-3). Let u = -5 + 11. Suppose 0 = 3*g - u + 3. Which is smaller: i or g?
i
Let s = -2.6 + 0.6. Let n = s + -10. Which is greater: 0.3 or n?
0.3
Let y be (-5 - 1) + (-18 - 4 - -16). Which is smaller: y or -4?
y
Let h(x) = 2*x - 1. Suppose -2*t = -k + 4, 16 = -4*t - 6*k + 4*k. Let c be h(t). Let a be (-2)/(-7) - (-9)/c. Do 2/13 and a have the same value?
False
Let w be 2167*2*(-1)/2. Let x = w + 36829/17. Is 0 < x?
False
Suppose 2*w - 960 = -4*v, 48*v - 52*v - 4 = 0. Do 480 and w have the same value?
False
Let u be (63*(-30)/(-405))/(4/(-6)). Which is greater: -123/16 or u?
u
Let v = -516272/13 + 39732. Which is smaller: 19 or v?
v
Let m be 3/(6/8) - (-22 + 314). Let d = 5471/19 + m. Which is smaller: d or 0?
d
Let a = 2.8 - 2.8. Let k = -17 - -17. Is a not equal to k?
False
Let o = 2/4521 - -171784/31647. Let d = -40/7 + o. Let z(p) = -p - 6. Let q be z(-5). Which is smaller: q or d?
q
Let y = 182/17 - 4339/391. Is y at least 0?
False
Let l(k) = k**3 - 37*k**2 + 71*k - 33. Let j be l(35). Is 24/13 greater than j?
False
Let o(q) = -14*q + 209. Let f be o(15). Is 8/127 <= f?
False
Let v be (5/(5 - -15))/(-5). Is 1 bigger than v?
True
Let t(r) be the second derivative of -r**4/3 + 31*r**3/6 + 5*r**2/2 + 36*r. Let k be t(6). Is k bigger than 48?
False
Suppose 5*l = 7*l + 20. Let w be (-12)/(-135)*l/4. Which is smaller: w or -1?
-1
Let y = 15 + -16. Let b(q) = -48*q**3 - q**2 + 2*q + 1. Let t be b(y). Which is smaller: 45 or t?
45
Let g = 0.33 - 0.06. Let r = 0.33 + g. Is -1 != r?
True
Let j = 98 - 72. Let d = j - 26. Is d less than or equal to -23?
False
Let b(d) be the third derivative of d**4/24 - 2*d**3/3 - 7*d**2. Let u be b(9). Let c be (u/45)/(2/12). Is c != 4?
True
Let i be 10/36*(-150)/(-25250). Which is smaller: 0 or i?
0
Let a = 9447.17 + -9488. Let t = a + 41. Let k = t - 0.47. Are k and 3 equal?
False
Suppose 0 = -g - 2*y + 16, -8*y + 20 = -3*y. Suppose -4*c + 100 + g = 0. Do c and 2 have the same value?
False
Let f(a) = 8*a - 17. Let l be f(-5). Let q be 3/l*4/2. Is 0 > q?
True
Let q be -133 + 1 + -6 + 8. Which is smaller: q or -131?
-131
Let f = 7029456812/23111517 - 2/1777809. Let b = f - 304. Let y be 0 + 1 + (-10)/5. Are b and y non-equal?
True
Let f(s) = 3*s + 4. Let w be f(-3). Let i(q) = q**3 + 6*q**2 + 2*q - 2. Let p be i(w). Let r = p + -9. Which is smaller: 3 or r?
3
Let n = 91.1 + -87.1. Which is bigger: 30 or n?
30
Suppose 0 = -5*b + 18 + 22. Let c = -9 - b. Is -1 greater than or equal to c?
True
Let w = -707 - -679. Let d = 46 - 74. Is w > d?
False
Let k be 285/(-7) - (-2)/(-7). Let f = 42 + k. Which is smaller: f or -1/21?
-1/21
Suppose 3*c - 80 = -5*t, -12*c + 127 = -7*c + 2*t. Is c less than or equal to 1?
False
Let z = -0.028 + 1.128. Let f = z + -1.14. Which is smaller: 2 or f?
f
Let a be (-17)/(-4) + 2/(-8). Suppose 3*o = -15*l + 12*l - 15, -4*o - 14 = l. Is l at most as big as a?
True
Let r = -3 - -3. Suppose r = -2*x + 5*x - 3. Let c = 101/4 - 25. Which is greater: c or x?
x
Let q(u) = u - 7*u + 4 + 5 + u**2 - 2*u. Let a be q(7). Suppose -o + 3*o - 3 = 5*t, a*t = -4*o - 6. Which is smaller: 0.04 or o?
o
Suppose 3*h = s + 16, 6*h - 26 = 2*s + 3*h. Is s less than -10?
False
Let i be (3 + (-21)/(-4))/((-1)/12). Let a be (-1507)/i + (-2)/9. Let j be ((-6)/(-4))/((-2)/(-20)). Is a smaller than j?
False
Let m(h) = 9*h**2 + 5*h - 3. Let x be m(-2). Let k(l) = l**2 + 3*l + 1. Let f be k(-4). Suppose n = 5*c + x, -17 = -f*n - 2. Is -4 bigger than c?
False
Suppose 143 - 130 = d. Is d not equal to -4?
True
Let a be (-1086)/(-5) + (-32)/8. Let x = -1104/5 + a. Which is greater: x or -9?
x
Let t be 8/20*(-10)/42. Suppose 5*y + x = 4*y + 18, 2*x = 10. Let c = y - 14. Which is smaller: c or t?
c
Let m = 7 - 3. Let o = -2 + m. Let q = 32 - 28. Which is smaller: q or o?
o
Let u(m) = -6*m**2 + 5*m + 16. Let l be u(8). Let x be 2/3 + l/456. Which is greater: 1/2 or x?
1/2
Suppose a = -3*t + 96, 2*t + 8*a + a = 89. Suppose 4*s - 32 = -152. Let q = s + t. Which is smaller: q or -1?
-1
Let v(k) = 4*k + 297. Let x be v(-32). Which is smaller: 508/3 or x?
x
Let p = -0.167 - -0.135. Let s = -0.132 - p. Let q be (1/2)/(3/78). Is s greater than q?
False
Let f(p) = 2*p**2 + 4*p - 6. Let y(z) = 5*z**2 + 7*z - 12. Let q(c) = -c**2 - 7*c + 3. Let o be q(-7). Let l(s) = o*y(s) - 7*f(s). Let d be l(5). Is -4 > d?
False
Let l = -1.3 - -0.3. Let q be (12/(-9))/((-2)/9). Let m = -8 + q. Which is greater: l or m?
l
Let y be 5/(425/10) + 2433/(-17). Let k = -127 - y. Is k <= 31/2?
False
Let h be (30/9)/(304/(-48) - -7). Let y be 50/(-14)*6/(-5). Do h and y have different values?
True
Let w be (-150)/(-14) - 2/(-7). Suppose 0 = -w*z + 16*z - 55. Let q be (7 - 3) + z/(-1). Is q less than -6?
True
Let o = -14/57 - -2846/10659. Which is bigger: 0 or o?
o
Let g be (-66)/(-22)*(-8)/(-6). Is 2 equal to g?
False
Let j = 82/531 + 4/59. Suppose -v - 12 = 3*k, 0*k = -v + 5*k + 20. Suppose 2*z + z - 2 = x, -4*z + 4*x = v. Which is smaller: z or j?
j
Let m be 6/93 - 10305/(-279). Suppose 2*p + 4*c - 125 = -p, c = p - 30. Are p and m unequal?
True
Let g = -4 - 88. Let v = g - -199/2. Is 7 greater than v?
False
Let d be (162/28 - 2) + -4. Does -1 = d?
False
Let b = -12 + 24. Let i be 1 + 1 + (-3 - 8). Let p be 4/6 - (-15)/i. Which is smaller: b or p?
p
Let b = 30536/15 - 2035. Does b = 1?
False
Suppose -33*w = -28*w - 20. Let f be (-1 + 164/20)*(-30)/w. Is f greater than -54?
False
Let g = 28 - 28. Let y be 1 - (-11 - -3 - g). Which is bigger: 1 or y?
y
Let i(s) = s**2 + 3*s + 1. Let f be i(-4). Let g(l) = -6*l + 4. Let d(k) = 14*k - 8. Let t(m) = -2*d(m) - 5*g(m). Let h be t(f). Is 5 > h?
False
Let q = -0.07 - 1.13. Let k = q - -1.22. Let h = 0.08 + k. Is h less than -9?
False
Let g be 73/7*(-532)/76. Is g >= -69?
False
Let h = 218062/2051 - 10/293. Which is smaller: 107 or h?
h
Suppose d + 351 = 4*l, -5*l + 3*d + 238 = -199. Suppose 0 = 2*i + 2*i + l. Is -18 at least as big as i?
True
Let v = 203 + -145. Let f = -5282 - -5282. Is f <= v?
True
Let c(h) = -4*h - 15. Let k be c(-6). Let o = -26 + 31. Are o and k nonequal?
True
Suppose 9*u = 4*u + l - 2, -5*l - 15 = 0. Is -1/79 < u?
False
Let p(q) = 2*q + 4. Suppose 0 = -2*o + 3*z - 7, 4*o - 32 = o - 4*z. Suppose 0*m + l = -4*m + 4, -o*l + 16 = 0. Let j be p(m). Which is smaller: j or 2?
2
Let w be (-202)/(-396) + 10/(-20). Is 1 <= w?
False
Let o = 1.2 - 1.2. Let x = -44 + 44. Is o > x?
False
Let u be (-2)/22 - (-368)/176. Let m be (2 - u)*(-6)/(-12). Let i = 4/111 - -269/1776. Which is greater: i or m?
i
Let o = -1639 + 860. Which is greater: o or -778?
-778
Let q = -428 + 441. Let o(v) = -2*v**3 - 3*v**2 + 5*v + 2. Let i(u) = -u - 3. Let y be i(0). Let a be o(y). Which is greater: q or a?
a
Suppose -100 = 4*d - 4*w, -2*w - 55 = 3*d - 0*w. Let p = -20 - d. Which is smaller: 2/11 or p?
2/11
Suppose -5*f - 9 = c, 3*f + 37 = -5*c - 30. Which is smaller: 6/11 or c?
c
Let m(g) = -4*g + 70. Let i be m(18). Which is smaller: i or 6.4?
i
Let o(k) = k**3 + 15*k**2 + k - 45. Let r be o(-14). Which is smaller: 138 or r?
r
Let h = 1257 - 1537. Which is smaller: h or -282?
-282
Let t = 72305435/2363 - 30599. Are 0 and t equal?
False
Let d be 77/(-14)*(-8)/(-12)*-6. Is 308/15 > d?
False
Let q = 1.615 - 1.715. Is -3/218 less than q?
False
Let z(h) = h**3 + 11*h**2 + 18*h + 2. Let r be z(-9). Which is smaller: 14/9 or r?
14/9
Let y be (-2)/3 - 28/(-6). Let s = 4029/8 - 501. Is s less than or equal to y?
True
Let j(m) = -16*m - 80. Let d be j(-5). Do 3/206 and d have the same value?
False
Let v be 2/16 - (-22790)/16. Let x = v + -1470. Which is greater: -46 or x?
x
Let y = -3.3 + 2. Let q = 6.2 + -5. Let k = q + y. Are 0.3 and k equal?
False
Let t(x) = x**3 + 30*x**2 - 20*x - 28. Let d be t(-31). Which is smaller: d or -2?
d
Let k = -94/3 - -1828/21