1?
-1
Suppose -2*k - 3*n = -3438, -4*k - 6*n + 6924 = -12*n. Which is greater: -1/9 or k?
k
Let k(j) = 3*j**3 - 32*j**2 - 7*j - 4. Let a be k(11). Suppose g = -3*g + a. Suppose 0 = -4*v + 3*l - 28, -12*l + g*l = -v - 2. Which is greater: -11 or v?
v
Let p = 4/10097 - 252941/1302513. Is -1 <= p?
True
Let z = 174 - 161. Let r be ((-234)/12)/z*12/(-81). Is r <= 1?
True
Let d = -1466.5 + 1466. Which is smaller: -1/654 or d?
d
Let c be 5/2 + (-1)/2. Suppose -v = -4*i + 20, 0 = -v - c*v + 2*i - 10. Let d be 2960/2340 - 3/27. Which is greater: v or d?
d
Suppose 4*m = -4*m - 3*m. Suppose -50*k + 55*k - 25 = m. Suppose 40 + 100 = -k*o. Which is bigger: -27 or o?
-27
Let m = -20.5589 + -0.0011. Let n = 0.359 - -20.641. Let i = n + m. Which is smaller: i or 1?
i
Let q be (-96)/(-6) - (-35455)/5. Which is greater: q or -1?
q
Let t(f) = -2*f**2 - 2*f + 4. Let x be t(-4). Let a be 2/(32/x - (-4)/(-10)). Suppose 5*j + 2*o - 5*o - 2 = 0, 0 = -j - o + 2. Is j at least a?
True
Let b = -6112/11 - -22486026/40469. Do 1 and b have different values?
True
Let r be -3 - (-2 + -3 + 5) - (-3 - -4). Suppose -6*t + 3*t = -12. Let o be (t/(-28))/((-3)/(-78)). Which is smaller: r or o?
r
Let z be (-4)/(-2) + 6*18/(-12). Let n(f) = f**3 + 4*f**2 - 16*f - 2. Let j be n(z). Let m(w) = -39*w**2 + 1. Let o be m(-1). Which is smaller: j or o?
o
Let p = -84/11 + 566/77. Suppose -z + 26 = -4*u, -10*u + 20 = -6*u. Let x be ((-69)/z)/(6/(-4)). Is p greater than x?
False
Let s(h) = h**3 + 11*h**2 - 25*h + 28. Let l be s(-13). Suppose 7*v + 55 = -l. Which is greater: -11 or v?
v
Suppose i = -2*i - 2*s + 10, 2*s = 5*i + 10. Let d be 19*-4*7*(-1)/7. Let z be 6 - (12/d + 6). Is z greater than i?
False
Suppose 5*f = -2*h + 4446, 5*h - 9*h = 2*f - 8860. Which is bigger: 2212 or h?
h
Let i(z) = -z**3 - 6*z**2 - 7*z - 3. Let j be i(-5). Suppose 18*a + 11 - 11 = 0. Suppose a = -4*q - 3*m + 7, 0*q + 25 = 4*q - 3*m. Is j less than or equal to q?
False
Let u be ((-1)/4)/((-954)/(-120) + -8). Suppose -207 - 443 = -u*h. Suppose -m - h = -2*m. Which is smaller: m or 129?
129
Let w be 25/450*-4773 - 1/(-6). Let j = 467 - 733. Do j and w have the same value?
False
Suppose -2*u = -5*p + 122, -3*p + 47 = 4*u - 21. Let t be 78*(p/(-9))/(-4). Let k = -3378 - -3431. Which is smaller: k or t?
t
Suppose 8*f - 4*s - 24 = 0, -23*f - 51 = -28*f - 2*s. Which is bigger: -283 or f?
f
Let u = 19081/4 + -4770. Which is smaller: 735.4 or u?
u
Let l = 9035 - 8493. Is 530 != l?
True
Let g be (-1)/(-2) + 262/(-4). Let n be (34 - (-178860)/(-1815)) + 6/11. Is n at least as big as g?
True
Suppose 5 = 3*o - 1, 5*f - o - 228 = 0. Let m = -31 + f. Let b = -17 + 34. Which is smaller: b or m?
m
Suppose -2*w + 25 = -3*g, -2*g - g + 7 = 2*w. Suppose w = -3*s - 1. Suppose 23 = 33*b - 28*b - 12, 47 = -4*o + 5*b. Is s at least as big as o?
True
Let t(u) = -4*u + 2*u**2 - 54 + 55 + 53*u**3 - 10*u + 8*u. Let m be t(2). Let g = -5470/13 + m. Does g = 1?
False
Let u = -12.031 - -0.031. Let m = u - -4. Let b = m - -7.7. Is b smaller than -10?
False
Suppose 28*g = 30*g - 48. Let w be (g/(-20))/(88/20). Which is bigger: -1 or w?
w
Let r = 18 + -13. Suppose 6*d = 3*d + 5*j - 40, 4*d + 4*j + 64 = 0. Let h = r + d. Which is smaller: h or -43/5?
h
Let m = -482 + 404. Let p = -551/7 - m. Is p at least as big as -2.4?
True
Let j(s) = s**2 - 36. Let a be j(7). Let n be (-165)/(-9)*(-27)/(-36). Which is bigger: a or n?
n
Let w = -0.05125 + 27.56125. Which is smaller: 0.4 or w?
0.4
Let n = -5 - -2. Let y = n + 3.1. Suppose -5*d - 15 = -9*d + 7*d. Is y != d?
True
Let r = 1198 + -1233. Let n = 60 - 94. Which is greater: n or r?
n
Let f = 0.07 + -44.07. Let a = 43.908 + f. Let u = 1.392 + a. Is 2 greater than or equal to u?
True
Let o = 3332 + -3332.1. Do 835 and o have different values?
True
Let w be (-110)/(-25) - (-161)/(-115). Which is greater: w or 58/19?
58/19
Suppose 0 = -0*z - 3*z - 2*g - 2, -g = z + 2. Let o be (494/(-39))/(1 + z/6). Is o < -10?
False
Let f = 248 + -98. Let a = 81 - f. Does 3/7 = a?
False
Let q = -41 - -40. Let l = 43573/441 - 889/9. Does q = l?
False
Suppose -3*s + 6*s - 186 = 0. Let u = -57 + s. Suppose f - 2*g + 0*g + 4 = 0, u*f + 20 = 3*g. Is f at least -0.6?
False
Let y(i) = -3*i**3 + 15*i**2 - 29*i + 68. Let c be y(4). Is 6304 less than or equal to c?
False
Let m = 29 + 5. Let q = -2552 + 2553. Let o be (-2)/m*(32 - (3 - q)). Which is bigger: -2 or o?
o
Let l = 73897 - 12193112/165. Let t be 20/275*2/(-8). Let i = t + l. Which is smaller: -6 or i?
-6
Let x be (-10)/20*(-2*1 + 2). Suppose 8*a + x*a = 5*a. Which is greater: a or -1/204?
a
Let u be 4/3 + (-51)/(13311/330). Which is greater: u or 0.2?
0.2
Let w = -24 - -28. Suppose -w*u - 10 = 4*g + u, 4*g = -u - 2. Suppose g = 3*z, 42 = 3*l - 2*z + 3*z. Do l and 11 have different values?
True
Let g = 129 - 266. Let o = -94 - g. Let d = o + -43. Which is greater: -33 or d?
d
Let b be 19 - 9*(-4)/(-2). Which is greater: 1/59 or b?
b
Suppose -38*u + 24*u = 3388. Let y be (-4154)/22 + 2 + 44/u. Is 1 at most as big as y?
False
Let v be (21/(-3357))/7*(-1385319)/(-17). Let m = 1/6341 - v. Let h = m - 73. Is -1 < h?
True
Let c = -101.76 - -101. Let q = c + 0.7. Let l = q + -7.94. Which is smaller: l or 2/3?
l
Let a be (104/312)/(1/(0 + 21)) - 5333. Is -5326 bigger than a?
False
Let f(d) be the first derivative of d**2 + 5*d - 31. Let t be f(2). Let r be (1*48)/(-1)*6/t. Which is smaller: r or -31?
r
Suppose 3*x + o + 299 = 0, -2*o = x + 2*o + 85. Suppose -8*m + m = 707. Is x > m?
False
Suppose 5*p - 66 = -5*g - 256, 2*g = 4. Let l be (6/16)/(30/p*18). Which is bigger: l or 0?
0
Let m(q) = 506*q - 2. Let y be m(-4). Let o = y - -8243/4. Which is bigger: o or 35?
35
Let k = -2.902 - -3.04. Let c = k - 0.208. Suppose 0 = -3*i + i - 4*w - 10, -5*i + 19 = -w. Is i less than c?
False
Let g = -195 - -337. Let u = g + -96. Suppose 4*x + 47 = 5*x. Is x < u?
False
Let w(x) be the second derivative of x**5/20 - 11*x**4/12 - x**2/2 + x. Suppose 71*m = 66*m - 10, 4*m = 4*b - 52. Let i be w(b). Are i and -1 equal?
True
Let w = 52.84 + -54.51. Which is greater: w or -0.12?
-0.12
Let b = 513 - 468. Suppose -3*d = -2*f - 10, 0 = b*d - 47*d - 3*f + 11. Which is bigger: 35/11 or d?
d
Let s = 14.8 + -15. Let c = -658.994 + 659. Do c and s have the same value?
False
Let n = -153 + 273. Let w = 119.93 - n. Are -1/7 and w non-equal?
True
Suppose 0 = -2*r - 2*a - 526, 4*r + 704 + 346 = -5*a. Is r bigger than -267?
True
Let a be 503/10*(3 + -5). Let h = -99 - a. Suppose 15*x - 17 - 28 = 0. Is x equal to h?
False
Suppose -44*f + 39959 - 39915 = 0. Is f smaller than 46/41?
True
Let j = -0.3402 + 0.1222. Which is smaller: j or -0.5?
-0.5
Let v be (-2)/8 + (-164)/(-16). Suppose b + 2 = y - 0*y, -2*b = -v. Let t = -42 - -44. Which is greater: y or t?
y
Let y = 26.62 - 3.72. Let t = -11.9 + y. Does 7 = t?
False
Let r = 54 - 30. Let j = -1891.3 + 1911. Let t = r - j. Is t >= -1?
True
Suppose 3*j + 4*l = -358, 3*j - 2*l = -338 + 4. Let m(h) = h**3 - 8*h**2 - 26*h + 96. Let q be m(8). Which is greater: j or q?
q
Suppose 0 = d - 4*j - 558, -j = d - 3*d + 1158. Which is smaller: d or 5240/9?
d
Let o be 2/(-4)*-4*48. Let p = -269/3 + o. Let t = 583602 + -583596. Is t equal to p?
False
Let u = 568 - 589. Let m = 161 - 179. Is u smaller than m?
True
Let n = -11/90 - 5/18. Let q(z) = 3 + 0 + 5*z + 1 - 3. Let c be q(3). Which is smaller: n or c?
n
Let l(t) = t**2 + 15*t - 28. Let x be l(33). Which is smaller: x or 1559?
x
Let i = -0.10034 - 1.69966. Are i and 151 non-equal?
True
Let v(h) be the first derivative of -h**2/2 + 40*h + 264. Let u be v(39). Which is smaller: u or 67?
u
Let i be ((-688)/(-36))/4 + -4. Let z = 123752/153 + -13735/17. Let y = i - z. Is y <= -2/9?
False
Let f be (-2 - (-4 + -10)) + 4. Let q(a) = a**3 + 12*a**2 - 14*a + 4. Suppose 5*t + 65 = -0*t. Let p be q(t). Which is smaller: p or f?
f
Let i = -159/1160 + 9/145. Suppose 16*f + 65 - 49 = 0. Which is smaller: i or f?
f
Suppose -3*a = 3*a - 174. Suppose -48*p = -47*p - a. Is 32 less than p?
False
Let w = 0.219 - -214.781. Let q = 133 - w. Let n = -77 - q. Which is smaller: 0.01 or n?
0.01
Suppose 5*d - 17 = 6*d + 5*q, -4*d + 8 = q. Suppose d*r = -r + 80. Let p = -400 - -419. Is r less than p?
False
Let d = -1953834/1089517 + 720/401. Which