s bigger: s or 2/9?
2/9
Let r = -4423 - -4422. Let k = -2 - -20. Let i = 12 - k. Is i < r?
True
Let l(f) = -f + 9. Suppose 2*o = -b + 12, 4*o + b = -4*b + 18. Let x be l(o). Does 2/3 = x?
False
Let c be (-32)/72 + (-248)/(-126). Which is smaller: 2 or c?
c
Let z be (2/(-6) + 1)*39/7397. Which is greater: -1 or z?
z
Let s be 6/(3/(-9)*-2). Let p be (-8)/(-36) - 11/s. Are 1/91 and p nonequal?
True
Let f = -1.6 + -68.4. Let w = -70.97 - f. Let b = w - 0.03. Are -17 and b equal?
False
Let b be 1 + 1*1*-2. Let j be ((-20)/6)/(225/(-1620)). Let u be 2/(-9)*j/32. Are b and u equal?
False
Suppose 9*s + 326 = -2*z + 7*s, -4*z + 4*s - 636 = 0. Which is smaller: -165 or z?
-165
Let j = -1/67 + 809/335. Let d be 2 - (0 - 0/(-1)). Is j greater than d?
True
Suppose -3*f = f - 12. Suppose 3*p + f = -3. Let l be 3/6 + (-1)/p. Is 2/7 less than or equal to l?
True
Let d = 203/4980 + -1/60. Are d and 2 equal?
False
Let g be (-12)/(-20) + (-2688)/(-270). Which is smaller: 11 or g?
g
Let t = 0.09 + -21.09. Let u = t - 6. Which is smaller: 0.1 or u?
u
Suppose 14 = -q - 4*i, 4*q = -i + 3*i + 16. Let k(a) = a**2 - 3*a - 6. Let v be k(5). Let x be v/(-8)*2 + 4. Which is bigger: q or x?
x
Let z(h) = -h**3 + 11*h**2 + 9*h + 3. Let o be z(12). Let c = 39 + o. Is c >= 2?
True
Suppose -4*c - 3 + 31 = 0. Let y be ((-20)/50)/(6/10)*12. Let s be y/28 + 132/21. Which is smaller: c or s?
s
Let x(n) = 9*n + 7. Let c be x(-3). Let a be (-3)/2*c/15. Suppose 3*u + 10 = -a*u. Is u at most -6?
False
Let a = 15 - 15. Let b be -44 + (4 - (a + 3)). Which is greater: -41 or b?
-41
Let y be (1/(-220))/((21/26801)/1). Let f = y - -1/924. Is -7 equal to f?
False
Let r = -1310 + 3985/3. Which is smaller: r or -0.1?
-0.1
Let o be ((4 - 4) + 1)/(33/(-9)). Is o less than 0?
True
Let b = 0 + -0.09. Let k = 3.31 - b. Let i = 2.6 + k. Do i and -0.2 have the same value?
False
Let c(a) = -a + 1. Let f be c(3). Are -25/32 and f non-equal?
True
Let x = 0.0518 + -0.2518. Let d = 1909 + -150809/79. Which is smaller: d or x?
x
Let g = -10 + 15. Suppose c = -4*u - 9, -3*c = -g*u + c - 27. Let p be -1 - (4 - -2)/u. Which is greater: p or 2?
2
Let m = 0.2 - 1.2. Let f = 2.9 + -1.9. Let h = -0.1 + f. Is h > m?
True
Suppose 2*r + 14*h = 17*h - 45, 3*r + 48 = -2*h. Which is smaller: -21 or r?
-21
Let g be (-4)/(-34) + 0 + 16884/(-162877). Which is smaller: g or 1?
g
Let x(r) = 4*r**3 - 42*r**2 + 7*r + 6. Let m be x(10). Which is smaller: -4 or m?
m
Let v(u) = u**3 + 26*u**2 - 27*u + 35. Let o be v(-27). Which is bigger: o or 37?
37
Suppose 14*g + 296 = 10*g. Does g = -72?
False
Let p(l) = -l**3 - 5*l**2 + 2*l + 6. Let m be (-70)/21 - (-2)/6. Let f be 1 + (-3 - (0 - m)). Let n be p(f). Are n and -4 nonequal?
False
Let v be 6 - (-2 + -2)/(-4). Suppose -v*m = 4*f - 18 - 43, -2*f = 2*m - 32. Let y be -1 + 2 - f/38. Does y = -1?
False
Suppose 4*y - 3*d - 2 - 69 = 0, 0 = 2*y + d - 23. Let v = 28 - y. Suppose -14 = -3*w - 2*b, 3*w + 4*b - v = 4*w. Which is smaller: w or 0?
0
Let i(r) = 8*r + 75. Let u be i(-11). Which is smaller: u or -88/7?
u
Suppose -5*q = -3*x - 20, -4*q - 4*x = -15 - 1. Suppose -243 = 11*o - 2*o. Let s be o/(-18) - (-2)/q. Is s at most 5?
True
Suppose -3*s - 17 = -4*m, 5 = 4*m + s - 16. Suppose n - m*c - 65 = 0, -c = 3*c. Let q = n - 389/6. Which is bigger: q or 0?
q
Let y = -149/173 + 20383/16435. Which is greater: 0 or y?
y
Let d(z) = -z**3 + 8*z**2 + 2*z - 15. Let c be d(8). Are c and 3/397 equal?
False
Let s = 119 + -592/5. Let k = 1367/2 - 684. Which is smaller: s or k?
k
Let g be 18/8*-11*(-12)/594. Does 854 = g?
False
Suppose 288 + 372 = -4*h. Let w = 155 + h. Let m(d) = d**2 + 6*d + 2. Let n be m(-3). Which is smaller: n or w?
w
Let r be 2 + (-15)/18 - 21/14. Suppose 8*l + 3 = 5*l. Which is bigger: l or r?
r
Let j = -17.8 + 17.644. Which is smaller: j or -2/17?
j
Suppose h + 8 = -2*v, h - 20 = 5*v - 3*h. Let l(b) = b**3 - 8*b**2 - b - 6. Let g be l(9). Let d = g - 133/2. Is v >= d?
False
Let b = -3 - -6. Let l(j) = -4*j + 2. Let t be l(1). Let o be (t - -3) + 12/4. Which is smaller: o or b?
b
Let b = 80 - 77. Suppose -4*o + 3*c + 12 = b, 4*o + 3*c + 9 = 0. Is o >= 1?
False
Suppose -14 - 11 = -5*z. Suppose -t - 40 = -z*t. Let v(k) = -k + 8. Let m be v(t). Is m < 5?
True
Let k = -527 + 526. Which is greater: -1/35 or k?
-1/35
Let k(t) = 4*t**2 - 23*t + 34. Let g be k(4). Which is greater: 11 or g?
11
Let s(h) = h + 6. Let d be s(-3). Suppose -4*j + 3 = -d*j. Suppose 3 = j*z - 2*z. Is 3 less than z?
False
Let l(v) = -v**3 - 3*v**2 - 5. Let p be l(-4). Suppose 0*i - i = -2*g + 8, 10 = 2*g - 2*i. Let u be g - (4 + 2) - -14. Do p and u have different values?
False
Let j be 2/7 - (-76)/(-70). Let t = 68 - 108. Let h be 3/(-5) + (-24)/t. Is j smaller than h?
True
Suppose -7*d - 337 + 1128 = 0. Are d and 572/5 equal?
False
Let n(w) be the second derivative of w**4/12 + 5*w**3/2 - 4*w**2 - 75*w. Suppose -m - 45 = 2*m. Let g be n(m). Is -8 != g?
False
Let q be 82/(-8)*2*(-12)/(-6). Let o = q - -58. Which is greater: 15 or o?
o
Let f = 42 - 70. Let s = f + 28. Do s and 1/3 have the same value?
False
Suppose 2*c + 98 = 5*t, 2*c - t = -3*c - 199. Is -39 not equal to c?
False
Let l be (-3)/7 + (-234)/42. Let u be ((-60)/50)/(l/20). Suppose 3*z + 2*a - 26 = 7*z, 0 = -u*z + a - 23. Which is greater: -3 or z?
-3
Let a(h) = 9*h + 66. Let f be a(-7). Suppose 0*d = f*z + 2*d + 26, 5*z + 10 = 5*d. Is 5 bigger than z?
True
Suppose 0 = -5*l + 6*l - 16. Let a be 58/16 + -2 - 4/l. Which is greater: 0 or a?
a
Let n be ((-8)/4)/(1/121). Let r = 141 + n. Let t = 1311/13 + r. Are t and 0 non-equal?
True
Let w = -5589/5 + 1120. Is w at least 1?
True
Let i = 11.1 - 0.1. Let x = i + -12.4. Is 2/3 < x?
False
Let s = -231 + 253. Are 22 and s equal?
True
Suppose 60 = -3*r - 4*s, -4*s - 44 = 2*r - 0*r. Let h = r - -19. Let k be 10*(2 - h) + -3. Is -13 bigger than k?
False
Suppose 5*o = 5*h + 6 - 666, 249 = -2*o - 3*h. Is o <= -129?
True
Let f be -5 - 37/1*4/(-28). Is f >= -19?
True
Let k = -523 - -2624/5. Let o(z) = z**3 + 6*z**2 - 8*z - 6. Let y be o(-7). Is k smaller than y?
False
Let y = -167 - 380. Is y smaller than -549?
False
Let x = -3901 - -19082/5. Let g = -85 - x. Does g = 14/5?
False
Let k = 1.22 - 0.59. Which is smaller: k or -3/4?
-3/4
Let w be -17 + 49 - (1 - 4). Suppose -2*g - 3*g = w. Is g smaller than 0.3?
True
Let r(b) = -7*b**2 + b. Let m be r(1). Let z be (m/4)/(2/(-4)). Suppose -z*n = n. Which is smaller: n or 1/6?
n
Let r = 32 - 31.99. Let c = 1.01 - r. Which is smaller: c or -1/8?
-1/8
Let j be 1*6 + 62 + -65. Let t = -6 + 8. Let m = t + j. Is 5 > m?
False
Let p = -554 - -512. Is p greater than or equal to -42?
True
Let a be ((-66)/14 - -5) + (-129)/(-357). Is 2 at least a?
True
Suppose -l = 2*l. Suppose -4*h + 17 = -t, l = h + h + 3*t - 19. Let q be ((-3289)/276 - -18) + (-2)/((-8)/(-3)). Which is bigger: q or h?
q
Suppose 87*p + 309 = 396. Let x be (2 - -20)*1 + -2. Let y be (-15)/(-42)*6/x. Which is greater: p or y?
p
Suppose -4*q - 210 = q. Suppose 2*h - 38 = -122. Are h and q equal?
True
Let p = -38.937 + -0.063. Let w = p + 66. Let t = w - 25. Is -11/2 bigger than t?
False
Suppose 91*j - 1399 = 1487 + 299. Let q be (-1)/2 + 142/4. Is q at most j?
True
Suppose 3*n = -2*a - 349, 103 = -n - 4*a + 6*a. Is -114 at most as big as n?
True
Suppose 3*q = 4*m + 351, -3*q = -21*m + 22*m + 84. Is -87 greater than m?
False
Suppose 0 = -36*d + 46*d + 2220. Is -443/2 > d?
True
Suppose 0 = -q + 4*p - 29, 4 + 1 = -5*p. Let x = q - -30. Is -17/7 not equal to x?
True
Let z = 48.35 + 0.65. Let m = z + -53. Is -14 at most as big as m?
True
Let f = -30.5 + 20.5. Is f != -21?
True
Let p = 1.352 + 0.048. Which is smaller: 2 or p?
p
Let p = 0.157 - 3.157. Is 0.37 < p?
False
Let x = -24649 + 1355771/55. Let f = 9154/6545 - x. Is f < 1?
True
Suppose 4*d - 61 = -r - 107, 5*r = 4*d + 34. Is d less than or equal to -11?
True
Let w = 63 + -123. Let o = w - -92. Let t be -1 + 1 + o/136. Does 1 = t?
False
Let h = 21 - 15. Let w be 28/h - 12/18. Suppose 3*m = -m - w. Are m and -3/2 nonequal?
True
Suppose -f - 4 = -k - 2, 0 = k + 2*f + 1. Let t be ((-2)/8)/(-2 + k). Which is smaller: 3/5 or t?
t
Let f be 24/11 - 12*3/(-9). Which is smaller: 7 or f?
f
Suppose 0 = -l + 21 + 20. Is l > 40?
True
Let r = 25 + -84. Which is bigger: