22/209. Is 3 less than k?
True
Suppose 4*t + 4*o - 12 = 0, 3*t - o + 25 = 18. Which is smaller: 24/1165 or t?
t
Let b be (-1044)/(-29)*(-20)/(-12). Which is smaller: b or 32?
32
Let z(b) = 459*b - 30. Let y be z(-10). Let t be 8 - (-19)/(10982/y). Is t < -1?
False
Suppose 0 = -14*a - 9*a. Suppose 6*v - 9*v - 3 = a, -3 = -i - v. Is i less than 4?
False
Let z(d) = -5*d + 10. Let s be z(20). Let x = s + 88. Let n be x/(-7) + (-11529)/735. Which is smaller: n or -15?
n
Let g = 99 - 170. Let m = g - -141/2. Let t = 6913/11 - 629. Is t at most as big as m?
True
Let o = 19747 - 19870. Let u = -205 + 81. Which is bigger: o or u?
o
Let r = 0.981 - -4.045. Let z = 22.6 + -22.674. Let h = z - r. Is -1 at most h?
False
Suppose 0 = 2*c - 7*c - 95. Let v = c - -17. Let h = 27/22 + -112/33. Which is smaller: h or v?
h
Suppose 0*f - 25 = -3*f - 2*x, 4 = f + 5*x. Suppose -f*h = 31*h + 400. Do h and -34/3 have different values?
True
Let d = 10104 - 10041. Which is smaller: 1340/21 or d?
d
Let v = -0.0517 - -995.0517. Let d = v + -477. Which is bigger: d or 0?
d
Let q be ((-2649888)/1080)/((-1)/5). Is q greater than 12270?
False
Let m = 75 + -22. Let t = -572/5 - -114. Which is bigger: t or m?
m
Suppose 0 = 2*j - 4*r + 12, 35*j - 31*j + 9 = 3*r. Do j and 4/479 have the same value?
False
Let x = 33 - 33.094. Let y = x - -3.794. Let l = y - 2.7. Is l bigger than 3?
False
Let d be 8 + -39 + 28 - 2*15. Which is smaller: -120 or d?
-120
Let y be (1/22)/(1702/184). Let i be (-5)/(-3) + 10/(-15). Which is bigger: y or i?
i
Let n = -13020 - -13179. Which is bigger: 132 or n?
n
Let f be ((-5)/45)/((-31)/124*8/18). Which is smaller: 25/611 or f?
25/611
Let f(p) = 34*p + 37. Let z be f(-10). Let i = z + 337. Are i and 31 non-equal?
True
Suppose 510*j - 508*j - 2*m - 118 = 0, 0 = j + 2*m - 68. Which is smaller: j or 35?
35
Let h = -3.8226 + -10.5774. Let i = 40/7 + -6. Is i smaller than h?
False
Let r = -260 + 324. Let l = -65 + r. Which is bigger: l or -5/34?
-5/34
Suppose -2*k = -4*d + 15122, -8*d + 1119 - 8650 = k. Is k equal to -7555?
True
Let o be 2*5 - (10 + (2 - 3)). Which is smaller: o or -2/14939?
-2/14939
Suppose -2*y - 7 = 5*p - 10, 21 = -3*p - 5*y. Is -399 at least p?
False
Let m(b) = b**3 - 9*b**2 - 11*b - 3. Let a be m(13). Suppose 0 = -a*q + 527*q - 6. Is 2 not equal to q?
True
Let l = -68.7 - -22.1. Let h = l + 45.032. Let s = 1.5 + h. Is s < -2/3?
False
Suppose 3*p = -x - 192, 7*x - 933 = 15*p + 9*x. Let j be (2/4)/(2/(-236)). Which is greater: p or j?
j
Let i(g) = -100*g - 7. Let v be i(-1). Suppose 5*z + v = 8*z. Is 36 at most z?
False
Let g be ((-9)/1585)/(81/270). Does g = 2/15?
False
Let c be 4/(-14) + (-1112)/28. Let v = 50 + c. Let u = -38 + v. Is -27 <= u?
False
Let q = -26934 - -26792. Is q greater than -122?
False
Let s be -232 - 2/(2 + 0). Let d = -224 - s. Do d and 0.3 have the same value?
False
Let z be (-598)/(-6) + 5 + 600/(-36) + 11. Is z at most as big as 105?
True
Let j(l) = -3*l**3 - l**2 - 3*l + 14. Let i be j(2). Which is bigger: 28 or i?
28
Let x be 2 - (-11 + 6) - 9 - -4 - -62. Let o = 35 + 31. Which is greater: x or o?
o
Let f = -677 + 676.9382. Let k = f + 0.0167. Which is smaller: k or -2/3?
-2/3
Suppose 99142 + 99446 = -78*a. Which is greater: -2547 or a?
a
Let g be ((-8)/(-64))/(8/(-6)). Let v(j) = 3*j + 24. Let t(r) = r + 6. Let w(b) = -9*t(b) + 2*v(b). Let d be w(-2). Which is smaller: g or d?
g
Let h be (68/56)/(((-9)/(-4))/9). Let w = 46 + -67. Let m be 7/12 - (-7)/w. Is m < h?
True
Let c = 10.2 - 0.2. Let y = -0.28 + 45.28. Let g = -44.8 + y. Which is smaller: c or g?
g
Let t = 171.5 + -177.5. Is t greater than or equal to -6/13?
False
Suppose -4*n - 4*a + 28 = 0, 8 = 17*n - 21*n + 2*a. Which is smaller: n or 14771?
n
Let m = -132449/117 + 1132. Is m < 0?
True
Let i = 156.96 - 200.29. Which is smaller: 0.2 or i?
i
Let q(a) = 3*a - 7. Let j(h) = -h + 3. Let f(w) = -5*j(w) - 2*q(w). Let d be f(0). Let m = -214 + 212. Which is smaller: m or d?
m
Let c be (-3396)/60 - (-4)/(-10). Suppose 3*l - 5*f = -357 + 128, 3*l + 3*f = -165. Which is bigger: l or c?
c
Let l = 1067 + -5338/5. Is l >= -0.056?
False
Let n be (-8)/52 - 4279/(-13). Let b = 338 - n. Is b equal to 8?
False
Let w(b) = -2*b**2 + 5*b + 319. Let y be w(-12). Is -7 at most y?
False
Let m(w) = 3*w + 1. Let t be m(0). Suppose -2*q + y + 10 = 0, 4*q - t = -4*y + 43. Suppose -2*i - 5 = 5*z, q - 2 = -i - 5*z. Which is smaller: i or -1/23?
-1/23
Let n = -14 + 14.01. Let s = 1160619/9284 + -6021/211. Let x = s + -387/4. Is x > n?
False
Suppose p = 3*a - 12, -a + 27*p - 32*p + 4 = 0. Let w be 2/(2/144*a). Which is smaller: 35 or w?
35
Let m(b) = -4*b + 77. Let w be m(14). Let x(s) = -s**3 + 21*s**2 + 3*s - 94. Let f be x(w). Is f < -33?
False
Suppose 69*v - 2794 = -58*v. Is 390/17 at most v?
False
Let w = 10274.01 + -10499. Let m = 225 + w. Which is greater: 0.05 or m?
0.05
Let w = 1863 - 1710. Which is smaller: w or 152?
152
Let t(b) be the second derivative of -2*b**2 - 1/10*b**5 - 1/4*b**4 + 0 + 15*b + 1/3*b**3. Let r be t(-3). Which is smaller: 15 or r?
15
Suppose -720 = -5*v + 3*o - 7, 2*v - 282 = 2*o. Do 147 and v have the same value?
False
Suppose -8*g + 25 = -3*g. Let j be 70/4 - g/(-10). Let i be 2/3 + 208/12. Is i >= j?
True
Suppose -3*m - 43 = n, 17 = m - 2*m - 3*n. Let b be (-49)/343*m/120*-2. Is b > 0.08?
False
Let h(i) = i + 15. Let y be h(-11). Suppose j = 4 + y. Let v be 12 + 1 - 0 - 2. Is v at least as big as j?
True
Let a = -185 + 198. Let n = 31 + a. Which is smaller: -0.1 or n?
-0.1
Let w = -3380 - -3380. Are -35/54 and w nonequal?
True
Let a be (1*(2 + -5))/(21/14) - 1069. Which is smaller: -1077 or a?
-1077
Let i(z) = -z**3 + 6*z**2 + 28*z - 48. Let a be i(11). Let c = a + 346. Is 4/13 at least as big as c?
False
Let r = -10472 + 10472. Is -7446 smaller than r?
True
Suppose -7*t + 765 = 2*t. Let l be (-330)/t - (-4)/(-34). Let d be (-11 + l)*(0 - 2). Is d != 31?
True
Let s = 120789/56 - 2157. Let c = 103/168 - s. Let f = -8 - -9. Which is greater: f or c?
f
Suppose 5*l + 11273 + 54640 = 3*i, 3*i - 52728 = 4*l. Which is greater: l or -13184?
-13184
Let m = -9827 + 8562. Which is smaller: m or -1264?
m
Let d(j) = 57*j**2 + 430*j + 60. Let n be d(-21). Is n at most as big as 16167?
True
Let o be (-2)/((-2)/(-119)) - -1. Let y be (-1302)/(-465)*(-170)/4. Is y smaller than o?
True
Suppose 2*h + 220 = 7*h. Let x = h + -42. Let m be (x - (1 - (-195)/48)) + 3. Is m bigger than 1?
False
Let p be (122 + -1)*(-50 + 51). Which is smaller: 112 or p?
112
Let i be (9/4)/(-3)*(-6 - (-182)/12). Which is smaller: i or -6?
i
Let y(j) = j**3 + 5*j**2 - 11*j - 7. Suppose 7 = 21*u - 22*u. Let m be y(u). Let q be 24*(8/m - (-22)/28). Is q smaller than 23/2?
False
Let k = -13 - -12. Let c = -968/17625 - -10/141. Which is smaller: k or c?
k
Let b = -1539912/167 + 9221. Let t = b - -3689/501. Let u be (3 - 4)/(1/(-7)). Is u less than or equal to t?
True
Let i(j) = j**2 - 4*j + 1. Let d be i(3). Let a = 19 - 24. Let s be (-132)/(-77) - (0 - a). Is d < s?
False
Let l = -39.608 - -0.108. Let g = l + 17.3. Is g != 1?
True
Suppose -3*j - 19*j + 7*j = 7140. Which is smaller: -469 or j?
j
Let a = -37 - -41. Suppose a*q + 42 = 98. Let v be (-50)/(-21) - (-4)/q - 2. Which is greater: 1 or v?
1
Let p(l) = -3*l**2 + l - 25. Suppose 9 - 9 = -26*x. Let w be p(x). Is w greater than -2?
False
Suppose -340*f = 3*c - 341*f - 14289, 0 = 3*f - 8*f. Is 4763 < c?
False
Let y = 1793 + -1716.5. Does 4 = y?
False
Let t = -0.16 - -16.66. Let d = 16.8 - t. Let y = 30 - 29.83. Which is smaller: y or d?
y
Suppose -4*b + 10 = 2*g, -g + 1 = 5*b - 13. Suppose 5*h = -3*w - 6, -2*h + 5 + b = -4*w. Which is bigger: w or -7/3?
w
Let j be -3 + ((-44)/64)/(6/(-10024)). Let z = 3574/3 - j. Is z <= 45?
False
Let c(i) = 2461*i - 2461. Let w be c(1). Which is bigger: -23206 or w?
w
Let d = 2465 - 2552. Which is smaller: d or 0?
d
Let q = -0.26567 + -0.02433. Let g = 0.21 - 0.14. Is q at least as big as g?
False
Let w = -404 - -393. Let l be ((-3)/7)/((-8)/(w - -35)). Suppose -5*p + 1 + 4 = 0. Is p less than or equal to l?
True
Let a = -427519 - -86786556/203. Let v = a + -16/29. Let u(q) = 2*q**2 - 53*q - 26. Let s be u(27). Is s <= v?
False
Let k = 38/677 - 829/2708. Which is greater: 18889 or k?
18889
Suppose 0 = -