 smaller: -1 or j?
j
Suppose 0 = -3*k, 0*k + 12 = 3*n + 3*k. Let z be 2/(-3) - (-22)/6. Let l be z - (8/2)/(-2). Is n greater than l?
False
Let y = -2907/7 - -415. Which is smaller: y or 311?
y
Suppose -3*n - 3*t + 12 = -8*t, 3*n - 4*t - 12 = 0. Suppose 3*w - 2*w = n. Suppose -5*m = -2*d + 3*d - w, -d = -2*m + 3. Is d != -1/5?
True
Let k be -2 + (-20)/(-8)*40/10. Let x = 51 + -219/5. Which is smaller: x or k?
x
Let z = -4.1 - -0.1. Let s = -18 - z. Let v = 14 + s. Which is bigger: v or -13?
v
Let o(z) = -z**3 - 11*z**2 + 13*z + 2. Let m be o(-12). Let p be (11 + -1)/2 - 0. Suppose -10 = p*r - 0, 3*s = -2*r - 31. Do s and m have different values?
True
Let p = -11 - 5. Let u = -54 - -50. Which is bigger: p or u?
u
Let g = 3/2 + -47/30. Let v = 3 + 0. Let f be -1 + 1/(v - 2). Which is bigger: g or f?
f
Let n(a) = a**3 - 6*a**2 - 6*a + 12. Let z = 49 + -43. Let q be n(z). Is -24 bigger than q?
False
Let t be (1866/54)/(2/(-10)). Let a = t - -173. Which is smaller: 9 or a?
a
Let v be (-2)/(-1)*(49/14 + -4). Is v greater than -1/338?
False
Suppose 0 = 2*u + 5*x + 7, -3*x = 5*u - 5*x + 3. Let k be (2166/(-770))/((-6)/4). Let h = -20/11 + k. Is u equal to h?
False
Let d = 3 - 2.87. Let v = -0.15 + d. Is 1 at least v?
True
Suppose 1 + 3 = 2*v. Suppose -5*r = -5*a - 40, a + 5*r + 1 = 17. Let f be (a/v)/((-10)/35). Is f != 7?
False
Let z be (-9)/(((-9)/(-2))/3). Let a be 4/z - (-10)/16. Let y = -40 + 40. Which is greater: y or a?
y
Let a = -347 - -347.25. Are -0.9 and a nonequal?
True
Suppose -6*f - 9 + 135 = 0. Let b be 6/f*6/(-222). Which is bigger: 0 or b?
0
Let w = 1177 - 1706. Does w = 0.1?
False
Let f be 4/7 - 144/56. Which is smaller: f or -38/15?
-38/15
Let t(s) be the third derivative of -1/15*s**5 + 1/60*s**6 + 1/12*s**4 + 0*s + 12*s**2 + 0 + 1/3*s**3. Let u be t(2). Which is smaller: u or 8?
u
Let o = -0.0196 - 0.4804. Is o != -0.14?
True
Let l be 8/(-20) + (-10184)/140. Suppose -4*h + 3*h - 3*s = 58, 5*h - 2*s = -375. Let b = h - l. Which is bigger: b or 1?
1
Let n = -61.7 + 61.7. Is n greater than -0.151?
True
Let z be 44 + -1 + (-1 - 0). Suppose z = -3*n - 21. Which is greater: n or -20?
-20
Let o be ((-4)/5)/((-3717)/4130). Suppose n - 5*n = -24. Let w be 4/n + 3/9. Which is smaller: w or o?
o
Let y be (69/10 - 6)/(2/15). Is 6 >= y?
False
Let h = 170 + -634. Which is greater: -463 or h?
-463
Let p(m) = -m**3 + 9*m**2 + 10*m + 11. Let x be p(10). Let h be (-2)/x + (-7)/22. Which is greater: -1 or h?
h
Let c = 13.98 + -14. Suppose -2*q - 5 = 3*q, 4*b - q - 9 = 0. Let l be (b + 2 + -4)/(-2). Do c and l have the same value?
False
Let o = 23 + -577/25. Suppose 0 = -d, -u + 40 = 4*u - 5*d. Let x = u + -9. Is x <= o?
True
Let b be (-10)/12 - ((-1355)/42 - 8). Which is greater: 39 or b?
b
Let n(t) = 31*t**3 + 2*t + 1. Let j be n(-1). Suppose -13*z + 44 = -21. Suppose q - z*d = -36, -3*q + 2*d - 96 = -d. Which is smaller: j or q?
j
Let o be -1 + -1*(5 + 4/(-2)). Let g = 0.43 + -0.03. Let h = g - 0.5. Which is smaller: h or o?
o
Let w = -0.055 - -0.12. Let t = -0.055 - w. Which is smaller: 0.1 or t?
t
Let p = -3 - 6. Let t = -9.6 - p. Which is smaller: t or 0?
t
Let c = 173.1 + -175.1. Which is bigger: c or 0.07?
0.07
Suppose -4*v - 95 = -5*q, 8*v - 4*v = -3*q + 89. Let z = q + -32. Let a = -7 - z. Which is bigger: a or 4?
4
Let s be (-11)/(-10) - (-2)/5. Suppose 5*a - 42 = 23. Suppose 10*v - a*v + 9 = 0. Is s smaller than v?
True
Let h = 0.16 + 7.64. Let j = 1.3 - h. Let s = -6 - j. Which is smaller: s or 0.1?
0.1
Let r(u) = 2*u + 7*u**2 + 1 + 4*u - 1 - 1 + u**3. Let t be r(-6). Which is smaller: t or 2/7?
t
Suppose 2*i + 25 = 7*i + 5*q, -i - 4*q = -11. Let b be (2 - 4/i)*9. Suppose 5*n = 1 - b. Which is smaller: -6/5 or n?
-6/5
Let v = 12.12 + 1.88. Let k = -1 - -2. Is v at least as big as k?
True
Let b be 0/((-4)/(-4) - 2). Suppose 3*f + f - c + 17 = b, 0 = -4*f + 4*c - 20. Which is greater: f or 0?
0
Let j(o) = o**2 + o. Let t be j(-2). Suppose 2*p + 2*b - 1 = 7, t*b - 11 = p. Which is bigger: p or -2?
p
Let r be 2 - 6 - 1371/(-9). Is 147 less than or equal to r?
True
Suppose 0*q - 18*q + 558 = 0. Suppose -5*m + 4*v + 97 = -74, 0 = 5*m + 5*v - 135. Is m at least as big as q?
True
Let x(f) = -f**3 + 17*f**2 - 25*f - 74. Let m be x(15). Is m at most -1/308?
False
Let n = 24 + -31. Let i be (n/(-14))/(1/6). Suppose 0 = 2*t - i - 9. Which is bigger: t or 4?
t
Suppose 0 = -4*u + 5*m + 36 - 11, 2*u - 5 = m. Suppose u*f = 4*f - 12. Suppose 0 = -f*w + 5*h - 8, -1 = 2*w + 5*h - 4. Is 1 bigger than w?
True
Let v = -1191 - -1192. Let r = 11 + -1. Is r > v?
True
Let r = 548 - 542.72. Which is smaller: r or 0.1?
0.1
Let n be ((-245)/(-98))/((-10)/(-8)). Which is greater: 0.22 or n?
n
Let v = -4.8 - -33.8. Let x = v + -29. Is x at most as big as -14?
False
Let s = 64518/7 - 9195. Let d = 1599/77 - s. Let p(l) = -2*l**2 + l. Let o be p(1). Is o greater than or equal to d?
True
Let y be (-7794)/27 - -1*2/(-6). Which is smaller: -288 or y?
y
Let p(b) = 33*b + 6. Let l be p(2). Let k be (-6)/4 - -6*(-426)/l. Is -38 < k?
True
Suppose -38 + 107 = -3*y. Let m = 22 + y. Let b = -1/6 + 35/102. Is b greater than m?
True
Let m = -240901/270 + 8483/10. Let z be (-6)/2*44/(-3). Let i = m + z. Is 0 greater than i?
False
Let v = -15 - -20. Let c = 14 + v. Let d = 8 - c. Which is greater: -1 or d?
-1
Let c = -37.8 - -38. Let j = -0.15 + c. Is j less than or equal to 1/3?
True
Let t = 1.5 + -1.4. Let n = 0 + t. Is -3/10 at least as big as n?
False
Let l = 13 + 26. Let j = -30 + l. Is 7 != j?
True
Let u be (-1)/(-1) + 2/1. Suppose 2*i - y = 22, -2*i - i = u*y - 42. Suppose 2*l - 4*l + i = 0. Are l and 6 equal?
True
Let o be (42/(-28))/((-6)/16). Which is bigger: 5/2 or o?
o
Suppose -80*h = -85*h + 560. Let p = h + -87. Are p and 25 unequal?
False
Suppose -19*f - 1153 = 8499. Do -508 and f have the same value?
True
Let w(v) = v**2 - 6*v + 21. Let l be w(12). Let r = l + -117. Which is smaller: -25 or r?
-25
Let d = 380 - 1171/3. Which is bigger: d or 0.1?
0.1
Let k = -117 - -164.8. Let x = 48 - k. Which is smaller: 2.1 or x?
x
Let h = 0.1 + 0.9. Let c be 2*(-6 - -5) - 10/(-6). Let u = 2/15 + c. Is u greater than or equal to h?
False
Let n = -1.567 + -219.433. Which is smaller: -0.3 or n?
n
Suppose 4*p + 5*h + 96 = 0, 2*p + 3*h - 31 = -81. Is -18 bigger than p?
True
Let t(s) = -s**3 - 9*s**2 + 15*s + 34. Let c be t(-10). Which is smaller: 1/5 or c?
c
Let g be (-64)/(-8)*(-3)/((-6)/79). Is g >= 317?
False
Let h be (-5)/((-375)/(-1194)) + (2 - (-832)/(-400)). Suppose -r - 70 = 4*r. Which is greater: h or r?
r
Let w = 28.6 - 21. Let t = w + -6.6. Which is smaller: t or 3?
t
Let k(u) = -19*u + 158. Let s be k(9). Is s greater than -8?
False
Let u be (8/6 - 2)*9. Suppose -4*t + 5 = -7, 3*n - t = -21. Is u less than n?
False
Suppose i + 19 - 24 = 0. Let c = i + -4. Which is bigger: -3/7 or c?
c
Let d = -731 - -701. Is -2/33 <= d?
False
Let s be 67256/(-6) + 16/(-24). Let m = 33118/3 + s. Let p = m + 169. Is p greater than or equal to -2?
True
Let i be (4/(-6))/((-26)/117). Let l be 56/(-12)*((-27)/12)/i. Is 5 at most as big as l?
False
Let c(g) = -g**3 - 9*g**2 - 6*g + 2. Suppose -24 = i + 2*i. Let o be c(i). Let j be ((-120)/100)/(o/5). Which is bigger: 1 or j?
1
Let c be 1482/(-8) - (-9)/(-12). Let t be (8/c)/(2/22416). Let o = t - -482. Which is smaller: o or 1?
o
Let v(a) = -a + 8. Let k be v(8). Suppose -4*b - 77 - 35 = k. Which is smaller: b or -27?
b
Let i = 717 - 717.14. Let u = -1 + 2. Which is smaller: i or u?
i
Let q = 9/52 + 1/13. Is q < 63?
True
Let q = -1091.939 + 1093. Let j = q + 0.009. Let k = -0.07 + j. Which is smaller: -5 or k?
-5
Suppose 3*n = -3*h - 9, 4*n - 6 = 6*n - 6*h. Are 11 and n equal?
False
Let y = -1728 + 1729. Are y and -0.0647 non-equal?
True
Suppose 5*a - 5*o - 1175 = 0, 2*a - 6*a = 5*o - 985. Let k be (18/16)/(a/64). Is 2/13 smaller than k?
True
Let h be (-12)/(-60) - (-52)/(-10). Suppose 2*c + 3 = -3. Let v = 0 + c. Is v less than h?
False
Suppose 7 - 7 = -2*g. Suppose g = 6*v - 54 + 24. Is 6 at least as big as v?
True
Suppose -14*h = 3*h - 170. Which is smaller: h or -7?
-7
Let h(r) = -r - 4. Suppose -40 = -2*u - 2*u. Let y = 5 - u. Let v be h(y). Which is smaller: 3/4 or v?
3/4
Suppose -4*k - a + 48 = 124, -3*k - 5*a = 40. Let o = -771 - -539