x > 9?
False
Let v = 6 - 11. Let o be 36/21 - 2 - (-16)/7. Suppose 5*w = 5*c - c - 46, -o*w - 8 = c. Which is smaller: w or v?
w
Let u be -3 + (8*7/1644)/(4/450). Is u >= 1?
False
Suppose 4*d = 5*w - 2*w - 1902, 2*d + 960 = -3*w. Which is bigger: d or 1/8?
1/8
Let h(u) = -35*u**2 + 13*u + 22*u**2 + 14*u**2 + 13. Let q be h(-12). Is 1/95 <= q?
True
Let k(v) = 2*v**3 + 44*v**2 - 4*v - 92. Let b be k(-22). Which is smaller: b or -392/73?
-392/73
Suppose 197*k + 9 = 200*k, -4*t = k - 29227. Which is smaller: 7305 or t?
7305
Let y = 1433 - 1122.6. Let x = y + -286. Let b = x + -9.4. Which is bigger: b or -2?
b
Let d(b) = b**2 + 5*b - 6. Let y be d(-6). Let i be (-1450)/6*(-36)/48. Let w = 180 - i. Which is smaller: w or y?
w
Suppose 0 = 4*q + 15 - 171. Let l be q/(-91) - 3*44/378. Do 0 and l have different values?
True
Let d be 139/5 + 60/(-75). Suppose 0*q + 5*k + 30 = 2*q, 5*k = -4*q + 120. Is q greater than or equal to d?
False
Let a = -11 + -73. Let q = -18 - a. Let t be (-4)/6*(q/42 - -1). Are t and -3 non-equal?
True
Let t = -132/5 - -6483/245. Let o = 2546937/245 + -10396. Let b = o - t. Is b > 0?
False
Let p(k) = 2*k**2 + 14*k + 31. Let s be p(-2). Suppose 3*m - 88 = 5*f, -4*m + 6*f - s*f = -94. Are 29 and m unequal?
True
Suppose 22*z - 192 = -6*z + 12*z. Which is bigger: z or -2/59?
z
Suppose 0 = -2491*w + 2490*w + 1. Which is smaller: 4/2173 or w?
4/2173
Let x = -898 - -610. Which is bigger: -285 or x?
-285
Let f(u) = -4*u**2 + 26*u - 3191. Let a be f(0). Which is smaller: a or 0?
a
Suppose 5*s + 1 = -9, 0 = 2*o + s - 2. Let u be 15/5 - (o + (1 - 0)). Suppose u = -3*x - 2*z + 14, -x + 10 = 5*z - 3*z. Which is smaller: 9/5 or x?
9/5
Let c = 193.06 - -1.94. Let j = 170 - c. Which is bigger: j or 5?
5
Let i(o) = 2*o**3 + 18*o**2 + 11*o + 45. Let w be i(-6). Is 3324/17 > w?
True
Let f be (-2)/4*(-6 + 4). Suppose 0 = -q + f, -3*q - 165 = 2*b - 10. Let a = -15825 - -15746. Is a at least b?
True
Suppose 124*j = -110*j + 220*j - 1554. Which is smaller: -160 or j?
-160
Let y = 94041 + -15704893/167. Which is bigger: y or 1?
1
Let q = -52073/13 + 4004. Which is smaller: 0.4 or q?
q
Let j be 7 - (10 - (-4)/(-2)*(7 + -4)). Which is smaller: 1974 or j?
j
Suppose 86*w + 103376 = 73*w. Let u be 34/119*w/(-4). Which is smaller: u or 567?
567
Let t = 16697 + -17084. Which is greater: -394 or t?
t
Let d be 2/(3/(-3)) - -11. Suppose -3*v + 5*v + 7 = 3*h, 3*h - 3*v - d = 0. Let z be ((-9)/(-21) - h)*7/(-33). Which is smaller: z or -1?
-1
Let z = 22108 + -1901241/86. Which is greater: 1 or z?
1
Let l = -11/5 + 507/235. Suppose -5*q + 35 = -3*d - 2*d, -5*q + 51 = 3*d. Suppose 4*f - 6*k + k = q, -2*f + 6 = -4*k. Which is greater: l or f?
f
Let v = -1962 + 308036/157. Suppose -4*u = -22*u + 1512. Let z = u + -85. Which is greater: v or z?
v
Let m(g) = g**2 + 4*g - 11. Let o be m(-9). Let j be 24/64*o/(-6). Let f = 25/12 + j. Which is smaller: 0 or f?
f
Suppose z + 67 + 10 = 0. Let j = z + 65. Let f be (-3 + (-44)/j)/(1/(-21)). Which is bigger: f or -11?
-11
Suppose -2*j + 67939 = 7*z - 2*z, 3*j + 27187 = 2*z. Which is bigger: z or 13590?
13590
Let q be 2/(-13) + (-2485)/(-13). Let c = q - 5345/28. Which is greater: 1 or c?
1
Let z be ((14280/(-49))/(-6))/((-6)/(-21)). Suppose 169*h = z*h - 164. Which is bigger: 163 or h?
h
Let c(p) = -7*p**3 + p**2 + p + 6. Let j be c(3). Let q = 2160 + -2330. Is j < q?
True
Let f = 0.0041 + 208.9959. Let a = 207.9 - f. Is 0.1 greater than or equal to a?
True
Let d be 1 - 7 - (-1 + 6). Let l(m) = -m**3 - 13*m**2 - 29*m - 19. Let n be l(d). Which is bigger: n or 57?
n
Suppose 5*z = -0*z - 15, -4*m = -3*z - 13. Let p = -154 + -351. Let v be (-2)/(3010/p) - 9/21. Which is smaller: m or v?
v
Let o = 16.8 - 17. Are o and -2153 unequal?
True
Let g = -3055 - -4399. Are g and 2 equal?
False
Let d(k) = k**2 + 2*k. Let c be d(-2). Let h be (16/1)/64 + 22/72. Is c less than or equal to h?
True
Let t(n) = -6*n**2 + 59*n + 512. Let h be t(-8). Which is greater: -348 or h?
h
Let m = -42177 - -42287. Let p be 1*(107 - 1*-2). Is p bigger than m?
False
Let b = 7054581253/8479848 + -1/652296. Let x = b - 832. Which is greater: x or -11?
x
Let h = 5 - 4. Let q = -165 - -36. Let v = q - -128.74. Is v bigger than h?
False
Let g = 7735 - -4229. Is 11963 not equal to g?
True
Let g be -1 - (-1592)/394 - 3. Let z(y) = 4*y**2 - 233*y + 2079. Let v be z(11). Which is smaller: v or g?
v
Let p = -5.266 + 5.066. Which is greater: p or -3.857?
p
Suppose 2*m = 11 - 1. Suppose o - 47 = 4*i, -8*o - m*i - 162 = -11*o. Is o smaller than 61?
True
Let o be 191429/1886*((-12)/(-7) + 0). Is 174 less than or equal to o?
True
Let w(u) = -26*u + 389. Let q be w(15). Which is bigger: 3/16531 or q?
3/16531
Let a = -1322 + 1956. Let o = 605 - a. Which is smaller: -21 or o?
o
Let k = 1066/11 - 69378/715. Is k less than -1/4?
False
Let i = 109 - 127. Suppose 3*a + 20 = -a. Let d be (a/((-75)/(-10)))/(-2). Which is smaller: d or i?
i
Suppose x = -2*i + i + 5, -2*i + 2*x = -2. Suppose -1 + 7 = -2*h + 4*w, 18 = i*h + 3*w. Let l = -18814/7 - -2692. Is h bigger than l?
False
Let s(d) = d**3 - 2*d**2 + 6*d + 1. Let c be s(5). Let y = -1/219784 - 303521691/2857192. Let p = y + c. Which is smaller: 0 or p?
p
Let n = 1117 + -1115. Let m be (-22)/6*1/(-3). Is m not equal to n?
True
Let d = 280 - 307. Let z be ((-3)/(-2) - 2)*0. Is z > d?
True
Suppose 216*d + 380 = 812. Is d bigger than 3/182?
True
Let u = -12549 - -37754/3. Which is smaller: 37 or u?
u
Let h(d) be the third derivative of -11*d**4/24 + 3*d**3 - 13*d**2 + 1. Let m be h(-12). Which is bigger: 151 or m?
151
Suppose -5*l + 21 = -5*r - 34, -2*r = 4*l + 40. Let o be (-7605)/240*r/3. Let v = o - 146. Is v smaller than 1?
False
Let j be ((-2)/(0 + 2))/(1/(-5)). Let z be (4 - (-4 + j)) + 3 + -2. Suppose 0*v - v - 6 = -3*y, v + z*y = 22. Which is smaller: 10 or v?
v
Let l = -2357 + 2358. Let r = 162/7 + -24. Is l <= r?
False
Let r = 1/43 - -41/86. Let x = -12798.6 + 12798. Is x > r?
False
Let p = 2/2003 + -64134/38057. Is p not equal to -2?
True
Let o = -0.2 + 0.2. Let u = 3.64 + -5.31. Let w = u + 1.78. Which is smaller: o or w?
o
Let h(c) = 2*c**3 + 4*c**2 - 6*c - 11. Let z be h(-2). Is -34/105 > z?
False
Let t(r) = -r + 10*r - 96 + 56*r + r**3 - 32*r**2 - 2*r**3. Let l be t(-34). Which is greater: 5 or l?
l
Let l = -383 - -295. Which is smaller: l or -1306/15?
l
Suppose 159*p + 2835 = 194*p. Which is smaller: 74 or p?
74
Let s = -81 - -69.6. Let j = 10.4 + s. Suppose 6*i - 303 = -45. Are j and i unequal?
True
Let k = -3265 + 3266. Let n = 716/5 - 12077/85. Which is bigger: n or k?
n
Let z be 8 - (-130)/(-39)*-3. Which is greater: 37 or z?
37
Let l = -37245/4 + 106408963/11428. Which is smaller: l or -1?
-1
Suppose 24 = 4*k - 5*n - 14, -5*n - 31 = -3*k. Let z(j) = 9*j + 16. Let l be z(k). Suppose -9*f + 38 = -l. Is 23/2 less than or equal to f?
True
Let r be (0 + 1*5)/(104/91) - 4. Let x = 1 + 2. Suppose 2 = -5*w - o - 1, x*w = 3*o - 9. Which is smaller: r or w?
w
Suppose 3*p = 5*p. Let i = -1895907/10 - -189234. Let g = -357 - i. Which is greater: p or g?
p
Let n = -1 - -2. Let a(w) = w**3 + 11*w**2 + 5*w + 60. Let p be a(-11). Suppose p*z + 2*q + 29 = 8*z, 5*z + 2*q - 43 = 0. Is z smaller than n?
False
Let s(o) = o**3 - o**2 - o - 4. Let d be s(0). Let n be 2/d + 37/(-2). Let r be (57/(-38))/(6/4)*(-65 + 83). Is n smaller than r?
True
Let a = -0.01799 + -0.85201. Let u = 1.93 - 2.6. Let n = u - a. Are n and -43 nonequal?
True
Let w = 120856623/28 + -4315773. Let n = 535 - w. Which is smaller: n or 0.1?
n
Suppose 300*r - 3724 = -6779 - 10145. Suppose 4 = -2*s, -s = 4*n + 30 + 148. Is n greater than or equal to r?
True
Let y = -12776 + 12711. Suppose 5*l - 3 = 22, 3*l = -3*w - 177. Which is bigger: y or w?
w
Suppose 5*u + 2 - 2 = -4*u. Is -29/99 smaller than u?
True
Let y = 1934 + -9666/5. Is -2222 bigger than y?
False
Let h = 0.4761 + -1.0761. Do h and -1/758 have different values?
True
Let y = -13845 - -13709. Which is greater: -144 or y?
y
Let q be 3/(-270)*50*-3*6/435. Let r(j) = -j**3 - 5*j**2 - 3*j + 2. Let a be r(-4). Let z be -1 - (-2)/(a/(-1)). Which is smaller: q or z?
z
Let d = -4998 - -4913033/983. Let u(y) = -4*y**2 + 2*y + 2. Let x be u(1). Is d at most as big as x?
True
Let a be 3*6/153 + 2950/(-510) + 2. Le