2 + (-15)/5 + 5. Let t be v/6 + (-19)/57. Let j be (-2 - (-2)/(-4))*-2. Which is smaller: t or j?
j
Suppose 4*g - 17 + 73 = 0. Let n = g - -13. Let a(l) = -2*l - 3. Let i be a(n). Which is greater: -6/19 or i?
-6/19
Suppose 0 = -24*c + 21*c + o - 92, -3*o = 5*c + 172. Let a be 6/c*(-32)/3144. Which is smaller: a or -1?
-1
Let w(v) be the first derivative of 7*v**3/3 - 3*v**2 + 5*v + 29. Let n be w(4). Let u = 90 - n. Which is smaller: u or -3/2?
u
Let d = -5298 - -5337. Which is greater: d or -0.8?
d
Let s(x) = -121*x + 813. Let l be s(6). Is 19 equal to l?
False
Let t = 2130 + -2907. Does t = 1/7?
False
Let m(r) = 14*r**2 - 2*r + 1. Let h be m(1). Let d be 7/2*(2 - (-60)/(-10)). Let w = d + h. Which is smaller: w or -4/31?
w
Suppose 3*g = -4*q + 31, g + 5*q - 21 - 4 = 0. Suppose -w + g*w - 32 = -3*c, 2*c = 2*w - 16. Is w less than or equal to 7?
False
Suppose -212*d + 214*d + 86 = -2*o, 5*o + 2*d = -230. Let u = -132 + 83. Are u and o equal?
False
Let z = -197 - -814. Let t = z - 574.3. Let h = t - 42. Is 3/4 less than or equal to h?
False
Let n = -114 - -254. Suppose 8*s = -n - 20. Let m be (2/s)/((-1)/(-6)). Which is greater: m or 0.1?
0.1
Let l be 3/2 + (-27)/18. Suppose 1 = -t, l*a + a = -4*t - 6. Let m be (6 + -5)*76/a. Is -38 bigger than m?
False
Let x = -10344.9 - -10345. Is 2602 less than or equal to x?
False
Let o(i) be the second derivative of -i**4/4 - i**3/3 - 17*i**2/2 - 13*i. Let s be o(-7). Let b be ((-2)/18)/(25/s). Which is bigger: b or 2?
2
Let h be (-3)/(-30) + (-2)/(-5). Let d = 321.138 - 321. Let a = d - 0.538. Is h greater than a?
True
Let x(k) = 26*k + 164. Let o be x(-6). Suppose -q - l = 33, -4*q = -o*q + 4*l - 164. Is -110/3 greater than or equal to q?
True
Suppose -12 = -5*v - 2. Let f be (-34)/(-4) - (-3 + v). Suppose 3621 = 6*k + 3555. Which is bigger: f or k?
k
Suppose 2*i = 5*t - 1 - 0, -4*i = -8. Let j = -239 - -140. Let n be (-44)/j - (-32)/252. Which is bigger: n or t?
t
Let d be 18/(-220) + 4*6/132. Suppose -f = -5*f + 13*f. Is f equal to d?
False
Let d(x) = -128*x + 7043. Let z be d(55). Suppose 0 = -3*p - 0 + 3. Let o = p - -1. Is o > z?
False
Let a = -2.03 + 0.98. Let n = a - -2.05. Is n smaller than 2?
True
Suppose 0 = t + 7*t - 48. Let l be -3*(-1)/t*(-20)/3. Let p = 33 + -32. Do p and l have the same value?
False
Let h = 9370.9759 + -9371. Is h greater than or equal to -3?
True
Let c = -26515 + 25204. Which is greater: c or -1313?
c
Let s = 8854 + -1243. Which is greater: 7610 or s?
s
Let h be (-4 + (-15)/(-10))/((-6)/948). Suppose 0 = 31*g - 36*g + h. Which is smaller: g or 76?
76
Let i be ((-114)/152)/(5/(-2)). Do 71 and i have the same value?
False
Let z = 100.45 + -116.45. Are 286 and z nonequal?
True
Let m(p) = 2*p + 54. Let b(h) = -1. Let v(a) = -10*b(a) - m(a). Suppose 4*g + g + 115 = 0. Let d be v(g). Which is bigger: d or 3?
3
Suppose -3*t - 16 = -2*t - 5*k, 5*t - 3*k - 8 = 0. Suppose 3*b = t*b. Suppose b = -3*w - 2 + 5. Which is smaller: 2/35 or w?
2/35
Let d = 319/17 + -525/17. Is d at most -12?
True
Let j be -1 + (0 - 8*3). Let y = j + 41. Suppose 433*o - 5643 - 1718 = 0. Which is smaller: y or o?
y
Let t = -3697.7 - -3667.7. Let f = 3 - 1. Which is greater: f or t?
f
Let w = -6475 + 12691. Let k be (w/300)/(-7) - (1 + -4). Which is greater: k or 0?
k
Let y be 15 + ((-362395)/2195)/11. Which is smaller: 1 or y?
y
Let y be 3/(-2)*(-1106)/21. Let o = -392/5 + y. Suppose -1 = -11*j - 1. Which is smaller: j or o?
j
Let i be -6*(0 - 2)*1. Let w be 4*(i/60)/(4/10). Let u be 2*(w/(-5) - 1). Which is bigger: -3 or u?
u
Let t(l) = -70*l**3 - l - 1. Let p be t(-1). Let i(b) = -6*b + 214. Let n(g) = -7*g + 59. Let a be n(5). Let s be i(a). Is s at least p?
True
Let p = 11 - 15. Let j = -3 - p. Let s = -9476 - -9468. Which is greater: s or j?
j
Let s(u) = -u - 27. Let x(l) = -l + 1. Let i(k) = s(k) - 4*x(k). Let v be i(10). Let n = 62 - 1056/17. Which is smaller: v or n?
v
Let o = 11699 + -11708. Let v(j) = -j**3 + 5*j**2 - j - 1. Let y be v(4). Is o smaller than y?
True
Let r = -14095 + 15533. Which is bigger: 1436 or r?
r
Let y = 18 + -17. Let p = 1330 + -1494. Which is smaller: p or y?
p
Let r = -355 + 359. Suppose 5*d - 5*f = -9*f + 55, -r*d = 2*f - 38. Are 10 and d unequal?
True
Let g(n) = 5*n**2 - 27*n - 57. Let v be g(10). Suppose -v = -14*x - 131. Is -4 greater than x?
False
Let r be (-6 - -13) + (-3002)/437. Which is bigger: r or 125?
125
Let z = 2105060/7 + -300184. Which is smaller: z or 539?
z
Let h(x) = 14*x + 56. Let u be h(-4). Let j be -5 + (-13)/169*(u + 67). Is -11 greater than j?
False
Let z(f) = -f**2 - 189*f + 2627. Let w be z(13). Is 28/39 at least w?
False
Let p(x) = 3*x + 2. Let i be p(-2). Let b be 1*(-1 - i/(-2)). Let y be (16/(-24))/((-1)/b). Which is bigger: 2 or y?
2
Let q = -166 - -119. Let a be ((-2)/(-1) + q)/(2 - 10). Let s = -27/8 + a. Which is smaller: 1 or s?
1
Suppose -774 + 248 = 9*t + 5. Let n = -1 - -2. Which is greater: n or t?
n
Let l be (-16)/80 - (-3 - 4034/(-1430)). Let u = 2997/286 - l. Is 11 smaller than u?
False
Let k = -0.991 + 13.211. Let a = 13.4 - k. Do 2 and a have the same value?
False
Let t = -572 + 574. Let x = 0.748 + -0.048. Which is smaller: t or x?
x
Suppose 477*m + 21946 = -6674. Which is smaller: -26 or m?
m
Let l(j) = -20*j**2 + 8*j - 24. Let c be l(6). Let y = c - -3466/5. Which is smaller: y or -8?
-8
Let x be ((-9)/(-6))/(2/4). Let t = 2416 - 2412. Let a = x - t. Which is smaller: a or -9/8?
-9/8
Let p(b) = 373*b + 39. Let c be p(2). Let a be (126/(-70))/(-3) - 466/c. Which is smaller: 0 or a?
0
Let l be (-90)/(-8) + 352 + -363 - 41866/167528. Which is greater: l or -1?
l
Let h be 29907*((-8)/(-6) + -1). Let n be (-4)/(-46) + h/414. Which is smaller: 25 or n?
n
Let l be -2*(-3 + (-4)/(-8)). Suppose -l*t - 46 = s, -9*t - s + 8 = -10*t. Is -2 equal to t?
False
Let i = -3503.5 + 3503.305. Does 54 = i?
False
Suppose 6 = 2*l, 3*y - 3*l - 278 = 634. Suppose -2*a - y = -n, -335 = 5*a - 3*n + 435. Which is greater: -150 or a?
-150
Let i = 5350.5 + -5351. Which is greater: 106 or i?
106
Let j be (1/(-3))/((-3)/(-63)). Let k(b) = -25*b - 270. Let a be k(-11). Which is smaller: a or j?
j
Let v = -1365.0627 - -1365. Is 2/9 < v?
False
Suppose u + 730 = -i - 3*u, 4*u + 3602 = -5*i. Let h = 724 + i. Which is bigger: h or 8?
8
Suppose 0 = 2*t - 4*l - 2738, 2*l - 673 = -t + 712. Is 1377 greater than or equal to t?
True
Let t be 1*(-2)/22*1. Let c = 473/83 + -1585/249. Is t != c?
True
Let l = 90 - 86. Let w be ((-2)/l)/((11/(-8))/11). Suppose 0 = -w*i + 3*i - 1. Is i < -1/3?
True
Suppose 921*h - 210 = 711. Let v be 2 + 830/(-418) - 0. Do v and h have different values?
True
Let o = 24052 + -24830. Which is smaller: -3896/5 or o?
-3896/5
Let b = -18068 - -17751. Is -315 > b?
True
Let m(s) = s**3 + 7*s**2 - 4*s - 4. Let t be m(-7). Let l be t/72 - ((-1)/3)/(-1). Let p = -46581/25 - -1863. Is p > l?
False
Let c = 9929 - 11208. Is c not equal to -1280?
True
Suppose -z - 3 = -q - 6, 3*z + 4*q + 12 = 0. Suppose 0*s - 4*s = z. Let u = -1991/12 - -166. Does u = s?
False
Let n = 1/283642 + -78672/2201487383. Is n greater than -1?
True
Let t = 176.15 + -121. Let d = t + -145.92. Let k = d + 91. Is 2 greater than or equal to k?
True
Let x = -7674 - -6207. Is x > -1467?
False
Let o be 247/1*(-10)/(-40). Let q be (55/(-22)*1082/(-44))/1. Let z = q - o. Which is bigger: 0.1 or z?
0.1
Let y be ((-5)/10 + -1)*(-392)/12. Suppose 3*f - 5*q = -158, -3*q + 56 = -2*f - y. Is -52 not equal to f?
True
Suppose -5*l = 3*t - 74 - 40, 10*t - 185 = 5*l. Which is greater: t or 15?
t
Let u = -10 - -3. Let m be u/(-21) + 70/(-48). Let z be 6/(-4)*80/300. Is m less than z?
True
Let t be (-6)/(-10)*-19 + 180/(-300). Let a = 23 + t. Let x = -455/3 - -163. Are x and a non-equal?
True
Let w be (-16)/42 - ((-64)/(-28) - 2). Let n = 0.016 - -12.384. Let p = n - 19.4. Do p and w have the same value?
False
Let x be ((6/16)/(11/88))/(1/(-3)). Is 45 > x?
True
Suppose 5*k - 4*z - 212 = 48, -z + 43 = k. Let v be 358/(-60) - 2 - (-8)/k. Is v <= -8?
False
Let c = -3/413 - -8960/59. Let d = -152 + c. Which is smaller: d or -2/7?
-2/7
Let c = -0.8 + -0.2. Let l = -93.945 + 93.8. Let m = -28.855 + l. Which is smaller: m or c?
m
Let s(q) = -3*q**3 + 2*q**2 - 2*q + 1. Let y be s(2). Let u be (-2)/10*2