= x - -216. Do n and -91 have different values?
True
Let k be (-60)/(-260)*(-6)/(-450). Which is smaller: k or 1?
k
Let l(g) = 44*g - 445. Let y(v) = 22*v - 222. Let u(i) = 3*l(i) - 7*y(i). Let c be u(10). Which is greater: -10/99 or c?
-10/99
Let t be 2*(-1 + 9 + -4). Let k(b) = -b + 7. Let r be k(4). Let a be (38/t)/(r/(-12)). Which is smaller: 1 or a?
a
Let s be 8964/(-1630) - 187/(-34). Is -1 < s?
True
Let l = 0.611 - 0.311. Let d = 75177/7 + -10551. Let z = d - 189. Is z != l?
True
Let v(w) = -2*w**3 + 28*w**2 + 49*w - 9. Let d(m) = -m**3 + 13*m**2 + 24*m - 4. Let p(c) = -5*d(c) + 2*v(c). Let g be p(11). Which is greater: 2/475 or g?
g
Let k = -1172 - -1279. Which is smaller: k or 92?
92
Let s = -397 + -618. Which is bigger: s or -1020?
s
Let w = 51 - -30. Suppose 5*k = 14*k - w. Let c be 3 + 6 + 0/(-4). Is k less than c?
False
Let q be 6/167*(-17)/((-102)/(-81)). Is 0 > q?
True
Let f be (5837/182 - 9) + ((-6)/(-28))/(-3). Which is smaller: f or -46?
-46
Let i be (-325)/13 - (30 + -182). Is i greater than 86?
True
Suppose -m + 2*k = -0*m, 3 = m - k. Let s be ((-9)/m)/1 - 27/(-18). Suppose s*u = 5*n + u - 170, 68 = 2*n + 5*u. Is n greater than 34?
False
Suppose 0 = 11*c - 12*c + 28. Suppose -7*d - c*d + 1085 = 0. Let m = -37 + 66. Is d >= m?
True
Let w be 45/10 - 5 - (-134)/276. Let r = w + 163/1725. Let t be 2/((-2)/2 + 3). Is t <= r?
False
Let c be (92/8 - 9)*595/(-50). Suppose -3*g + 97 = -182. Suppose -5*v = -2*v + g. Which is greater: v or c?
c
Let d = -4221 + 37991/9. Which is greater: d or -1313?
d
Let z = 103 + -103.136. Let t = 127.136 + z. Let m = -125 + t. Is m at most as big as -3/4?
False
Let m(j) = j**3 + 10*j**2 + 3*j + 37. Let p be m(-9). Let q be (-212)/12*3/(-1). Suppose 3*i + c = -q, 6*i - i - c = -p. Is -2 >= i?
True
Let j = -4070.5 - -4098. Let u = 0.025 - -26.975. Let k = u - j. Is 1 smaller than k?
False
Suppose -978*r = -976*r - 84. Let i be (2/18)/((-7)/r). Are -267 and i equal?
False
Let b = 17/13 + -5/4. Let n = b + -841/156. Is n smaller than 0.4?
True
Let p(i) = 8*i**2 - 13*i + 3. Let b be p(1). Which is greater: -72/25 or b?
b
Let m = 679 - 678. Let a = 25.1 + -165.1. Which is bigger: m or a?
m
Let q(c) = -1219*c - 96037. Let z be q(-79). Let a be 1 + 1 + (-24)/15. Which is smaller: z or a?
a
Let h(g) = 274*g**2 + 4*g + 3. Let t = -44 + 41. Let u be h(t). Let c = 12222/5 - u. Are c and -14 equal?
False
Let w(g) be the second derivative of -31/2*g**2 + 5/6*g**3 + 4*g + 0. Let q be w(9). Is 14 less than q?
False
Let l be (360/252 + 48/(-14))/((-1)/2464). Which is greater: l or 4927?
l
Let y(t) = 9*t**2 - 4*t - 12. Let k be y(-2). Suppose 5*p - 2*c = 12, -c - 2 = -1. Suppose -2*j - 80 = 5*f, 4*f = p*f + 5*j - k. Which is smaller: 0.1 or f?
f
Suppose -3*f = -2*q + 5*q + 15, -4*f + 2*q - 50 = 0. Let u(x) = 4*x + 38. Let i be u(f). Let t(c) = c**2 + 4*c - 1. Let d be t(-3). Is d >= i?
False
Let q = 268/45 - 121447/180. Which is greater: -669 or q?
q
Let m = 121504/579 - 345044131/1239060. Let j = -9/428 - m. Let d = -69 + j. Are d and -61 equal?
False
Let i be (-3521)/2012 + (-161349)/(-92204). Which is smaller: -1 or i?
-1
Let u be 24/292*(-28)/(-420). Let h = -9 + 8. Which is greater: h or u?
u
Let c be 1 + (-1*(-1 + 6) - 162816/(-576)). Is c equal to 279?
False
Let w = 12031 + -12030. Are 15/487 and w nonequal?
True
Suppose -4*t + 42 = 2*i, 7*i - 4*t - 35 = 2*i. Suppose -n = -10*n - i*n. Let l be (3/(-12))/(31/(-4)). Is n at least l?
False
Let t = -156 - -30. Let g = t + 127. Is 0 bigger than g?
False
Suppose p + o = -17, -o = -p - 1 - 10. Suppose 0 = 3*u + 5*c + 47, 4*u + 5*c + 43 = -18. Is p at least u?
True
Let v(p) = -68*p - 9. Let a be v(2). Let q be 210/9*(-261)/a. Do 41 and q have the same value?
False
Let j(n) = 23*n**3 + 3*n**2 - 26*n - 191. Let a be j(-6). Is a smaller than -4894?
True
Let m = 1593 - 1731. Is m smaller than -827/6?
True
Let t(z) = z**3 + 54*z**2 - 430*z - 217. Let s be t(-61). Which is bigger: -1078/31 or s?
s
Suppose -3 = -2*m - 5*q, -3*m - 9*q = -4*q - 7. Suppose 2*j = 2, 0*j - 4*j + 20 = -m*i. Let a = -347 - -341. Is a at most as big as i?
True
Let j = 4573 + -4544. Which is greater: j or -67?
j
Let x be 10888 - ((-2)/3)/(6/(-45)). Let s = x + -10023245/921. Which is bigger: 0 or s?
0
Suppose -3*j + 5 = -7, 0 = -5*w + 3*j + 3. Suppose 8 = 2*d, 3*c + d - w*d - 76 = 0. Let q be (c/10 + -3)*-1. Is 4 < q?
False
Let x be 1/(-1)*(-5446)/3*96/576. Do 302 and x have the same value?
False
Let b(j) = 206*j + 822. Let v be b(-4). Which is smaller: v or -32/19?
v
Let i(s) = -s**3 + 4*s**2 + 5*s - 1. Let u be i(5). Let c be (2/(-4))/((-12)/(-24)). Let h be (3/9)/(u/(-51)*c). Which is smaller: -16 or h?
h
Suppose -36 = -5*o - y, 0*y - 2*y = o. Suppose 5*i - 505 = -0*p + 2*p, 4*p = -2*i + 178. Let k be i/12 + 6/(-24). Is k smaller than o?
False
Suppose -19*h + 978 = 123. Let k be (-4)/18 - 4355/h. Is k smaller than -98?
False
Let b = 1120 - 498. Let t = b - 3721/6. Which is bigger: t or 1?
t
Let j be 7 - 9 - (-186)/(-10). Let i = -1077 - -1057. Which is greater: i or j?
i
Suppose 7 = 39*w + 7. Is -13/79 at most w?
True
Let u = 137 + -3201. Which is bigger: u or -3065?
u
Let p(q) = 2*q**3 + 24*q**2 - q - 10. Let n be p(-12). Suppose -2*x + n = 5*h, -6*h + h = -2*x + 2. Let c = -155/8 - -2941/152. Which is smaller: c or h?
c
Let k = -144623023673/5859 + 24683909. Let r = 46/279 + k. Is r greater than 1?
False
Let m(g) be the third derivative of -g**6/120 - g**5/10 - g**4/24 - 19*g**3/6 - 26*g**2 - 2*g. Let h be m(-6). Which is smaller: -37/3 or h?
h
Let o = -11635/28 - -1661/4. Is -5206 < o?
True
Let m(z) = z**3 + z**2 - z + 1. Let a(i) = 5*i**3 - 2*i**2 + 7*i + 5. Let v(b) = -a(b) + 6*m(b). Let p be v(2). Is p less than 18?
True
Let b be ((-14)/(-7))/(0 + 694/6). Let c = b + 208/28107. Let l(d) = -d**3 + d + 1. Let w be l(-1). Which is smaller: c or w?
c
Suppose 0 = -3*x + t + 458, 3*t = 2*x - 171 - 139. Let w be 1 + 0 + -2 - (-2584)/x. Is w at most 16?
True
Let d(a) = 8*a**3 + 501*a**2 - 190*a - 64. Let z be d(-63). Let n be 2/((-52)/(-42)) - 2. Does z = n?
False
Let c = -0.3 + 0.1. Let i(g) = -33*g**3 - 2*g - 1. Let u be i(-1). Let p = u - 103/3. Which is bigger: p or c?
c
Suppose 5*g - 5 = 110. Suppose -g*m = -21*m. Which is bigger: -3/95 or m?
m
Let o = 9.17 + -13.08. Let i = -1.61 - o. Which is bigger: i or 1.3?
i
Suppose 11 = 3*w + 14, -3*j + 110 = -2*w. Let s be (2/(-4))/(5/360). Let v = j + s. Which is smaller: v or 1/4?
v
Let p be ((-52)/(-14))/(40/840). Is 46 not equal to p?
True
Suppose 0 = 3*t - 2*l + 29, t + 150*l + 12 = 153*l. Is 3.2 greater than t?
True
Let o = -44 + 45. Let g be 3/18 - ((-1299)/198)/o. Let f = 1255/198 - g. Which is bigger: 1 or f?
1
Suppose -r = -2*k + 21, -5*r + 4*k = -0*r + 123. Is -220 less than r?
True
Suppose 5614 + 1900 = 26*l. Let t = 289 - l. Which is bigger: -1/1022 or t?
t
Let n = -4906 - -4735. Which is smaller: -176 or n?
-176
Let u = 1.203 + -1.299. Is u greater than -2?
True
Let o be -2*2/(-4)*0/(-2). Suppose -t + 2 = g + t, o = 3*g - 2*t - 38. Suppose -2*k + 2 + g = 0. Which is bigger: k or 8?
8
Let u = -7379 - -7382. Which is smaller: 5/2 or u?
5/2
Let h = -151/274 + 7/137. Which is smaller: h or -722?
-722
Suppose 0 = -29*n + 44*n - 15. Let j(d) = 10*d**2 - 11*d + 1. Let z be j(n). Which is bigger: z or -13/31?
z
Suppose 10 = 2*v + 4*p + 28, 29 = 4*v - 5*p. Suppose -9*j + 8*j = -v. Which is smaller: 7/29 or j?
7/29
Suppose -25*u + 90 = -20*u. Suppose u*z + 1443 = -19*z. Is -39 >= z?
True
Let l = 3038/3 + -385829/381. Is 1.5 at least l?
True
Let u be ((-312)/(-8))/(12/32*4). Suppose -3*j = 3*r + 9, -3*r + 21*j = u*j + 15. Which is smaller: r or -2/71?
-2/71
Let u = -408 - -21. Let l = u + 387. Is 16/5 != l?
True
Let p be (17 - 792/48)*-2. Which is greater: 32/227 or p?
32/227
Suppose 433 - 37 = 3*y. Let c be (7/(-3))/(1/y). Are c and -307 unequal?
True
Suppose -99*s - 10 + 10 = -198. Is s greater than or equal to 19/20?
True
Let y = -159.23 + 7.43. Let i = -152 - y. Suppose 0 = -3*z + 22 + 2. Is i at most z?
True
Let j = 123 - 82. Let a = j - 61. Let t = -0.1 - 0. Which is smaller: a or t?
a
Let w = 8641/19 + -455. Let t(y) = y**3 + 3057*y**2 + 18308*y + 11. Let c be t(-6). Which is bigger: w or c?
w
Let x be 30/396*-52 - (-5 - -1). Is x less th