*x - 1. Let c be g(z). Which is smaller: 1 or c?
1
Suppose 0*y - y + 7 = -3*x, 2*y = 3*x + 14. Let f(h) = -h**3 + 55*h**2 + h - 48. Let s be f(55). Is y != s?
False
Let y be (-7)/(2/(1*-2)). Let n be (6/(-4))/(2/4*-1). Which is smaller: n or y?
n
Let y = -0.2 - -0.3. Let w be (-135)/(-342) - 3*(-8)/228. Which is smaller: y or w?
y
Suppose -5*h + 0*h + 175 = 0. Let z = h - -7. Are 42 and z equal?
True
Let o = 836 + -33441/40. Suppose -1 = -2*j + 1. Is o < j?
True
Let m = 803 - 804. Is -2/69 greater than m?
True
Let w = 1.41 - 109.41. Which is bigger: 0.1 or w?
0.1
Let b be (0 - -1 - 817/172) + 4. Is 2/145 less than b?
True
Let l(r) = 6*r - 7*r**2 - 24*r**3 + 23*r**3 - 10 - 1. Let t be l(-8). Do -1 and t have the same value?
False
Let c(p) be the second derivative of 2*p**3/3 + 14*p**2 + 7*p. Let j be c(-7). Is -4/17 >= j?
False
Suppose -q - 2 = -c, -2*q + 1 = 5*c - 2. Suppose 2*l - 8 = 2*d, -2*l - 13 + c = 3*d. Which is smaller: 2/55 or l?
l
Let j = 6.3 + -7. Let u = -0.3 + j. Let s = 315 - 315.1. Which is smaller: s or u?
u
Let f = -0.06 - -0.21. Let n = 4688.9 + -4689. Which is smaller: n or f?
n
Suppose -3*q = -q - 74. Let f = q - 16. Let l = -19 + f. Is 6/11 < l?
True
Let d = -66 - -52. Is d less than or equal to -3/2?
True
Let q be ((19 - -35) + 18)*(-13)/(-2). Is q smaller than 469?
True
Suppose 0 = 5*j - 10, 3*m - m + 3*j = 20. Let b(f) = -6*f - 5. Suppose 0 = 14*u + 31 - 3. Let a be b(u). Is a less than or equal to m?
True
Let v be 12/24*(13 + -1). Suppose -4*z = 5*q + 36, v = -z + 2. Do -4 and q have the same value?
True
Suppose -34 = 2*m - r + 158, 3*m = -3*r - 288. Let d be 5*(4/3)/(40/m). Is d less than or equal to -12?
True
Let i = -1.5 - -1.36. Let s = i + 0.14. Which is greater: s or 0.05?
0.05
Let a = 18 - -50. Let w be (-8)/(-6)*(-12)/a. Is 0 greater than or equal to w?
True
Let g = -7345/124 - 47/31. Let w = 61 + g. Is 7 equal to w?
False
Let u(j) = j**3 - 5*j**2 + j + 13. Let r be u(4). Do -4 and r have the same value?
False
Let y(n) = -55*n - 58. Let t be y(4). Is t equal to -276?
False
Let d be 254/14 - (-350)/50. Which is bigger: d or 25?
d
Suppose 0 = 5*n + v - 3, -2*n + 3*v + 7 = -1. Suppose 1 = s + 2*w - 0, -5*w = -s + n. Is s not equal to 2/9?
True
Let m = -3890/1729 - -44/19. Let c = -22834599/910 - -25093. Let n = m + c. Is 1 > n?
True
Let b = -23 + 26. Suppose -f + 43 = b*i, 64 = 4*i - 0*i - 2*f. Let a be i/9*6/5. Does a = 2?
True
Suppose m + g = -3*g + 4, 2*m + 4*g = -8. Let s be m/75*(-15)/(-6). Suppose -w - 1 = b, -5*b + 3*w + 5 = -6. Is s smaller than b?
True
Suppose -424 - 24 = -8*q. Let l = -56 + q. Are 2/13 and l unequal?
True
Let m = 21 + -17. Suppose 8*v - 84 = m*v. Which is greater: v or 22?
22
Let v = 12.28 - 0.28. Let q = 0.29148 - -0.10852. Is v bigger than q?
True
Let m be (2/3)/(56/(-189)). Do m and -2 have the same value?
False
Suppose -10 = -3*x + 3*w + 26, 3*x - 6 = -3*w. Which is greater: x or 105/13?
105/13
Let v be (12/(-8))/(6/(-32)). Suppose -140 = 2*u - 5*u - 2*q, -2*u + 2*q + 80 = 0. Let w be (-90)/(-11) - 8/u. Are w and v equal?
True
Let h(j) = 3*j - 37. Let u be 5*-1*(5 - 4)*-3. Let g be h(u). Are g and 3 unequal?
True
Let f = 9 - 12. Let g be 2/(2/3) + f. Suppose 9 + g = o. Which is smaller: o or -2/7?
-2/7
Let g(b) = 8*b - 6. Let u be g(2). Let q be (-1)/(-5) - 182/u. Is -17 greater than or equal to q?
True
Suppose 5*q + d = -85, 2*q + 0*d + 47 = -3*d. Is -33/2 <= q?
True
Let o be 6 - ((-2 - 2) + 442/52). Which is smaller: 2.99 or o?
o
Let c be ((-1)/252)/(4/8). Which is smaller: -1 or c?
-1
Suppose 4*s = 0, 4*j + 48 = -0*j + 2*s. Which is greater: j or -64/5?
j
Let d be (-2)/(1*-2) + -1. Let o(p) = 3*p**2. Let q be o(1). Let c be 5/q + 62/(-48). Which is bigger: c or d?
c
Suppose 275 = -w + 3*c, -8*c + 7*c = -4*w - 1045. Is -259 <= w?
False
Let y = 5758 - 2707. Let t be (1/9)/((-9)/y). Is -39 >= t?
False
Suppose -3*o + 1 = 4*b - 16, -5*o - 3*b = -21. Suppose 0 = -17*a + 30 + 4. Which is smaller: o or a?
a
Let y(w) = -w**2 - 6*w + 35. Let g be y(4). Do g and -68/15 have different values?
True
Let h(o) = o**3 + 8*o**2 - 10*o - 6. Suppose -12*i + 14*i = -18. Let p be h(i). Suppose 4*d - 5 - p = 0. Which is greater: 3 or d?
3
Let v = 140 - 92. Let p = v + -48.02. Which is greater: p or 0.2?
0.2
Let s = -0.1 + 0. Let i = -12.006 - -0.006. Which is greater: i or s?
s
Let d(l) = 2*l**2 + 1. Let x be d(1). Let t = -1 + x. Is t equal to 8/11?
False
Let c(r) = -11*r + 34. Let v be c(3). Do -4/47 and v have the same value?
False
Suppose 0*k = 3*k + 12, 22 = u - 3*k. Suppose -u = 5*c, -3*j = -c - 2 + 3. Is j greater than or equal to -4/5?
False
Let m(n) = n**3 + 2*n**2 + 10*n + 9. Let r be m(-1). Do 3/64 and r have the same value?
False
Let u be 213/(-5) - (-6)/(-15). Which is greater: u or -41?
-41
Suppose -3*w + 2*j + 4 = -0, -4*j - 6 = -5*w. Let z be (-1)/(-12)*8 + (-1076)/(-6). Let y be -1 + (-7)/(-5) + z/50. Is w equal to y?
False
Let y(l) = 13*l - 7. Let q be y(-3). Let n be 5 + q/10 - 54/85. Is -1 not equal to n?
True
Suppose -21 = 6*z - 33. Suppose 2*j - 4*k + 16 = 0, 3*j + z*k - 3*k = -9. Is -7/4 > j?
True
Suppose 3*f - 15 = -2*f. Let n be (-3)/(f*(-1)/2). Let a be 4 - (-2 + 10/n). Is -1 at least a?
False
Suppose -5*r + 10*r = 5. Suppose -2*v = 2 - 4. Suppose -3*b = -2*b + v. Are b and r equal?
False
Let q(d) = d**2 + 3*d + 3. Let j be q(-2). Let b be j*(-4 + 22 + -3). Let s be 2/5 - (-9)/b. Does s = -1/18?
False
Let r(b) = b - 38. Let y(s) = 7*s - 13. Let p be y(4). Let l be r(p). Which is greater: -24 or l?
l
Let x be ((-1)/(-104))/((-15)/241924). Let q = 941/6 + x. Let a = q - 28/13. Is -2 greater than a?
False
Let m(c) be the second derivative of -c**3/2 + c**2 + 12*c. Let j be m(0). Does 1/2 = j?
False
Let f = -81/2 + 247/6. Do 0.1051 and f have different values?
True
Let z(u) = -u - 6. Let c be z(3). Suppose 2*s + 22 = 7*s - 2*j, -s = 4*j. Let y = c + s. Which is smaller: -1 or y?
y
Let o be (292/10)/((-9)/15). Let l(f) = -2*f**2 - 6*f - 12. Let q be l(-6). Let r = o - q. Is r less than 1/4?
True
Let z = -25 + 29. Suppose 11 = -2*y - m, 3*m = -y + z*m - 1. Suppose -2*a + 4*a = -10. Is y at most a?
False
Suppose -3*j = -8*b + 247, 0 = -3*b - j + 33 + 66. Let u(x) = x**2 + 2*x - 5. Let t be u(-7). Which is smaller: t or b?
t
Let q(h) = 3*h. Let b be q(-6). Let k be 3/10*135/b. Let n = -101/84 + 11/12. Is k at most as big as n?
True
Let u(l) = -9*l - 1. Let n be u(1). Let m = -5 - n. Are m and 4 non-equal?
True
Suppose g - 2*z - 9 = 0, 2*g - 5*z = 21 - 0. Suppose -2*w = -0*w - j - 15, g*w - 15 = -j. Let u be (-3)/1 + w + -4. Which is bigger: u or 3/17?
3/17
Let s be 1*(-1 - 59)*(-918)/216. Is s less than or equal to 255?
True
Let s(z) = -10*z + 10 - z**2 + 2*z**2 + 0*z**2. Let g be s(8). Let m be -3 + 2 + -4 + 0. Which is greater: g or m?
m
Let m be 1/(1 + (-26)/24) - 3. Let f(t) = 3*t + 46. Let s be f(m). Which is bigger: s or -2/39?
s
Let y be (-12)/228*(-24 + -1). Is 2 bigger than y?
True
Let m = -29 + 38. Let y = m - 21. Is 0.4 > y?
True
Let y be (-26)/(1/2*-2). Let a be 102/y - (-3)/(-1). Suppose 0 = -17*r + 4*r + 3*r. Are a and r equal?
False
Suppose 22 = -19*t - 35. Which is smaller: -8 or t?
-8
Suppose -272 = 57*r - 55*r. Which is smaller: r or -137?
-137
Let r = 7410/7 + -1062. Is r <= -2?
True
Let d = 29 + -28. Which is bigger: -4/49 or d?
d
Suppose 2*b = -b - 4*d - 103, -120 = 4*b + d. Which is smaller: b or -33?
-33
Let q be (-5)/(-10) - 9/6. Suppose -5*a - 21 = -3*b, -3*b - 3*a - 3 = -0. Let y be (2*(-3)/b)/1. Which is smaller: q or y?
y
Let z be (-2848)/(-286) + (-1360)/136. Which is smaller: 0 or z?
z
Let q = 0.0042 - -12.6958. Which is greater: -2 or q?
q
Let t(s) = s**3 - 6*s**2 - 3*s - 9. Let j be t(0). Suppose 0 = 5*l - 14 + 64. Do j and l have different values?
True
Let l(u) = 3*u**2 - 31*u - 30. Let t be l(12). Which is smaller: t or -0.03?
-0.03
Let t be (-1706)/(-284) + -7 - 1/(0 - 1). Let m be (-1 - -3)*1/(-2). Is m <= t?
True
Let b = 0.2849 + -0.0849. Let r = -0.3 + 3.3. Is b > r?
False
Let y(k) be the third derivative of k**4/24 + k**3/6 + 3*k**2. Let w be y(-4). Is -2 equal to w?
False
Let h = -86393/188 + 1839/4. Which is smaller: -1 or h?
-1
Let s = -2 - -1. Let a = -0.92 + -11.08. Let j = a + 12.2. Which is smaller: j or s?
s
Let z be ((-3)/(-6)*0)/3. 