4 = -2*d + 5*p, h*p - 12 = 2*p. Which is greater: 9 or d?
9
Let c = -295 - -296. Let m be c - (-534)/3 - (2 + -3). Is m >= -1/4?
True
Suppose 2*t - 243 + 225 = 0. Let h(n) = 2*n**2 - 22*n + 81. Let i be h(t). Is 45 >= i?
True
Let j be 4/(12/9) - (-2776)/(-924). Suppose 2*b - 4*i + 8 = 0, 35 = 3*b + 4*i + 27. Is b >= j?
True
Let b = -45 + 45. Suppose b = k + 3*k. Suppose -3*s - 18 - 3 = 4*j, k = j + 2*s + 9. Is j less than -3?
False
Let u = 184 + -669. Are u and 1/5 unequal?
True
Suppose -20*l - 183 = -17*l. Let r = 62 + l. Let a = -11 - -32/3. Is r >= a?
True
Let h(l) = -l**2 - 139*l - 800. Let q be h(-6). Let t be 4 + -286*q/(-144). Let s(o) = -o**3 + 4*o**2 - o + 3. Let w be s(4). Which is smaller: t or w?
w
Let l be 1*(-4)/48*4. Is l equal to 91?
False
Let a be 1734161/(-495398) - 1/2 - (-8)/2. Is -1/3 < a?
True
Let s(f) = 79*f + 699. Let h(v) = -40*v - 349. Let z(m) = -7*h(m) - 3*s(m). Let w be z(-8). Let j = 0.9 + 0.1. Is j != w?
True
Let q = -33425/33 + 11292/11. Let a(b) = b**3 - 6*b**2 - 4*b - 6. Suppose -3*g + 23 = 2. Let r be a(g). Is r bigger than q?
True
Suppose -2*s + s - 39 = 0. Let h be (s/6 + 0)/1. Suppose 5*i = -5*r - 85, -5*r - 2998*i = -2996*i + 52. Is r smaller than h?
False
Let v = -71 - -70. Is 2287 at least as big as v?
True
Let c = -25410.051 - -25397. Let q = 0.051 + c. Which is greater: 0.5 or q?
0.5
Let s be (-1 + 7 + 2)*(-1 + 0). Let z = -15 - s. Let f be 8*5/((-15)/3). Is z < f?
False
Let w(x) = 2603*x**3 - 4*x**2 - 5*x - 3. Let f be w(-6). Let b be f/(-2800)*2 + 2/7. Let h = b - 402. Is h > 1?
False
Let o = 292.5 - 375. Let v = o - -83.2. Is -2.9 equal to v?
False
Let z = 10.756 - 10.656. Which is bigger: -2/24607 or z?
z
Let p(n) = n**2 + 155*n - 623. Let d be p(4). Suppose 7 + 27 = k. Let m be (k*-2)/(-4) + -3. Which is smaller: d or m?
d
Suppose -312 = 636*f - 310*f - 313*f. Let w = -41 - -18. Which is smaller: f or w?
f
Let z be 1/(-30)*447/298*(-20 - -2). Which is smaller: -60.1 or z?
-60.1
Suppose -3*g - 3*a = 5 + 13, -g - 3*a - 18 = 0. Which is smaller: 67/173 or g?
g
Let t = 20735/8 - 2591. Which is bigger: t or 1?
1
Let f(t) = 6*t**2 + 35*t + 551. Let s be f(-17). Is 1685 at least as big as s?
False
Let v = -3.17 + -123.83. Let i = -123 - v. Are i and -0.05 equal?
False
Suppose -103*b = -110*b - 112. Which is smaller: b or -22?
-22
Let x = -3411389/29544 - -12/1231. Let t = x + 361/3. Is 6 at least t?
True
Let o(m) = m**2 - 25*m + 155. Let a be o(13). Which is smaller: a or -19/78?
a
Let n be (0 - 2 - 0)*(11 + -10). Let i be ((-3)/n)/(126/(-1596)). Is -24 at most as big as i?
True
Let n(p) be the third derivative of -p**6/120 - 5*p**4/24 - 5*p**3/6 - 2*p**2. Let d = 546 - 549. Let k be n(d). Which is smaller: k or 38?
k
Let j = -74.10146 - -0.10146. Which is smaller: j or -6/7?
j
Let u = -1119/7 - -159. Let n(m) = 19*m + 36. Suppose 10*v = 59*v + 98. Let t be n(v). Do t and u have the same value?
False
Let w = -2/95 - 71/1140. Suppose -2*q + 1048 = -2*y, 5*y + 987 = -q - 1663. Let f = -529 - y. Is f less than or equal to w?
False
Let r = 4169 + -4293. Is r not equal to -2382/19?
True
Let j = 7643/27 + 196/27. Which is bigger: j or 290?
j
Let x = 16 + -7. Suppose 4*f + 7 = -277. Let d = f + 77. Do d and x have the same value?
False
Let l = -85 - -103. Which is bigger: l or 19?
19
Let r = 7/8269 + 74171/10063373. Is r at most as big as -1?
False
Suppose 0 = -2*f + 4*r, 9 + 0 = -4*f - r. Let v(d) = -8*d**2 - 3*d - 2. Let p be 13 + -6 + -3 - 5. Let o be v(p). Which is bigger: f or o?
f
Let k be -647*10*(0 + (-12)/(-30)). Let j = k - -1138719/440. Which is bigger: 1 or j?
1
Let g = 2320 - 1949. Which is greater: g or 378?
378
Let c(w) = 17*w - 48. Let l be c(-4). Let g = l - -164. Is 48 less than or equal to g?
True
Let i be (-933)/(-45) + (-2)/6. Let p be 347 + -338 + (0 - -11). Is i at most as big as p?
False
Suppose 1285 = -0*i + 9*i - 425. Are i and 195 unequal?
True
Let y be 69/84 - 48/84. Let l be (159/212)/(417/(-8)). Which is smaller: l or y?
l
Let z(f) = -11*f**3 + 7*f**2 + 3*f - 5. Let o be z(-1). Is o > -8?
True
Let x(a) = a. Let q(w) = 2*w + 4. Let f = 12 + -15. Let i(n) = f*x(n) + q(n). Let g be i(14). Is g at most as big as -11?
False
Let s(j) = -j**2 - 22*j - 3. Let o be s(-22). Let x be o*((-104)/12 - -4). Let a(i) = -16*i**3 + i**2 - i - 1. Let l be a(-1). Is x > l?
False
Suppose 3*z + m = 5*m + 581, -2*z + 2*m + 388 = 0. Let x = z - 225. Let a be ((-4)/(-4) + 0)*-2. Is x > a?
False
Let z be 9/1128*(-30 + 24). Let q = 231/43 - 694977/129344. Let x = z - q. Which is bigger: 0 or x?
0
Suppose -k = 3*r - 5*r + 10, -5*k = -5*r + 25. Suppose k*n = n - 5. Suppose 5*z = z + n*b - 11, 0 = 3*z + 2*b - 9. Is 3/38 at most as big as z?
True
Let f be ((-5)/10)/(2/56). Let k(u) = 2*u - 58. Suppose 6 = 3*w, 60 = 3*v - 5*w + 2*w. Let j be k(v). Is f bigger than j?
False
Let y be (8/(-32))/((-3)/48). Let h be (-90)/(-64)*y + -6. Which is smaller: h or -3?
-3
Let i(t) = -3*t + 2. Let n be i(-1). Suppose -2*s = n*s - 28. Suppose -s*z + 0*z = -72. Is 16 at most as big as z?
True
Let w = -0.05964 + 0.15964. Let k(o) = -144*o + 1. Let q be k(2). Do w and q have the same value?
False
Let d = 167.399 - 0.399. Let o = d + -180. Which is smaller: o or 4?
o
Let u = -73/27 + 44257/16389. Let o(a) = -431*a + 3018. Let v be o(7). Which is smaller: u or v?
u
Let c = -6/3871 + 3895/15484. Suppose 5*z = -4*g - 34, g + z + 10 = -z. Let p be (2/g - 0)*-3. Is p <= c?
False
Let n = 10263.882 - 10275. Is 0.1 at most as big as n?
False
Let l be 1230/(-246) - (8/12 - (-8)/(-3)). Are l and -226 equal?
False
Let t = -28 + 30. Let l be ((-14)/21)/(t/15). Let i be (-6)/(2*(4 + l)). Is i at least as big as 6?
False
Let l(i) = -2*i**3 + 7*i**2 + 4*i - 12. Let w be l(4). Let f be (147/14)/((-9)/w). Is f >= 14?
True
Let v = 9.2 + 54.1. Let x = -1099 - -1094.3. Let c = x - v. Is c less than or equal to -1?
True
Let o(p) = 1702*p**3 + 11*p**2 + 36*p + 29. Let m be o(-2). Which is smaller: m or -13616?
-13616
Let y = -175291812/1033 - -169692. Are y and 1 unequal?
True
Let t = 470 - 540. Let y be (-2 + 2)*1 - (-70 - t). Which is smaller: -29 or y?
-29
Suppose 5*l = -2 + 22. Suppose -l*c + 8 = 0, 7 = -4*k + 5*c - 3. Suppose k = 10*x - x - 135. Which is smaller: 16 or x?
x
Suppose 55 + 9 = -4*r - 4*q, 60 = -3*r + 3*q. Let t be (r/(-9))/(-2 + 0). Let u = 957 + -957.9. Is t <= u?
True
Let a be (0 - (-4)/(-4)) + 2 - -3. Suppose 2*m + 3*m = -a*i + 273, i - 2 = 0. Suppose -6*x = 17 - m. Is x > 4?
True
Let b = -370589/762 - -1459/3. Let q = -327 + 326. Which is greater: q or b?
b
Let y(r) = 8*r + 34. Let z be y(-4). Suppose b - 23 = 2*a, 2*a + z*b + 21 = 5*b. Suppose l + 2*l = -42. Is l > a?
False
Let f be 2/(20/(-82)) - -4. Let t = 129 + -127. Suppose -z + 2*z = -g - 8, g - t*z - 1 = 0. Which is smaller: g or f?
g
Let d = 17768.83 - 17674. Let n = 95 - d. Which is smaller: -0.8 or n?
-0.8
Suppose 151*f = 39*f - 177*f + 5656308. Do 19572 and f have different values?
False
Let p(l) = 2835*l + 170. Let t be p(3). Which is bigger: t or 8674?
t
Suppose 44 - 325 = -68*q + 127. Suppose 0 = -5*s + 3*h - 13, -s - 3*h + 2 = h. Let l be s*4*(-3)/q. Is l smaller than 3?
False
Let v = 2404 - 2405. Is 1/696 less than or equal to v?
False
Let b(f) = 14*f - 854. Let l be b(61). Which is bigger: l or 3/598?
3/598
Suppose -5*b + 4*k = 634, b + 152 = -0*k + 5*k. Is b greater than -140?
True
Let y be ((-3)/(-2))/((-261)/(-24)). Suppose -8*t + 15 = -3*t. Suppose 2 - t = z. Do z and y have different values?
True
Let f be 20544/21760 + (-1)/4 + 1. Which is bigger: 3 or f?
3
Let k = 4148 - 4141. Which is smaller: k or -204?
-204
Let t = -25793 + 25743. Is t greater than -13/11?
False
Suppose 2*z + 340 = 7*z. Suppose -6*v + 7*v = -z. Which is smaller: -70 or v?
-70
Let n be 5 + (-3)/(-2) + (-35)/14. Suppose -n*h - m - 9 = 0, 17 = -2*h - 0*h - 3*m. Let s be 62/(-87)*3 + (1 - h). Which is smaller: s or 1?
s
Let t(n) = 8*n - 113. Let o be t(15). Suppose -3*l - 3*d - 72 = -o*d, 34 = -l - 2*d. Which is greater: l or -26?
-26
Let i = 1370 - 357. Are 1013 and i unequal?
False
Let w = -0.02 + -0.01. Let g = -0.23 - w. Let x = -12021 - -12026. Which is smaller: g or x?
g
Let n = -398 - -466. Suppose r - 2*l + 22 = 0, -2*r = -66*l + n*l + 50. Is r at least -24?
True
Let z(b) = 3*