 is smaller: 1405 or q?
q
Let f(w) = w**3 - 2*w**2 + w + 1. Let h be f(2). Let l be -2 + -4 - -5 - h/(-9). Let v = 1.53 - 0.03. Is v greater than l?
True
Let n = 72 + -43. Let f = n + -36. Suppose -2*v + 4*p = 2*v - 16, 4*v + p = -9. Is f less than v?
True
Suppose -3*l = 3, 3*l = -3*k - 3274 + 262. Is -1005 < k?
True
Suppose -440*a = -445*a - 4*b + 3575, -5*b = 25. Is 719 greater than a?
False
Let x(v) = -8*v**2 - 2*v. Let z be x(-2). Let u be (-5)/10 - 22/z. Suppose 11*y = -6 + 116. Which is greater: y or u?
y
Let d = 1.6856 + -0.1945. Is 0 greater than d?
False
Let o(p) = -10*p - 13. Let g be o(-28). Is g smaller than 3?
False
Suppose -280 = -5*k + 4*w, -4*k = -2*w - 145 - 73. Let q(y) = y**3 + 2*y. Let r be q(2). Let a be r/(-9)*-39 - -1. Are k and a equal?
False
Let t be (-159)/(-99) - 8/6. Is 56 at most t?
False
Let y = 433/4 - 109. Let q = 0.279 + -125.279. Let u = q + 130. Is y greater than u?
False
Let j = 165.5 + -116.6. Let v = 48.1 - j. Is -4/11 greater than or equal to v?
True
Let i be -1 + 0 + (-14)/(-5). Let d(s) be the second derivative of s**4/6 - s**3/6 - 3*s**2/2 - 86*s. Let y be d(2). Is y < i?
False
Let a = -6273 - -7503. Which is greater: 1229 or a?
a
Let z = 8.711 + -8.585. Let v be (-3)/18*(-6)/4. Is v less than or equal to z?
False
Let t = 2091617/15 - 139273. Which is smaller: t or 169?
t
Suppose -4*w = -3*w + 5, z + 3*w - 29 = 0. Which is smaller: z or 306/7?
306/7
Suppose 50*h + 6*h - 6331 - 2741 = 0. Which is greater: h or 161?
h
Let t = 4772 + -4843. Which is bigger: -1646/23 or t?
t
Let w be (-5621)/(-679) + -14 - -5. Which is bigger: w or 0?
0
Let f be ((-190)/(-3135) - (-233)/(-33)) + (-14)/(-2). Which is greater: -42/1163 or f?
f
Suppose 15*h = -21*h + 180. Suppose 4*q - h*y = -6*y - 484, 20 = -5*y. Do 2 and q have the same value?
False
Suppose -8 = h + 4*c, c - 1 + 3 = -5*h. Suppose -3*z + 3*t + 3 = -15, h = -5*z + 4*t + 25. Suppose -11*r + z = -12*r. Which is bigger: r or -5/7?
-5/7
Let q = 600/13 - 34761/754. Let d(p) = -9 + 2*p**2 + p + 4 + 4 + p**3. Let s be d(-1). Is q at least as big as s?
True
Suppose -69 = 3*s + z - 11, 4*s - 3*z + 99 = 0. Let l = s - -30. Suppose -l*d - 24 = -3*d. Is -4 greater than or equal to d?
True
Let p be 1 - 1 - (10 - 71). Let l = 60 - p. Let s be 100/20 - 42/8. Which is smaller: l or s?
l
Let g = -20072 - -20070. Which is greater: -292/145 or g?
g
Let y = -141 - -68. Let h = y + 89. Let c = h - 19. Is 2 > c?
True
Let x be ((-44)/8)/((-1)/4). Suppose 0 = -15*r + 20*r - 105. Let p = x - r. Is p less than or equal to -2/259?
False
Let m(t) = -t**2 - 171*t - 7325. Let b be m(-128). Which is bigger: -1825 or b?
b
Let m = -55122 + 276597/5. Is m less than 196?
False
Suppose 4 = f + 5*z, -53*f + 54*f = 2*z - 3. Which is bigger: f or -2/7921?
-2/7921
Let k(t) = t**3 - 9*t + 2. Let j be k(-3). Let x = 13 - 9. Let p be (-1 - j)/(-3) + (2 - x). Which is smaller: 1/4 or p?
p
Let a be (-4)/(-2) - -8 - 3. Let h = 9 - a. Let z = 779 + -774. Which is smaller: h or z?
h
Let p = -3/119191 - -238858821/2264629. Which is smaller: p or 104?
104
Let w = 534637/374 - 24916/17. Is -35 greater than or equal to w?
True
Let j be 5628/(-12) + 25/25. Which is smaller: j or -2341/5?
-2341/5
Let q be -7*1 + (-125)/875*(9422 + 1). Is q not equal to -1352?
True
Let w(a) = 2*a**2 + 31*a - 53. Let t be w(-17). Let y be 12/((-8)/t)*-2. Which is bigger: -11 or y?
y
Let p = -155 - -241. Suppose 2*r - 274 = -3*b, 4*b - 342 = 3*r - r. Let y = b - p. Which is greater: -0.11 or y?
y
Let y(h) be the first derivative of -h**3/3 - 11*h**2/2 - 6*h + 18. Let w be y(-4). Let l = 1.7 - 0.7. Which is greater: w or l?
w
Let h be 32/(-6066)*18/(-12). Which is smaller: 1 or h?
h
Let p = -251 - -241. Is 33.4 < p?
False
Let m(j) = j**3 + 3*j**2 - 28*j - 89. Let s be m(-5). Is s bigger than 3/185?
True
Suppose 18734 = -4*h + 4*o - 10598, 0 = -4*h - o - 29362. Is h bigger than -7338?
False
Let f = 3398 + -5395. Which is smaller: -0.1 or f?
f
Let a be (39/(-21))/(7/(-49))*-1. Is a at most -23?
False
Suppose 17 = 3*o - 7. Let y(q) = -13*q**2 + 10*q - 12. Let x(a) = 23*a**2 - 20*a + 25. Let r(l) = -4*x(l) - 7*y(l). Let c be r(o). Which is smaller: -1/18 or c?
-1/18
Suppose -4*s + 867 = p - 270, 4*s - 3*p = 1165. Is s less than or equal to 2582/9?
True
Suppose -4*l - 7 + 15 = 0. Let t be 83*1/l + (16 - 15). Let p = 41 - t. Is p != -2/17?
True
Let c be (-25 + 27)/(2 - 1 - 2758/2765). Which is smaller: 784 or c?
784
Let b be 2 - 6 - (-25)/6. Let m = -27 + 37. Let u be ((-4)/16 + m/8)/1. Is u <= b?
False
Let r = -1727.8 + 1728. Which is bigger: -204.6 or r?
r
Let f = 7.7096 - 7.965. Which is smaller: 1 or f?
f
Let j = -0.5924 - -0.8024. Which is smaller: j or -3/5?
-3/5
Suppose 3 = 2*v - o, 11 - 2 = -v + 4*o. Suppose 3*b + v*c - 4 = -b, 0 = -2*b + 2*c - 12. Is b <= -0.13?
True
Let c = 182257/9 - 20251. Is -47/5 > c?
False
Let y be 1*-5 + 27/(-8 + 11). Suppose 0 = y*w + 4*v + 200 + 1056, -5*w - 1561 = -4*v. Which is bigger: -312 or w?
-312
Suppose 2*f + 801 = h, 0*h - 1617 = 4*f + 3*h. Which is bigger: 0.04 or f?
0.04
Let f = -192.1493 + 0.1493. Is -3/8 < f?
False
Let n be 0/((-1)/7*7). Which is smaller: -4637 or n?
-4637
Let s(i) = 3*i**2 - 20*i + 15. Let o be s(6). Let w(x) = -14*x**2 + 1 - 4*x - 5 + 7 + 13*x**2. Let p be w(o). Is p equal to -18?
True
Let c = -85146849/1438 - -59212. Which is bigger: c or -1?
c
Let m(w) = -114*w**2 - 19*w - 97. Let h be m(-7). Which is bigger: h or -5551?
h
Let y be 8/((-12)/(-42)*1). Let p be 1/y + 2/(-7). Which is bigger: p or 1/207?
1/207
Suppose 4 = 4*o + 2*m, -741*o = -744*o + 3*m - 33. Is o smaller than -1827?
False
Suppose 0 = 3*l - m - 44 - 59, -2*l - 3*m = -65. Which is bigger: l or 37?
37
Let z = 271.4 + -270.78. Which is smaller: z or -0.1?
-0.1
Let p(k) = 12*k - 69. Let i be p(6). Let t be i/(-4)*(3 + 15/(-6)). Is -0.1 at most as big as t?
False
Let f be (412/5150)/(2/(970*42)). Which is smaller: 1629 or f?
1629
Suppose -37 = -3*j + 11. Suppose 12 = 4*h + q, 2*h - 2*q = -0*q + j. Which is bigger: h or 40/11?
h
Let h(t) = t**2 - 29*t + 10. Let u = 23 + 8. Let c be h(u). Suppose -c = 3*g + 3*g. Is -11 less than or equal to g?
False
Let t = -14707 + 13066. Which is bigger: -1639 or t?
-1639
Let c = -813 - -813.018. Let v = 6.308 + -5.29. Let a = v - c. Is a > -27?
True
Let l be 2/42 - 871*(-155)/8463. Let b(g) = g**2 + 3*g + 1. Let j be b(-3). Let k be j/(-7)*(-1 + 3). Which is smaller: k or l?
k
Suppose 2*x = -3*m + 3, -2079*m = -2084*m + x + 5. Do -14/2343 and m have different values?
True
Suppose 66 = -1710*x + 1712*x. Let y(u) = -10*u + 3. Let d be y(3). Let h be x/(-22)*6/d. Is h greater than 1.4?
False
Let c = 23 - -4. Let b = c + -21. Suppose 0*n + n = b. Is n greater than 8?
False
Let s be (-3)/33 - 710/26554. Is 78/5 at least as big as s?
True
Let w = -98 - -30. Let j = w + 39. Which is smaller: -28 or j?
j
Let v = 50/3463 + 515800/252799. Which is bigger: 2 or v?
v
Let v(f) = -f**3 + 53*f**2 + 50*f + 217. Let u be v(54). Let p be (-9)/6 - 5*(-8)/60. Is p > u?
False
Suppose a - 5*a - s = -65, 3*a - 36 = -5*s. Suppose -a = 4*t + 47. Let r be (-8)/t*8/(-10). Is r greater than or equal to 19?
False
Let d(r) = r**2 - 16*r - 8. Let q be d(12). Let j = q - -34. Let m = j + 34. Is m smaller than 12?
False
Suppose -2*y = -3*a + 275, 5*y + 45 = -5*a - 630. Let d = 195 + y. Which is smaller: 410/7 or d?
410/7
Let a(h) = h**3 - 6*h**2 - h + 6. Let r be a(6). Suppose 40*z + 12 = 37*z. Let j be 16/360*(z - (-115)/25). Which is greater: j or r?
j
Let w = 1865 - 1865. Which is smaller: -4/3985 or w?
-4/3985
Let a be 2695/4 - 105/(-420). Let o = 2699/4 - a. Which is greater: 11 or o?
11
Suppose 4*r + 474 = -2*k, 0 = 11*k - 9*k - r + 499. Which is greater: -2/3 or k?
-2/3
Let f(z) = -3*z**3 - 373*z**2 + 249*z - 119. Let k be f(-125). Is 56/9 at most as big as k?
False
Let d = -679 + 680.007. Let v = -1.025 + d. Are v and 0.9 unequal?
True
Let k = -13 - -27. Let p = 754 - 538. Let z = p - 405/2. Which is greater: z or k?
k
Suppose 8*p = 6*p + 3*w - 90, 214 = -5*p + 2*w. Which is smaller: -85/2 or p?
-85/2
Suppose -7 = -2*v + 5*a, 22 + 11 = -2*v - 3*a. Let k(g) = g**3 + 8*g**2 - 26*g - 67. Let h be k(v). Is 86 less than or equal to h?
True
Let y = 0 + -0.3. Let r = 1.6796 + -1.7696. Is y less than or 