)/15*-7. Which is bigger: t or 7?
7
Let c = 409 + -404. Suppose 0 = 6*u - u. Suppose o - 2*t + 5 = 2, -3*t + 12 = u. Does o = c?
True
Suppose z - 3 = 5. Let n be 0 + -2 + 2 + z. Let s be (1/2)/((-10)/n). Which is greater: s or -1?
s
Let r = 27.3 + 211.7. Let j = r - 241.02. Let q = j + 0.02. Is q less than -1?
True
Suppose 0*d + 12 = 4*d. Let f = -9 + 14. Suppose -q = -0*q - 4*x - 3, -2*q - d*x = f. Is q >= -2?
True
Let i = -8891/36 + 247. Suppose -3*h + 5*x + 5 - 24 = 0, -h - 3 = -x. Suppose -3*c = 4*n - 2 + 6, -2*n - 2 = -h*c. Are c and i unequal?
True
Let v = -1.161 - -10.161. Let y be 0 + 1*(-1 - -1). Do y and v have different values?
True
Suppose 2*d + 9 + 13 = 0. Let f be 23462/(-53196) - d/22. Let j = -2/1209 - f. Which is bigger: j or 1?
1
Let p(t) = -7*t**2 + 10*t - 15 - 4 + 3*t + 3 + t**3. Let c be p(5). Is 4/43 greater than c?
True
Let r be 2/(2 - 8/3). Let j be 36/162 - 34/(-9). Let t be ((90/j)/5)/(-3). Which is smaller: t or r?
r
Let f = -1152/13 + 42715/481. Is -1 >= f?
False
Let l = -0.095 - -3.095. Is 8.6 at most as big as l?
False
Suppose -12*v - 53*v = -2470. Is 36 less than or equal to v?
True
Let i be 1980/(-54) + -1 + -2. Let w = -40 - i. Which is smaller: w or -1?
-1
Let m(y) = y**2 + 16*y + 24. Let a be 32/(-48)*39/2. Let r be m(a). Let i be (r/(-12) + -1)*0. Which is smaller: 2/23 or i?
i
Suppose -4 = -v - 4*c, v + c = 3*c - 8. Let m be ((-4)/3)/(v/(-18)). Let j be 2/m*9*-1. Is j at most 5?
True
Let g = -5.828 + 0.028. Let t = -3.57 - -7.37. Let o = t + g. Is o bigger than -2?
False
Let f = -26 + 26. Let i = -22 + 16. Are i and f equal?
False
Let v = 2/191 + 376/573. Let k = -3.1 - 0.9. Let w = k - -1. Is w at least v?
False
Suppose 13*b - 14*b - 20 = -5*v, 8 = 2*v - 5*b. Let o(a) = -2*a - 1. Let f be o(-3). Which is greater: v or f?
f
Suppose -5*r + 38 = 8. Suppose -90 = -r*f + f. Is f greater than 18?
False
Let u = -105 + 943/9. Let l(s) = 2*s + 4. Let t be l(-3). Let f be t*(-2)/8*2. Which is greater: u or f?
f
Let y be (-4)/(-3)*(-15)/(-10). Suppose -2*n - 32 = y*n. Let a be 2*(4/n - 3). Is -7 != a?
False
Let q be (3/(1 - -11))/(63/(-16) - -4). Suppose 0*t + 4*t = 40. Suppose -3*i = -t + 1. Which is bigger: q or i?
q
Suppose 4*y = -8, 4*d - 12 = 3*y + y. Which is smaller: d or -208?
-208
Let w = -1182 - -1189. Let s(u) = -u + 6. Let k be s(6). Suppose w*j = -k*j. Which is greater: j or -2?
j
Suppose 0 = -2*h - 4*f + 6 + 8, -h - 3*f + 11 = 0. Are 1/93 and h equal?
False
Let t = 8 + -7.975. Let y = 25.025 - t. Is y less than or equal to 0.1?
False
Let y(t) = 7*t**2 - t. Let r be y(1). Suppose -3*a + i + 255 = 2*i, 3*a + 5*i = 243. Let w be (5 - r)/(a/4). Do 0 and w have different values?
True
Suppose -4 = -290*r + 288*r. Which is greater: 83 or r?
83
Let r = -5 - 48. Is r at most as big as -105/2?
True
Let s(j) = j**3 - 11*j**2 - 8*j - 10. Let v be s(12). Suppose 8 = 5*n + v. Is -4 >= n?
True
Suppose -9 = -29*h + 26*h. Let x = 2 - 2. Let m = 2 + x. Is h at least as big as m?
True
Let c be ((-63)/35)/(3/(-10)). Let p = c - 2. Let d be (6/p)/3*2. Which is bigger: -2/63 or d?
d
Let v = 3 - 2.1. Let w = v - 0.6. Let u = -0.0517 + 0.2517. Which is smaller: w or u?
u
Let h be (2/(-5))/(55/25). Let w = 2641 + -2635. Is h greater than or equal to w?
False
Suppose 0 = -2*j + 7*j. Let p = -5336/9621 + -1/1069. Which is bigger: j or p?
j
Suppose 0 = 34*m - 39*m - 5. Let p be (((-5)/(-6))/(-5))/(m/3). Which is smaller: p or -5/3?
-5/3
Suppose 4*o - 5*z = 6222 + 5625, -3*o + 5*z + 8879 = 0. Let u be 0 - -2 - o/312. Let s = 23/3 + u. Does s = -1?
False
Let b = 3.2 - 3. Let f(c) be the first derivative of -c**2 - 6*c - 24. Let k be f(-4). Are k and b nonequal?
True
Let i = -1605 - -1603. Is -62/47 at least as big as i?
True
Let f = 17 - 11. Let u = 10.7 - f. Let c = u + -5. Is c smaller than -0.3?
False
Suppose 4*n = 4*p - 20, -2*n + 11*p + 5 = 12*p. Is n < -1/15?
False
Let u = 6 - 12. Let j(f) = f**3 + 6*f**2 + f + 8. Let o be j(u). Let i be (o/10)/((-3)/5). Is i smaller than 0.9?
True
Suppose 5 = -2*c + g + 14, 5 = -5*g. Let b be (-9)/((-1)/(2/3)). Which is smaller: c or b?
c
Let i be 2/((4 - 3) + 2). Is i at most as big as 4?
True
Suppose 0 = -5*n - 20, 2*x - 9*n = -7*n + 356. Which is greater: 172 or x?
x
Suppose q - 12 = 4*q, 3*v = 3*q + 21. Suppose -d - 2*z = -6, v*d - 2*z = 13 + 21. Which is bigger: 8 or d?
d
Let t(i) = 45*i + 674. Let j be t(-15). Which is bigger: j or 0.886?
0.886
Let g = 3.41 - 3.31. Do g and -98 have different values?
True
Let t be 190 - ((-18)/6 + 5). Suppose 4*u = 8*u - t. Is u at most as big as 45?
False
Let j = -155/8 + 136/7. Let v = -143/56 + j. Which is smaller: v or -4?
-4
Let q = -873 + 870. Let l be (-2)/4 - (-39)/54. Are q and l non-equal?
True
Suppose 3*u - 4*w + 3 = -2, -3*u + 2*w + 5 = 0. Suppose u*m - 19 = 11. Let o = -9 + m. Which is bigger: o or -1?
-1
Let m(h) = h**2 - 33. Let l be m(-5). Is -1 <= l?
False
Suppose 614*w = 608*w + 30. Which is smaller: -0.014 or w?
-0.014
Suppose g + 5*z + 28 = 4*g, g + z = -4. Let u(m) = -m**3 + 4*m**2 - 5*m + 3. Let k be u(2). Let y be ((-45)/(-99))/(0 - k). Is g not equal to y?
True
Suppose u = -3 + 8. Suppose 39 = -3*r - 0*v - v, -5*v - 75 = u*r. Let x = 261 - 272. Which is bigger: r or x?
x
Let r(q) = q**3 + q**2 - q. Let f be r(0). Let p = f + 1. Let b be (2 + -14)*p + 2. Is b smaller than -10?
False
Let x(a) be the second derivative of a**5/20 - a**4/12 - 5*a**2/2 - a. Let b be x(0). Suppose -4*n = -0*n. Is b <= n?
True
Let b(u) = 7*u + 3. Let q(k) = 13*k + 7. Let i(j) = -11*b(j) + 6*q(j). Let f be i(-5). Let w = f - 4. Which is bigger: w or 3/13?
3/13
Let p(w) = w**2 + 13*w - 140. Let g be p(-23). Suppose l = -l + 180. Is l < g?
False
Let c be -2*2 - 11871/(-2967). Is 0 greater than c?
False
Suppose 4*y - 2 = 6. Suppose 0 = y*v - 6, 7*s = 3*s + 4*v + 196. Which is smaller: s or 53?
s
Let c = 129 + -119. Let q(a) = -a**3 - 6*a**2 - 2*a - 1. Let r be q(-6). Suppose -4*b + 25 = -r. Which is smaller: b or c?
b
Suppose t + 11 = -0*t. Let n = 14 + t. Suppose -3*z - 17 = -2*o - 4, 2*z - n*o = -17. Does z = -2/29?
False
Let x = -98 + 97. Is -1 not equal to x?
False
Let u(a) = a**2 + 4*a + 11. Let d(j) = -j**2 - 4*j - 10. Let s(k) = -7*d(k) - 6*u(k). Let i be s(-2). Let f be (40/12)/(11/3). Are f and i nonequal?
True
Let f be 2/4 + 150/(-4). Let u be 30/(-15)*(-259)/(-14). Are f and u equal?
True
Let f be 6/15 - 84/10. Let y be f + 2/4*-2. Let m = -20 - y. Are -10 and m equal?
False
Suppose -4*b - 49 - 13 = -2*g, -2*g - 10 = 0. Let n be -1 - (0 - (-2 - 11)). Is n != b?
True
Suppose 0*g - g = 5*m - 14, -2*m = -4. Let s be (-2)/g + -94*4/16. Is -21 equal to s?
False
Let c(m) = m**2 - 2. Let h be c(-4). Let u(i) = -14*i**2 + 57*i + 171. Let j be u(6). Do h and j have the same value?
False
Let q(y) = -y**3 - 8*y**2 + 10*y - 8. Let n be q(-8). Let g = n + 529/6. Is 14 less than g?
False
Let a = -257498/3 + 84829. Let s = 1013 + a. Is s < 8?
False
Let j(a) be the first derivative of -a**6/360 + a**5/60 + a**4/6 + 2*a**3/3 - 4. Let y(d) be the third derivative of j(d). Let g be y(5). Are -12 and g equal?
False
Suppose -2*i = -3*n - 96, 146 = 3*i - 6*n + n. Let f = -40 + i. Which is smaller: 5/3 or f?
5/3
Let r = -6 + -5. Let q = -13 - r. Suppose 2*v - v = 0. Is q < v?
True
Suppose -2*n - 8 + 4 = 0. Let g = 20 - 23. Let f = g + 3. Is n less than or equal to f?
True
Suppose -c + 2*d - 7 = 0, 2*c - 11 = -4*d - 1. Let o be -3*(c - 0) - 13. Let z be (-1)/(-5) + (-3)/o. Is z not equal to 1?
True
Let b = 6848/975 - 182/25. Let t be -4 - -1 - (-1388)/546. Let d = b + t. Are -2 and d equal?
False
Let p(j) = 5*j - 39. Let r be p(12). Let t be (-9)/42*r/48. Is 0 < t?
False
Suppose -1000 = -65*f + 73*f. Which is greater: f or -126?
f
Let v(n) = n - 3. Suppose -4*h = -y + 14 + 2, -4*y = 4*h - 4. Let x be v(y). Which is smaller: x or -5/12?
-5/12
Let m be 6/(-12)*(0 - 0) + 24. Suppose n - m - 9 = -o, 0 = 5*o + 3*n - 161. Is 30 at least as big as o?
False
Suppose p + 8 = 5*s - 1, -s + 7 = 5*p. Let v = 168/167 - -497/668. Which is smaller: v or s?
v
Let j be 0 + (-1)/8 + (-835)/40. Is j < -1/3?
True
Let r = 13 + -4. Let l be (6/r)/((-4)/(-186)). Let d be (-8)/(-32) - l/92. Which is smaller: d or 0?
d
Let n = -20.9343 + 0.0343. Let a = 18 + n. Let z = a - 1.1. Which is grea