22?
True
Suppose 7*g - 294 = 3*d + 8*g, g = -2*d - 194. Which is smaller: -119 or d?
-119
Suppose -339*i = 456*i + 795. Let p be ((1*-3)/(-3))/(-115). Is i smaller than p?
True
Let j = -101192123081/954 + 106071394. Let p = -236/53 - j. Let z = p - 37/18. Is 8 > z?
True
Let s = 102355813/198 - 516950. Let g = 19/11 + s. Which is smaller: g or -1?
-1
Let y(w) = 17*w + 7 + 4*w - 7*w + 6*w. Let c be y(1). Suppose c = o - 8. Is 35 smaller than o?
False
Let m = -0.128 - -0.028. Let v = 93 - 92.909. Is m bigger than v?
False
Let o be (-16)/32 + 16484/(-78744). Let j = 2/579 + o. Let i = 2 - 1. Which is smaller: i or j?
j
Let p(l) = -512*l - 513. Let n be p(-1). Which is greater: n or -3/1361?
-3/1361
Let v = -38 + 40. Let y = -0.0391 - -98.0391. Is y < v?
False
Suppose -2*z + 2*z = -3*z. Suppose z = 2*f - 4*w - 12, 6*w + 15 = -5*f + w. Let v = -21/50 - -207/850. Which is bigger: v or f?
f
Let b be 4 - (-3)/(-6)*56. Let x = b + 29. Suppose -3*f + 1 = -x. Is f >= 2?
True
Let j(q) = -9*q - 149. Suppose -65*y = -68*y - 63. Let u be j(y). Is u < 40?
False
Let k(v) be the second derivative of v**5/20 + v**4/4 + v**3/3 + 2*v**2 - 94*v. Let s be k(-3). Let w be (-22)/12 - (-2)/6. Which is bigger: s or w?
w
Let j = 6156 + -153828/25. Is j greater than or equal to 2/7?
True
Let n(g) be the first derivative of -g**4/4 - 17*g**3/3 + 39*g**2/2 - 26*g + 55. Let b be n(-19). Which is bigger: -44 or b?
-44
Let h(l) = 3*l**3 - 85*l**2 - 706*l + 14. Let f be h(33). Is -8037 at least f?
True
Let v be (-636)/3256*4/6*-4. Let k = 48/37 + v. Are 1 and k non-equal?
True
Let t be -13 - -1 - (14 + -15). Let w = -56 + 96. Suppose 3*i + w = 4. Which is bigger: t or i?
t
Let f = 11858.39 - 11853. Is -0.4 >= f?
False
Let u(n) = n**2 + 6*n - 11. Let d be u(-8). Let c(f) = f**3 + 3*f**2 - f - 5. Let y be c(2). Suppose -19*h = -y*h - 24. Which is smaller: d or h?
h
Let v(i) = 14*i + 56. Suppose -5*z - 84 = 16*z. Let d be v(z). Which is bigger: d or -1/22?
d
Let x = 245 + -215. Is x > -41?
True
Let a be -2 + (-4 - -3) + (403/13 - 0). Which is smaller: 934/35 or a?
934/35
Let l be ((-220)/7)/((-45)/378*6 + 1). Is 138 greater than l?
True
Let p = 122762 + -122755. Let u be (-2)/8*(-32)/3. Is u less than or equal to p?
True
Let w = -44 - -51. Let l be 350*(14/(-9))/w. Let f = l - -78. Are f and -0.09 unequal?
True
Let q be (7 - 10)*35/3. Let y be (-24)/(-36) - (-46)/(-6). Let n be (y - q) + (-1 - -2). Are 29 and n unequal?
False
Let g = -125 + 75. Let a = 44.2 + g. Let v = a - -5.7. Is -27 at most v?
True
Let b = -7 - -7. Let r = -255/7 - -9697/266. Is r at most as big as b?
False
Let g(f) = -149*f - 393. Let z be g(-3). Is z at least as big as 30?
True
Let x = 139/10 + -57/5. Let u be 4/(-30) + 4 + -4. Which is smaller: x or u?
u
Let y = -12 - -23/2. Let q be (-25)/15*(-6)/5 + 759/(-297). Which is smaller: q or y?
q
Let f be 3/(-27)*-12*(-27)/(-12). Let r be f/9 + (55/(-15))/11. Is 28/69 <= r?
False
Let r = -3 - -2.9. Suppose -6*c = -8182 + 8152. Which is bigger: r or c?
c
Let p(t) = -7*t**2 + 4*t - 1. Let c be p(2). Let u be (c/(-6) + -2)/((-3)/4). Let i be (u/(-3))/((-1)/3) + 36. Is 0.2 at least as big as i?
False
Let n = -7642.53 - -7600. Let v = n - -42.6. Is -0.16 < v?
True
Let q(y) = -21*y**2 - 15*y + 2. Let o be q(-4). Let l = o - -274. Suppose 0 = -4*a + 2*a - 32. Is a >= l?
False
Let u = -67/15 + 24/5. Let y = -1615 + 85604/53. Let p = y + -101/1219. Is p at least u?
False
Let j(k) = 2*k**3 + k**2 + 13*k + 8. Let r be j(3). Is 107 != r?
True
Let s = 3 - 2. Suppose 133 = 2*d + 25. Let z be (-318)/22 - d/99. Which is smaller: z or s?
z
Let x(a) = -27*a + 566. Let b be x(21). Which is smaller: -2/2739 or b?
b
Let h = -484.92 - -487. Let t = h + -2.48. Is t != 44?
True
Let h be 20/14 - 18421770/(-1169). Which is smaller: h or 15761?
h
Let a(j) = 3*j**3 - 6*j**2 + 88*j + 367. Let r be a(-4). Let y be (-272)/1 + 0 - 2. Are y and r nonequal?
True
Let b = 29 + -29.066. Let h = b + 0.026. Which is greater: -0.7 or h?
h
Suppose 5*s - s - 3*r - 1010 = 0, -5*r - 10 = 0. Suppose -806 = 15*w - s. Is -37 equal to w?
True
Let u(q) = 46*q - 202. Let g(o) = 9*o - 40. Let d(s) = -22*g(s) + 4*u(s). Let j be d(11). Is j not equal to -83?
True
Let b = 14756.782 - 14738. Let s = 0.218 + b. Which is greater: -1/2 or s?
s
Suppose r = -4*q - 8610, -19*q + 17202 = -2*r - 18*q. Which is greater: -8601 or r?
-8601
Let r be (-745940)/(-10400) - (18/5 + -3). Which is smaller: r or 72?
r
Suppose -306*y - 69 = -65*y - 310. Which is smaller: 2/1517 or y?
2/1517
Let l = 21.09 + -9.09. Let u = -136 + 141. Which is greater: l or u?
l
Let f = -3 + -3. Let p be 1/(-1)*(-3 + 9)/f. Is p greater than 2/63?
True
Let t = -106 - -106. Suppose 2*n - 5*c + 384 = 0, -2*c + 389 = -4*n - 347. Let a = -9284/51 - n. Which is smaller: a or t?
a
Let c be (-5)/(-3)*(4/22 + (-175)/55). Does 0 = c?
False
Let s(w) = -5*w - 82. Let l be s(-20). Suppose -r - 2*p - l = 0, -12*r + 10*r - 3*p - 38 = 0. Let j = -0.2 + 0.1. Which is smaller: r or j?
r
Let v be (-6544143)/(-6698) - 1/34. Is v at most as big as 976?
False
Let n be (6 + 0)/((-18)/(-1230)). Suppose n + 304 = 34*g. Suppose 0 = 4*s + 2*c - 84, -5*s - c = -2*c - 112. Do s and g have the same value?
False
Let s be 2/(-11) + 1840/1650. Let o = -12 - -25. Let t = o - 13. Which is smaller: t or s?
t
Let l = 32 - 26. Let c(u) = -3 + u**2 - 4*u + 0 + l*u - 2*u**3 + 0. Let q be c(2). Which is bigger: -34/3 or q?
q
Let l(p) = -2*p**3 - 16*p**2 + 12. Let u be l(-8). Let b(o) be the first derivative of -o**2/2 + 30*o - 1. Let t be b(u). Is 21 greater than t?
True
Suppose 27*y - 214 + 1294 = 0. Let a be (-6 - 164/(-24))*372/y. Is a bigger than -7?
False
Let j = -2.99 - -1.99. Let g = -7.993 - -0.593. Is j smaller than g?
False
Suppose -3*i - 16235 = -5*o, 3*o + 2*i = 8407 + 1334. Is 3246 less than o?
True
Let n = 11 - 11. Suppose -3*s + 5*l - 25 = 0, 4*s - 14 = 5*s + 4*l. Let k be 16/120*(0 + s). Are k and n unequal?
True
Let r = 13 - 4. Let q(v) = -v**2 + 17*v - 21. Let t be q(15). Is t equal to r?
True
Let t = -1524/71 - -150734/7029. Is -192 >= t?
False
Let q(v) = -7*v**2 - 18*v + 58. Let b be q(8). Let r = 230 + b. Which is smaller: -303 or r?
r
Suppose 3*t - 14 + 2 = 0. Suppose -t*w = -6*w + 4. Suppose 3 = 5*u - w. Which is smaller: u or 1/6?
1/6
Let y(s) = -3*s**2 - 29*s + 18. Let x be y(-11). Let a be -3*40/(-126) - x/(-39). Which is bigger: -15 or a?
a
Let b = -46.06 - -46.0652. Which is bigger: 0.5 or b?
0.5
Suppose 3*r + 4*v - 26 = 0, 5*r + 5*v - 10 = 25. Let h be (-1752)/18 - r/(-1). Let x = h + 98. Is -5 smaller than x?
True
Suppose 36*d - 50*d = -84. Let i be (-40)/15*d/(-104). Suppose a - 3*a - 2 = 0. Are a and i equal?
False
Suppose 7*y = 324 - 86. Let p = y - 40. Let d be (p/(-9))/((-1)/(6/(-4))). Is d greater than or equal to -1/35?
True
Suppose 0 = 4*l - 7*l + 219. Let u be (-644)/368*(5 + 1284/(-28)). Which is greater: l or u?
l
Suppose 45*h + 530 = 46*h. Suppose 4*c - 1074 = -5*p, -2*p - 110 + h = 4*c. Let k = p + -643/3. Is 5 equal to k?
False
Suppose 7*z - 24*z = -11*z - 195*z. Is 1/1106 > z?
True
Suppose -2*t + 8 = -2*y, 0 = -t + 2*t - 2*y - 8. Suppose 5*z - 4 - 11 = t. Let j be 3 - z - -1 - 0. Is 9 <= j?
False
Suppose -4*c = -4, -x + 72*c - 71*c = 2. Which is greater: x or -9/20?
-9/20
Suppose -4 = 2*s - 3*s. Let o be ((-4)/(-6))/(s/6). Let h = -193/847 + 10379/38115. Which is smaller: o or h?
h
Let x = 565.3 + -109.3. Let p = 352 - x. Are -2 and p non-equal?
True
Let l be (8 + 0)/1 + (55332/(-530) - -101). Let c be (10/4)/(6/12). Is c greater than l?
True
Let n = 8331 - 8349.194. Let i = 0.194 + n. Which is greater: -0.1 or i?
-0.1
Let f be (-18674136)/2334196 + (0/2 - -8). Do -1 and f have the same value?
False
Let u be 0 + 2 + (-880)/436. Let r be (-38)/2 - -6*(-10)/(-15). Let k be r/(-10)*(-2)/3. Is u smaller than k?
False
Suppose -3*y - 102 = 51. Let v = y - -52. Let l be (1/v*-2)/(-24 + 2). Is l > 1?
False
Let t = -64/119 - 44553/1904. Which is smaller: t or -2?
t
Suppose 10*l = -4*a + 11*l + 4127, 0 = 2*a - l - 2063. Suppose 0 = 4*r - 12*r + a. Is r smaller than 129?
False
Let q = -67 - -66. Let l be ((-3)/6 - q)*2. Let v = 696 - 54986/79. Is l >= v?
True
Let w = 4419/23 + -192. Suppose 5*p = 5*d + 20, -2*p + 17 = 3*p - 4*d. Let s be p/4 + (-30)/(-40). I