t q = 165 - 165.15. Which is smaller: 11 or q?
q
Suppose -23*x + 26*x = 3. Do -1/220 and x have the same value?
False
Let q be (9 - 44/(-10))*-15. Which is smaller: 2/5 or q?
q
Let h(u) = u + 9. Let l be h(-7). Let a be l/(2/2 - -133). Suppose -4*n + 0*n + 1 = o, n - 4*o + 4 = 0. Which is bigger: n or a?
a
Suppose 8*o + 70 = 3*o. Let m(b) = -5*b - 58. Let a be m(o). Are a and 14 equal?
False
Let v = 277 - 269. Which is greater: 64/7 or v?
64/7
Suppose -3*n = 169 - 553. Is -1 at least n?
False
Let u be (-1)/48*-4*340/114. Let i = 1/38 - u. Is i <= 2/5?
True
Let o = -354 - -462. Which is greater: o or 0?
o
Let o be (-56)/(-140) + 406/(-990). Is 1 not equal to o?
True
Let v = 0.123 + 16.677. Let f = v - -6.2. Is -2 smaller than f?
True
Let r(b) = -21*b + 135. Let o be r(7). Is -10 greater than or equal to o?
True
Suppose 4*v - 2*v + v = 0. Which is bigger: v or -1/30?
v
Let w = -9/10 + 1/2. Are -280 and w equal?
False
Let t be (-4)/(-2) + -2 - -4. Suppose 0*y = y - 2*u + 7, t*u = -5*y - 49. Suppose 0*f = f + 10. Is y at least as big as f?
True
Let s = -39 - -35.6. Let t = -3.3 - s. Which is bigger: 1 or t?
1
Let x = 63 - 23. Which is bigger: 42 or x?
42
Suppose -61*o + 2 = -63*o. Which is bigger: o or 1/25?
1/25
Suppose 0*h - 5*h = 40. Let k be ((-9)/(-6))/((-2)/8). Let p = k - h. Is p >= 3?
False
Let q be (-1)/4 + 23/(-4). Let z be q/(-15) + (-216)/(-10). Let x = -3739 + 3738. Which is greater: z or x?
z
Let i be (-2)/(12/26) - (-11 - -7). Let o = 116.08 - 113. Let m = 0.08 - o. Which is greater: m or i?
i
Let o be 369/(-3 - (-1 - 4/8)). Let f = 2708/11 + o. Are 1 and f non-equal?
True
Let b = 3.1 + -3.3. Which is bigger: b or 25?
25
Suppose -20 = -2*l - 3*l. Suppose 0 = l*s + 25 + 63. Let m be 3*(2 + 155/(-15) + 1). Are s and m equal?
True
Suppose -2*y + 444 = -2*c, -2*y + 3*c + 472 = 25. Is y greater than 220?
False
Suppose -2*x = -5*r - 534 - 203, -4*r - x - 600 = 0. Is r < 3/2?
True
Suppose 0*i - 2*i = -106. Let p = 1 - i. Let g = 262/5 + p. Which is greater: -1 or g?
g
Suppose -3*t = -t + 8. Let w be -4 - (-3 - (-9)/t). Is w less than 1?
False
Let p = -26 - -18. Let t(l) be the second derivative of l**3/6 + 2*l**2 + 77*l. Let y be t(p). Is -4 at least y?
True
Let c = -15.7 + 111.7. Let l = c - 98. Is l less than -7/2?
False
Suppose 132 = 4*u - 0*u. Let z be (-2 - 11 - -15) + 31. Are u and z nonequal?
False
Let g = 1.9903 + 0.0097. Do g and -3/28 have different values?
True
Let y = -2293 - -217833/95. Suppose 2*c = 3*c. Are y and c equal?
False
Let c = -23.05 - -0.05. Let x = -23.1 - c. Let u = -3.9 + 4. Which is smaller: u or x?
x
Suppose -45 = -2*z + 4*l - 5, 5*l + 68 = 4*z. Let r be (-1 - (-354)/117) + z/(-6). Are 0 and r nonequal?
True
Suppose 2*t = 2*y + 28, 0*t + 5*t - y - 70 = 0. Let q(g) = g + 16. Let n be q(t). Let v be (14/3)/((-20)/n). Which is bigger: 0.1 or v?
0.1
Let f(v) = v**2 + 5*v + 1. Suppose -2*w + 35 = -7*w. Let l be f(w). Let c = 7 - l. Is -7 > c?
True
Let m be (9 - 13) + -2 + 297/39. Is m > 2?
False
Let t be 2/(-5) + (-97)/(-5). Let p(a) = a**3 - 19*a**2. Let y be p(t). Let s = -236/5 - -47. Is y less than or equal to s?
False
Let a = 0.97 + -0.8. Let n = -0.07 + a. Is n <= 0?
False
Suppose -18*i + 16*i + 4 = 0. Suppose 3*s + i*q - 60 = 0, 0 = 2*s - 4*q - 48 + 8. Which is smaller: 19 or s?
19
Let h be (9 - 5)*(-2)/(-24). Are h and 2.59 nonequal?
True
Let r = -3.7 + 5.7. Let h = 1 + 0. Let v = r + h. Which is greater: v or 0.2?
v
Let a = -6 + 8. Suppose 5*k + 4*v = 30, a*k + v + v = 14. Is k less than or equal to 1?
False
Let i be (-185)/(-3) + (-8)/(-24). Let r = -61 + i. Is r >= 1/98?
True
Let x be 6/4 + 0 + 1. Let m(p) = -8*p - 60. Let g be m(-8). Which is smaller: x or g?
x
Let l(h) = -8*h**3 - 4*h**2 - 12*h - 1. Let j be l(-3). Is 212 greater than or equal to j?
False
Let d be 25/9 + -3 + (-14)/(-63). Which is bigger: d or 7/16?
7/16
Let z = 13743/47435 - 6/895. Does z = 0?
False
Let k = -586 - -29887/51. Let u = 1932 + -1932. Which is smaller: u or k?
u
Let t(a) = 3 - a**2 + a - 2*a + 0 - a**2 - a**3. Let b be t(-2). Suppose 0 = 2*v - 11 - b. Is v greater than or equal to 7?
True
Let h(f) = -f + 8. Suppose 4*c + 4*p - 20 = -0*c, -30 = -4*c + p. Let z be h(c). Is z bigger than 2/19?
True
Let l = 2.633 + -2.6. Let b = l - 0.025. Which is smaller: b or -1?
-1
Suppose -4*z - 4 + 24 = 0, 0 = -2*w - z - 233. Let k = w - -473/4. Let j = 0.6 + 0.4. Is k <= j?
True
Let j(s) = s**3 - 3*s**2 + 59*s - 248. Let n be j(4). Let d(q) = -q**2 + 6*q + 10. Let c be d(7). Is n <= c?
False
Suppose -2*z - 8 = -3*x - 3*z, 2*z = 4*x - 4. Let v = -2/293 + -1457/1172. Which is smaller: v or x?
v
Let x(q) = -q**2 - 3*q + 10. Let m be x(-4). Let g be 0/(-4) + (4 - m). Let f be 3/12 + (-2 - g). Is 0 >= f?
False
Let v = 108 - 53. Let p be (-4)/(-10) - 27/v. Suppose -j = 5*o + 9 + 11, -j + 2*o = -8. Which is greater: j or p?
j
Let x(i) = -i**3 - 3*i**2 + 25*i - 56. Let b be x(4). Which is smaller: b or -474/7?
b
Suppose -50*c = 1118 + 5382. Do c and -131 have different values?
True
Suppose 2*q - a - 4*a - 27 = 0, -2*q - 8 = 2*a. Let z = -266748089/498256 - 5/45296. Let c = 535 + z. Is c < q?
True
Let h(g) be the second derivative of 1/2*g**3 + 9*g - 5/2*g**2 + 0. Let j be h(2). Is -2/25 not equal to j?
True
Let t = -10 + 7. Suppose -2*a = -5*m - 2, -m + 0*a + 2*a = -6. Which is bigger: t or m?
m
Let h(u) = -u**2 + 10*u - 7. Let m be h(7). Let c(p) = p**2 - 12*p - 1. Let o be c(13). Is o not equal to m?
True
Let w be ((-5)/(105/(-6)))/((-621)/(-483)). Is w at least as big as -1.01?
True
Let b = 18 + -18. Let v = 1/3 - b. Let q be (-3 + 3)/2*1. Which is smaller: q or v?
q
Let r(z) = 9 + 11*z**2 + 0*z**2 - 3*z**2 + z**3 + 7*z. Let h be r(-7). Suppose -3*l = -5*s + h, 4*s - 2*l - 3 = 3. Do 1/13 and s have the same value?
False
Let q be -12 + 10 - (-953)/475. Which is greater: 0 or q?
q
Let b(k) = -k + 5. Let a be b(5). Which is smaller: -13/10 or a?
-13/10
Suppose 0 = 5*f - 20, f - 2*f = q + 30. Let r = -30 - q. Let c(s) = s**3 + 5*s**2 - 5*s + 7. Let a be c(-6). Do r and a have the same value?
False
Suppose 0*x + 2*x = -4*h + 16, 5*h = 3*x + 31. Suppose -20 = 2*w - h*w - 5*g, 8 = w + 3*g. Suppose w*c = -3 - 7. Is -2 > c?
False
Suppose -2*l - 22 = -n + 28, -n - 4*l = -80. Suppose 2*s + n = -2*s. Let v = s - -12. Is v at most -3?
True
Let a(o) = o**3 + 4*o**2 - 9*o + 24. Let s be a(0). Which is smaller: s or 25?
s
Suppose 3*o = 4*j + 21 + 25, -6 = -3*j. Which is greater: o or 17?
o
Suppose -b = -3*r + 8 - 3, -4*r - b - 5 = 0. Is -1/354 less than r?
True
Let l(p) = -2*p**2 + 6*p + 1. Let a be l(3). Suppose r - a = 8. Is 15/2 > r?
False
Let z be 17/(-42*8/12). Let q = z + 6/7. Are q and 1/3 nonequal?
True
Let p = -5967 + 5916.29. Let l = p + 51. Is l at least -1?
True
Let s(y) = -y**3 + 7*y**2 + 10*y - 12. Let i be s(8). Let k be i/20 + (-7)/10. Let j be (-3)/(-2)*8/(-12). Which is smaller: j or k?
j
Suppose 181*p - 350 = 188*p. Is p < 2/3?
True
Let u(d) = d**2 + 4*d - 1. Let f be u(-7). Suppose 6*k = 11*k + f. Let o be 192/555 + k/10. Which is smaller: o or 1?
o
Let x(z) = 3*z**3 - 2*z**2 + z - 5. Let c(s) = 4*s**3 - 3*s**2 + s - 8. Let v(a) = 5*c(a) - 7*x(a). Let q be v(0). Which is greater: -4 or q?
-4
Suppose 27 + 0 = 3*c. Suppose -c*v = -5 - 4. Let d(s) = -s + 2. Let f be d(2). Which is greater: v or f?
v
Let a(x) = -x**2 + 4*x + 14. Let y be a(6). Suppose -20 + y = -3*n. Let o = -3 + n. Are 3 and o non-equal?
False
Suppose -20*u = -18*u + 5*s + 61, -2*u = -2*s + 96. Which is greater: -171/4 or u?
-171/4
Let p = 869 + -6085/7. Suppose 0*i = -5*i + 25. Suppose -20 = 2*u + 4*v, -i*u + 2*v = 3*v + 5. Which is greater: p or u?
u
Let v = 1278 - 1277.43. Is 9 < v?
False
Let v be (-2)/7 - 14008/(-224). Which is bigger: 63 or v?
63
Suppose -15*u = -19*u + 24. Suppose -10 = -3*n + 11. Which is smaller: n or u?
u
Suppose 2*w = o + 21, 5*o + 14 = -7*w - 23. Is -11 less than or equal to o?
False
Let a(r) be the second derivative of r**3/2 + r**2 - 10*r. Let j be a(-9). Let o = 1 - j. Is o < 25?
False
Let t(s) be the first derivative of s**3/3 + s**2/2 - s + 18. Let u be ((-3 + 3)/(-4))/1. Let k be t(u). Is k less than or equal to 20?
True
Let h(x) = -25*x - 292. Let k be h(-12). Let m = -2 - -11. Which is smaller: m or k?
k
Suppose 2*b + 2*v - 16 = 12, 