?
h
Let z(v) = -6*v - 25. Let d be z(-13). Let i(g) be the first derivative of g**4/4 + 4*g**3 + 3*g**2 - 2*g - 3. Let h be i(-11). Are d and h unequal?
False
Let c = 17 - -62. Let j = 269502 - 269424. Which is smaller: j or c?
j
Let h be ((-4)/10)/((-24)/35). Suppose -32*y + 27*y - 5*l = -115, -3*y + 65 = -l. Suppose -26 = -y*w + 18. Which is bigger: w or h?
w
Let n be (-1)/6 + (-1 + 5 - 9245/258). Does n = -412/13?
False
Let n = -17418 - -17419. Is n at most as big as 839?
True
Let g = -2.71 - -143.71. Let p be (-1)/4 + 36/(-432). Is g bigger than p?
True
Suppose 0 = -7*a + 10*a - 4*v - 82, -3*v = -3*a + 75. Which is smaller: a or 88?
a
Let w be 1 - (12/18 + (-390)/(-9)). Suppose 0 = 13*q - 275 + 938. Let i = q + 9. Do w and i have different values?
True
Suppose 21*k = 17*k + 208. Let u = k + -50. Suppose 2*g - 15 = -5*w, 3*g + 5*w - 15 = u*g. Which is smaller: g or 6/17?
g
Let w(a) = 242*a - 4550. Let b be w(17). Which is smaller: -6 or b?
b
Suppose 4*j - 4*l + 225 + 1051 = 0, 2*j + 5*l + 666 = 0. Is j equal to -323?
True
Let g = 903 + -6474/7. Let a be (12 + (-19 - -9))/((-7)/(-1)). Which is bigger: g or a?
a
Let f = -206 - -205. Let r = 86232903/25 + -3450115. Let u = r + 799. Is u <= f?
False
Let p = -3177 + 3186. Let g = 1 - -4. Suppose 0 = g*h - 10 - 20. Is h at least as big as p?
False
Suppose -n - 5 = 0, -5*v - 74*n - 5705 = -73*n. Is -1137 bigger than v?
True
Let r be (20/(-5))/((-7)/(-5341)*7). Do r and -432 have the same value?
False
Suppose 104*u - t = 102*u + 47, 3*t - 9 = 0. Which is smaller: u or -0.12?
-0.12
Let t = -59.85 + -0.15. Let n = 157 + t. Do -2 and n have the same value?
False
Let l be (-10283)/2041 - (1 + -2) - -4. Let h = 447/628 - l. Which is greater: h or 32?
32
Suppose 3*l + 5*q - 23944 = 0, 4*l - 4*q - 31951 = -7*q. Which is smaller: 7995 or l?
l
Suppose -168 + 18 = -15*k. Suppose -k*u + 8 = -32. Suppose 63 - 43 = u*i. Which is bigger: 10 or i?
10
Suppose -3*o - 40*q = -44*q + 766, -988 = 4*o + 3*q. Does -247 = o?
False
Let d = -1246 - -1168.9. Let r = 126 + d. Let n = r + -49. Which is smaller: 5 or n?
n
Suppose -34 - 16 = 2*d. Let q = -70 + d. Let j be (-6)/8 - q/20. Which is greater: j or 7?
7
Let h(a) = -10*a - 117. Let m be h(-11). Let t(l) = 12*l + 82. Let g be t(m). Let y = 4 - 3. Is g less than y?
True
Let n = 0.048 + -2.048. Let x = -0.0706 + -17.9294. Which is smaller: x or n?
x
Let q = -191532 - -191531.911. Let k = -2 + 1. Is k != q?
True
Let q = -161 - -132. Let u = 71 + q. Which is smaller: u or 43?
u
Let s = 8646.55 + -8646. Let w = -24 + 23.45. Let b = s + w. Is b at least 61?
False
Suppose -5*p = -4*d - 13630, p + 1594 = 2*d + 8400. Which is bigger: -3399 or d?
-3399
Let a = -1681 - -1863. Let q = 0.06 + 0.04. Which is greater: q or a?
a
Let n = 5817 - 5841. Is n greater than or equal to 2/21?
False
Let h be 30/(-4)*12/(-6). Let w(k) = -k**2 - 7*k + 4. Let b = -126 - -122. Let l be w(b). Is l at least as big as h?
True
Let y = -6306.5 - -6309. Which is greater: 36 or y?
36
Let t(r) = -r**3 - 13*r**2 - 3*r - 54. Let o be t(-13). Let d be ((-3424)/40)/(6/o). Is 215 less than d?
False
Let g(u) be the second derivative of -u**5/20 + 2*u**4/3 - 13*u**3/6 - 3*u**2 - 18*u. Let w be g(6). Let d = 667/5 + -134. Which is smaller: d or w?
w
Let q be (3/2)/((-1)/12). Let a = -9109.8 - -9110.8. Which is smaller: q or a?
q
Let i(m) = -41*m + 712. Let u be i(17). Which is bigger: u or -124?
u
Let t = -23184 + 23184. Let s = -1325 - -945. Which is bigger: s or t?
t
Let b(g) = 6*g**2 - 4*g - 4. Let h = 30 + -22. Let i(p) = 17*p**2 - 11*p - 11. Let s(x) = h*b(x) - 3*i(x). Let y be s(-1). Is -15/8 at most as big as y?
False
Let c = 5460723/175 + -31204. Is 0 > c?
False
Suppose 27*v - 2*v = 764 + 3611. Is v <= -2?
False
Suppose 36*w + 7332 = 32*w. Let p = w - -104477/57. Is p greater than or equal to -1?
True
Let l = 67 - 17. Suppose 52*q - l*q = 212. Let o = q + -62. Which is greater: o or 1?
o
Suppose -3*g + 4*x + 6176 = 0, 5*x + 3791 = 2*g - 338. Let k be (-189)/g + (-4)/(-38). Is k less than 0?
False
Suppose -4*m = 4*c - 48, 29 - 80 = -5*c - 2*m. Suppose 0*y + 0*y = c*y. Is y at most as big as 3/151?
True
Let m = -1.68 + -92.32. Let b = m - -131. Which is smaller: 0.3 or b?
0.3
Let w be (-10)/(-12) - (259344440/(-6456720) - -41). Are w and -1 nonequal?
True
Suppose -10*i - 140 = -3*i. Let w(x) = -x**3 - 16*x**2 + 46*x - 52. Let o be w(i). Is o <= 628?
True
Let i(q) be the third derivative of -q**6/120 - 3*q**5/20 - 5*q**4/8 - 35*q**3/6 + 3*q**2 - 22*q. Let m be i(-6). Is m < -51?
True
Let w = -9470 + 3958457/418. Which is greater: -1 or w?
w
Suppose 3*x + 1585 = 8*x + 3*q, -q = 3*x - 947. Let d = x + -294. Which is smaller: d or 0.01?
0.01
Let r = 9743 - 9743.07. Is 47 greater than r?
True
Let m(c) = c**2 + 5*c + 3. Let z be m(-5). Let r be (-7 - -7)/(5 + -6 + z). Which is smaller: r or 3/196?
r
Suppose 2*p = 18 - 14, -2*v - 4*p = -16. Suppose 46 + 34 = -v*h. Which is smaller: -19 or h?
h
Let l be ((-316)/(-79))/(6/334). Which is greater: 222 or l?
l
Let v(r) = 8*r**3 - 92*r**2 - 27*r + 28. Let z be v(12). Which is bigger: z or 1125/4?
1125/4
Let m be 46740/24 + (1/(-2) - 1). Are 1947 and m non-equal?
True
Suppose -2*i = 2 - 22. Suppose -14*y - 2*c = -11*y - 19, 4*y + 2*c - 24 = 0. Suppose 0 = -y*a + 4*h + 14, 2*h = -5*a - 2*h + 6. Are i and a unequal?
True
Let i(j) = -j**3 - 4*j - 3. Let l be i(-2). Let d = 313896 - 313866. Which is smaller: l or d?
l
Suppose d - 6372 = -3*u + 1702, -3*u - 3*d + 8082 = 0. Let o be u/(-40)*(1 + 3). Which is smaller: o or 1?
o
Let l = -150 - -154. Suppose -5*a = -z - 40, 4*a - 38 = z + l. Which is bigger: z or -47?
-47
Suppose -2*f + b - 195 = -15, 0 = -4*b - 8. Which is greater: -97 or f?
f
Let j(b) = 6403*b + 12742. Let z be j(-2). Let t(p) = -63*p**3 - p**2 + p. Let w be t(1). Is z < w?
True
Let g = 3333 - 3331. Let x = -0.12 + -0.36. Let f = x - -0.1. Is g < f?
False
Let y = 904.3 + -855.07. Let z = 0.23 - y. Is z greater than -1?
False
Suppose 0 = 11*d - 14 + 36. Let s be ((-530)/(-20) - d) + (-2)/4. Is 24 < s?
True
Suppose -148*k + 10 = -146*k. Suppose -k*n - 12 - 16 = 3*a, 5*a - 10 = 3*n. Which is greater: -1/158 or a?
-1/158
Let l = -1091 - -632. Which is smaller: -456 or l?
l
Let q(y) = -y**3 + 3*y**2 + 292*y - 882. Let m be q(3). Is m greater than -147?
True
Let r be 6992/4047*1/(-3). Let i = -38/71 + r. Which is greater: i or -1?
-1
Let n = -0.327 + 1.117. Let c = n + -0.32. Is 1 < c?
False
Let m be 2*3711/(-2478) + (-15 - -18). Let f = 7444/2065 - m. Is 4 >= f?
True
Let t = -6.66 - 51.14. Let h = -58 - t. Is 112 at most h?
False
Let s(r) = -5 + 4*r + r**2 - 21 - 14*r. Suppose -59*b + 421 = -404 + 117. Let c be s(b). Is c at most as big as -4.8?
False
Suppose 0 = 5*w - 4*n + 64, 4 = w + 7*n - 12*n. Let q be (-302)/w - 2/(-64)*4. Let l(g) = g**2 + 3*g - 8. Let c be l(-7). Is c < q?
False
Let k = 30.088 - 29.4. Let t = k + 0.312. Is -7/2 at least as big as t?
False
Let x = 0.081 - 2.681. Let g = x + 3.6. Which is smaller: 5 or g?
g
Let t be 17 + -17 - (-4)/2. Let g be (40/(-70))/(t/(-14)). Let m be (-2 - -10)*6/g. Is m greater than or equal to 12?
True
Let f = 76 + -71.3. Let u = -3 + f. Let s = -3.7 + u. Is s at least as big as 0.2?
False
Let m be (-81)/108*(-3)/(9/12). Suppose -4*n - 98 = 5*l, m*n = n - l - 46. Is -21 != n?
True
Suppose 0 = 15*q - 25*q + 70. Suppose 4*p + 11 = s - 0, -4*s = 4*p - 4. Suppose -27 = -4*j - s*d, j - 6*j + 42 = d. Which is greater: q or j?
j
Let c = 6200 - 545607/88. Is c at most 1?
True
Let x be 56/196 - (-74)/(-175). Which is greater: x or -1?
x
Suppose -33*b + 10*b + 23 = 0. Let h(p) = p**2 - 8*p + 9. Let o be h(7). Suppose -5*x = -2*j - 4, j = o*x - 4*j + 11. Is b < x?
True
Let g = 544 - 551. Suppose -131 = 11*b + 100. Which is bigger: g or b?
g
Let n = -328 - -196. Let z be (-2037)/n + (-8)/96*15. Is z less than -1?
False
Let z = -138.6 + 137. Let u = -248 + 248.4. Which is bigger: u or z?
u
Let k be -2 + 12/2 - 0. Suppose w - 13 = 3*s, -9 = 3*s + 3. Suppose -35 = -5*h + 5*v, -7*h + w = -3*h + 5*v. Does h = k?
True
Let y be (-7 - -1) + (18 - 13). Is 1/893 <= y?
False
Let t be -4*(24/14)/3. Let k be 17/(12 - (14 + 5)). Let r = k - t. Is r > 1?
False
Suppose -3*d + 52*o - 57*o + 4610 = 0, 2*o = -10. Is d less than 1545?
False
Let