
Suppose 16 = 3*c - 11. Let r = c + -9. Let h = -15/2 - -8. Is r less than or equal to h?
True
Let y be 0 + 1 + 1 - 1. Are y and -1/38 equal?
False
Suppose -7*j + 14 = -14. Let i be (6/j)/((-12)/32). Which is smaller: -3 or i?
i
Suppose -6 = 2*k - 4*k. Suppose -2*z + k*z = 2. Suppose -4*l + 2*l - z = 0. Is l not equal to -1?
False
Let z be 3 - 8/2 - -2. Let c be (5/(-9))/((-2)/4). Which is smaller: z or c?
z
Let z be 1 - (1 - 2)*2. Let l be 2/z + (-10)/15. Which is smaller: l or -2/37?
-2/37
Let n be (-1)/(-3) + 23/3. Is -2 less than n?
True
Let u = -0.74 - -1.84. Is u at most -1?
False
Suppose -3*r = 3*z + 3, z - 3*r + 17 - 4 = 0. Suppose 0 = 5*p - m - 4*m - 10, 4*m = -3*p - 29. Are p and z nonequal?
True
Let k = 2 + 3. Suppose -q = -k*q + 4. Suppose -5*d + 17 = -3*p, -9 = -5*d + 3*p - 2*p. Is d at most q?
True
Let o(b) = -b**3 + 2*b**2 + 3*b + 2. Let s be o(3). Suppose 0*u + s*u = 12. Suppose -4*p - j + 3 = -12, -10 = 2*j. Which is smaller: u or p?
p
Suppose 0 = -3*z + 5 + 13. Let v = -8 + z. Let k = -36 - -35. Is k less than v?
False
Suppose x + 4*x - 5 = 0. Let v = 1 - -2. Let d = -4 + v. Which is bigger: x or d?
x
Suppose -2*i - 12 = -4. Is -22/5 equal to i?
False
Suppose 3*o - 20 = -2*o. Suppose 7 - 43 = -o*d. Let v = d + -17/2. Is 1 > v?
True
Let j(y) = -y**3 + 14*y**2 + 2*y - 32. Let g be j(14). Is g at least 5?
False
Let a = 635 + -3845/6. Let n = a + 13/2. Is n bigger than 2?
False
Let p = 10 - 6. Suppose -p + 25 = -3*f. Is f < -8?
False
Let r(g) = 4*g - 8. Let u be r(2). Do -5/13 and u have different values?
True
Suppose 0*y + 2*y = -4. Let p be (10/(-25))/(y/4). Let z = 1 - -1. Which is smaller: z or p?
p
Let a(p) = -p**3 - 2*p**2 + p - 4. Let o be a(-3). Suppose o*m - 4 = -2*m. Let w = -158 - -1104/7. Which is smaller: w or m?
w
Let y(r) = -5*r - 5. Let u be y(-2). Is u equal to 3?
False
Let s = 2.95 - 2.85. Let x = -7.3 - -7. Is s > x?
True
Suppose 8 - 17 = t. Which is smaller: t or -8?
t
Let f(r) = -r**2 + 8*r - 5. Let i be f(5). Suppose 0*v - 3*d = 5*v + i, -5*v - 4*d - 5 = 0. Is v equal to -6?
False
Let s = -0.7 - -1. Let y = s + -0.2. Let w = -0.12 - -0.12. Which is smaller: y or w?
w
Let r be (-231)/(-242) + (-1)/(-2). Is r greater than or equal to 0?
True
Let d be (-1 + 0 - -2)*0. Let o = d + 2. Let b be ((-18)/30)/(8/(-10)). Is o < b?
False
Let z be 3 + (5 + -3 - 1). Is z <= 5?
True
Suppose 2 = m - 3*b + 8, 5*b = -5*m + 50. Suppose -4*i - 12 = 4*s, s - m*s = -3*i - 9. Do -2/3 and s have the same value?
False
Let v be (-24)/(-9) - 4/6. Let o be 0 + (-1*v - 0). Which is smaller: o or -3?
-3
Suppose -w + 4 = 5*o - 72, -3*o - 5*w + 50 = 0. Let n(s) = s**3 - 15*s**2 + s - 21. Let i be n(o). Which is smaller: -5 or i?
i
Let v = -2 - 0. Let m(h) = 5*h**2 + 3*h + 1. Let x(s) = -6*s**2 - 4*s - 2. Let b(r) = -5*m(r) - 4*x(r). Let t be b(3). Is t bigger than v?
False
Let x(l) = l**2 - 9*l + 11. Let t(n) = -5*n + 6. Let i(s) = -7*t(s) + 4*x(s). Let o be i(3). Let b be 10/o + (-12)/(-7). Is b greater than 3?
False
Let b be 2/(-5) + (-917)/(-455) + -3. Is b <= -1?
True
Let f(w) = w**3 - 3*w**2 + 3*w - 2. Let c be f(2). Let a be 3 + 0 + -1 + 13. Let y be a/(-9) - (-4)/6. Does y = c?
False
Suppose 0*s + 5*s = 5. Suppose 4*j - 9*j = 0. Let c = s - j. Is -1/3 < c?
True
Let a = 42 + -52. Is -11 at most a?
True
Let m be (-31)/2 + 1/2. Let w be -2*3/m*-5. Suppose 3*h + h + 2*b + 2 = 0, 5*b - 15 = 0. Is w at least as big as h?
True
Suppose -2*d - 2*d - 8 = 0. Let a be (0/(-2))/((-2)/(-1)). Do a and d have different values?
True
Let h = -0.16 - -0.25. Let d = 3.91 + h. Which is greater: -2/3 or d?
d
Let v = 5.96 - -0.04. Let o = -8 - -7. Is o > v?
False
Let w = -10 - -1. Let p = -11 - w. Which is smaller: 1/10 or p?
p
Let f(z) = 2*z + 45. Let a be f(-23). Which is smaller: -3/47 or a?
a
Suppose -2*t - 2 = -8. Which is smaller: 5/3 or t?
5/3
Let d = -2.03 - -0.03. Let v = 6 + d. Let m = v - 6. Is m less than 2/5?
True
Let p(c) = c**2 + 2*c - 1. Let r be p(-3). Let k(t) = -t**2 + 6*t - 5. Let l = -5 + 9. Let z be k(l). Which is smaller: z or r?
r
Let g = -55/26 + 1022/13. Let a = g + -78. Let b(v) = -v**2 - v + 1. Let r be b(1). Which is smaller: r or a?
a
Let n(m) = 3*m**3 - 2 - 2*m**3 + m + 10 + 6*m**2. Let q be n(-6). Let j be (-4)/10*195/52 - -3. Which is smaller: q or j?
j
Let y = -75 + 523/7. Is -87 at most as big as y?
True
Suppose 0 = v + 1 + 2. Let l be 2*(-4)/(-72)*v. Do l and -1/3 have the same value?
True
Let p = -121/105 - -9/7. Which is bigger: -1 or p?
p
Suppose 2*b - 22 = -6. Suppose -l = -6 - b. Suppose -4*d - l = 2*x, -7 = -x + 3*d - 4. Is x equal to -3?
True
Let y be -892 + (8 + -2)/3. Let m = -6215/7 - y. Which is greater: m or 1?
m
Let a = -34 - -34.3. Which is smaller: a or -3?
-3
Let s be ((-12)/8)/(3/(-6)). Let p be (-9)/(-27)*0/(-1). Suppose p = 2*b + 11 - s. Are -3 and b nonequal?
True
Suppose 0 = -4*q + 12, -2*q = 4*b - 32 - 174. Are b and 0.1 equal?
False
Suppose -51*l = -56*l + 60. Suppose 0 = -3*v + 4*v - 13. Is l at least as big as v?
False
Suppose -u + 12 = -3. Let d be (-2)/2 + u/12. Which is smaller: d or -0.06?
-0.06
Let q(p) = p + 11. Let g be q(-12). Let b be -2*1*-2 + 0. Suppose 4*o + b = 3*o. Is g at most o?
False
Let o = -11 - -11. Is o >= 1?
False
Suppose -7 + 2 = 5*a. Let o be (a - 0)/(3/3). Let n be (o - 6/3) + 3. Which is smaller: n or -0.04?
-0.04
Let q = 6 - 7. Which is greater: q or -2/13?
-2/13
Let f = -27 + 28. Is 13 > f?
True
Let j = 3 - 6. Let l be 2 + j + 2 + 2. Is 2 smaller than l?
True
Let k be 32/(-14) - 2/(-7). Let o be ((-2)/6)/(k/6). Let r be (3/9)/(o/(-2)). Which is smaller: -0.1 or r?
r
Let j = -46386/19 - -2442. Is j smaller than -1?
False
Let v = -2 - -1. Suppose -5*d + 34 = -56. Let s be (-4)/d + (-12)/27. Is v at most as big as s?
True
Suppose -2*z + 36 = 4*i - 0*z, 0 = 4*i + 5*z - 42. Suppose 5*c = 2*v + i, 0 = 5*c + 2*v + 2*v + 16. Suppose -4*k = k. Are k and c nonequal?
False
Let c be (-2)/((-7)/(105/(-36))). Let z = c + 7/6. Which is smaller: z or -0.1?
-0.1
Let s = 13/14 - 3/7. Suppose -5*d + 2*w + 8 = 0, d - 16 = -3*d + 4*w. Is d at most s?
True
Let j(w) = w**3 + 5*w**2 + 4*w - 2. Let c be j(-4). Let z be ((-8)/20)/(2/5). Which is smaller: c or z?
c
Let i = -2 - -4. Let b = -1 + -2. Let x be (-6)/9 + (-4)/b. Are x and i nonequal?
True
Let d = -1 - -4. Let x(s) = -s**2 + 5*s - 4. Let v be x(4). Suppose -3*h + 0*h - d = v. Which is bigger: h or 0?
0
Suppose -2*r = 2*o - r + 2, -4*o = -2*r + 4. Let j = 4 + o. Is 5/2 greater than or equal to j?
False
Let t = 5.06 - -21.09. Let f = 26 - t. Do f and -0.1 have different values?
True
Let q = 1 - -12. Let l = q - 9. Is 1 smaller than l?
True
Let i be 10 - 11 - (-24)/23. Is i bigger than -1?
True
Let k = 78 - 75. Is k >= 4?
False
Let x = -7.5 + 7. Is x at most 2/7?
True
Suppose 0 = -s + 5*i + 36, 2*s - s - 35 = 4*i. Is 31 at most s?
True
Let w(h) = -2*h**2 - h - 2. Let q be w(-1). Which is smaller: -15/7 or q?
q
Suppose -4*c - 5 = 4*p + 15, 2*c - 4*p = 20. Suppose -6 = -v - c*v. Is 5 smaller than v?
True
Let j be (0 - 0) + (-8)/60. Suppose -5*k = -10*k + 10. Suppose -4*o + h + 5 = k*h, -4*o - 3*h = -15. Is j bigger than o?
False
Let d be (-3)/(3/33*-1) - 0. Which is greater: d or 32?
d
Let n = 4 + -7. Let z be 1*(-5 - 6/n). Which is greater: -4 or z?
z
Let q(t) = -6*t**2 + 6*t + 2. Let d be q(-4). Let x be (-5)/30 - d/(-12). Are -11 and x non-equal?
True
Let t be 1/(-3) - (-4)/(-6). Let k be (-2)/1 + t/1. Which is smaller: -2 or k?
k
Let l be 12/18 + 8/6. Let a = l - 2. Suppose -2*z - 2 + 0 = 0. Is a at most z?
False
Suppose 30 = -3*z - 306. Let l be 4/2 - (-248)/z. Which is smaller: l or -1?
-1
Let h = -18 - -17. Let a = -100 - -898/9. Which is smaller: a or h?
h
Suppose 4*o = -5*n + 89, 2*o + o + n - 53 = 0. Let h be (-6)/((-19)/8 + 2). Is o smaller than h?
False
Let s = 0 - -3. Let p(y) = -2*y**2 + 2*y. Let v be p(s). Let r = v + 10. Which is smaller: 0 or r?
r
Let i be (-1 - 4/8)/((-9)/138). Which is smaller: -2 or i?
-2
Suppose -o - 2*o + 6 = 0. Let j be 5/o*(-6)/20. Let h(d) = d + 3. Let c be h(-5). Is c bigger than j?
False
Suppose -11 + 6 = -5*x. Is x at most as big as 2?
True
Let q be (-12)/(-2)*(8/(-7) + 1). Is -1 != q?
True
Let m = 0 + 5. Suppose -q = 0, 3*w + m*q + 4 + 8 = 0. Let h be 24/(-12)*(-3)/(-2). Do w and h have t