p**2 + 7*p. Let h be m(j). Suppose 3*b - h + 14 = 0. Do 27 and b have the same value?
False
Let d = 32.2 + -15.3. Let v = -55.1 - d. Let h = 72.1 + v. Is h at most as big as -0.031?
False
Let q = 8852 - 9385. Is q > -522?
False
Let f = 32.012 - -7219.988. Is f at most -0.2?
False
Let m = -45 - -66. Suppose -n - m + 4 = 0. Which is greater: n or -35/2?
n
Let v(o) = 9*o + 71. Let t be v(-7). Let k be (t - 8)*4/8. Is -2/299 at most k?
True
Let y be 2 + (1 - 0)*130. Let f = y - 224. Let x = -68 - f. Is 25 at least as big as x?
True
Let d = 5.099 - 5.019. Does 36 = d?
False
Let i be 6/(-30) - 117/(-35). Let z be 2 - (-7)/(-2) - 5/(-10). Let l be 5 + z/((-5)/(-5)). Which is bigger: i or l?
l
Suppose 349*x - 5016 = 121*x. Suppose -4*k + i = -i - 60, k - 2*i = 15. Which is bigger: x or k?
x
Let x = 4992 + -4986. Let r = 20.5 + -12. Let a = r + -9. Are a and x equal?
False
Let s = 945 + 47. Let o be 2/(-12)*(-48)/s. Do o and 0 have different values?
True
Let x be 2*(-1)/((-5)/35). Let o = -5 + x. Is -20 <= o?
True
Let f = -68 + 68. Suppose -14*v = -f*v - 98. Which is greater: 13 or v?
13
Let j = -17.8 - 3.2. Let h = -135 - -119. Let z = -15.9 - h. Is z bigger than j?
True
Suppose 65*i - 70*i + 1945 = 0. Does i = 1943/5?
False
Let s = 210.373 + -0.373. Let h = s + -209.9. Is 48 less than or equal to h?
False
Suppose -2552 = -3853*d + 3855*d. Is -1/4 != d?
True
Suppose 4*w = -o - 1 + 6, -5 = -3*w - 2*o. Let d be 232/(-2900)*(-2)/(-60). Which is greater: w or d?
w
Let l = -2845 + 2843. Which is greater: -133 or l?
l
Let l be (-48)/27 - 6/27. Let r be (0/135)/(1 + l*2). Is r at most 0?
True
Let b(w) = 47*w + 7. Let g be b(-6). Let t be ((-2)/(-3461))/(g/(-1038575)). Let y = 2/3461 - t. Is y not equal to -2?
True
Suppose v - 3*v - 2 = 0. Suppose -52 = 4*y - u + 205, -4*y = 3*u + 269. Does y = v?
False
Let k be 7/(-42)*(16 - 16). Which is greater: 2/1603 or k?
2/1603
Let a(m) = -540*m - 4218. Let q be a(-8). Do q and 1651/16 have different values?
True
Suppose -4*h - 5*z + 82 = 0, h + 5*z - 45 = -17. Let n be (h/(-64))/((-10)/(-8) - 2). Suppose 6 = 2*t - p, 1 - 4 = t + p. Is n greater than or equal to t?
False
Let l(z) = z**3 - 110*z**2 + 261*z - 31. Let u be l(107). Which is bigger: u or -6450?
-6450
Let r = -15875 + 4477. Is -11397 bigger than r?
True
Let b be 86/4 - (-10)/2. Let w be ((-15)/20)/((-9)/(-6))*-2. Let q be w/(6/(-104))*3/(-2). Which is smaller: b or q?
q
Let z(h) = -h**3 - 5*h**2 - 7*h - 29. Let k be z(-5). Suppose -19*c = -22*c - a + k, -a = -2*c + 4. Are c and -71 unequal?
True
Let o(g) be the first derivative of -3 + 1/2*g**2 + 0*g - 2*g**3. Let w be o(1). Which is bigger: -3 or w?
-3
Let g = -31 - -33. Let l be ((-50)/6 - 1)*3/g. Let m be (-6 + (-85)/l)*4/3. Which is bigger: m or 1?
1
Let w(z) = z**2 - 4*z - 17. Suppose -4*u + 8 = -3*u + 2*a, 5*a + 40 = 5*u. Let y be w(u). Let n = y + -15. Which is greater: n or -1?
n
Let b(l) = -82*l - 328. Let x be b(-4). Do 5/512 and x have the same value?
False
Let k be (-67)/1 + (55/(-10) - 35/(-14)). Is -208/3 smaller than k?
False
Let k(c) = 143*c - 431*c - 7 + 140*c + 146*c. Suppose -o - 21 = 2*o. Let n be k(o). Are 7 and n unequal?
False
Let k = 0.1302 + -0.0302. Is k > 4234?
False
Suppose -s + u = 4*u + 4, -5*u = 3*s + 28. Suppose -2*n - 2*b + 40 = n, n - 5*b - 36 = 0. Let g be 2/n + 847/(-56). Which is bigger: s or g?
g
Let o be 13/(520/(-288)) + -10 + 7. Which is smaller: -11 or o?
-11
Suppose -3*g - 8 = -4*g - 7*g. Is g greater than 16/27?
True
Suppose -16*a - 733 + 61 = 0. Let q be (1 + (-86)/4)*2. Which is smaller: a or q?
a
Suppose 4*f - 1100 = 4*j + 2*f, 5*j + 1375 = -5*f. Let l = 6051/22 + j. Let o = -0.1 - 0. Is l equal to o?
False
Let h(d) = -11*d**2 - 233*d + 1435. Let z be h(6). Is z bigger than -367?
True
Let m = 222 - 152. Suppose -544 = -m*p + 62*p. Is 66 < p?
True
Let j = -830/33 + 5807/66. Which is smaller: j or 63?
j
Let m be (-1 + -6 + 6)/(1/11). Let w(z) = -3*z - 26. Let o(u) = -10*u - 79. Let h(v) = 2*o(v) - 7*w(v). Let b be h(m). Which is smaller: b or 14?
b
Let p = 5/491 + 1093/37316. Let g = 105 + -102. Suppose g = 4*j + r, -r + 15 = 4*j + 4*r. Is j greater than p?
False
Let k = -15070 - -14454. Are -616 and k non-equal?
False
Let i = -5650 + 5650. Which is greater: i or 1212?
1212
Let v(t) = t**3 + 10*t**2 - 29*t - 6. Let g be v(-12). Let o = 592/11 - g. Is o at most 3?
True
Let l = 58 - 56. Suppose 0 = -l*g + 3 + 1. Suppose -2*c + 76 - 28 = -5*w, 0 = -w - 5*c - 15. Is w not equal to g?
True
Let a = -2/2687 + -5368/8061. Which is smaller: 2.53 or a?
a
Let q = -2871 - -3512. Which is smaller: q or 647?
q
Let l = 1343.2 + -1343. Which is bigger: l or -356?
l
Let w = -502 + 554. Suppose 8*q - 21*q = w. Is -4 > q?
False
Suppose -73*s + 616 + 1939 = 0. Is s greater than or equal to 21?
True
Let b be 2 - (1382/12 + 7/(-42)). Let q(n) = n**2 + 14*n - 98. Let y be q(-13). Which is smaller: y or b?
b
Let j(p) = -2*p**3 + 12*p**2 - 9*p - 3. Let v be j(5). Suppose 4*m + 16 = 0, -46 = -2*t - 3*m - v. Which is smaller: t or 30?
t
Let t(v) = v**3 + 6*v**2 + 18*v + 69. Let r be t(-4). Which is greater: 45 or r?
45
Let h = 67998/11 - 1813370653/293348. Which is smaller: -1 or h?
-1
Suppose 2*y = -3*n + 208, -4*n - n + 3*y = -353. Let s = n - 72. Which is smaller: -7 or s?
-7
Let x be ((-6)/(-14) - -1)/((-1)/(-7)). Let y be 4*5*2/x. Suppose -y*v - 9 = 67. Is v greater than or equal to -17?
False
Let n be 580/(-261) + (4/9)/2. Let m be 2 + (6/n + 0 - 2). Let l be 1/(1/(-3)*m). Is -0.16 smaller than l?
True
Suppose 33*j - 6758 = 370. Let k be (-4)/63 - 48/j. Let c be 16/12*6/(-14). Are k and c equal?
False
Let m(d) = -d - 228. Let j be m(36). Is j smaller than -263?
True
Let n be ((-5)/60*-4)/((-245)/30). Suppose 0 = k - 5*k. Which is smaller: n or k?
n
Let o be 14 + 19174392/(-1381952) - (-2)/(-16). Is 0 > o?
False
Let s(m) = 2*m - 21. Let r be s(12). Suppose 5*z + r*z = -32. Let t be (-1)/(-2)*(4 + 8/z). Which is smaller: t or 1/64?
1/64
Let q be 0/(20*20/200). Is q at least as big as -3/10855?
True
Let a = -576/11 - -76586/1463. Suppose 0 = -3*d + 2*d - 4*x + 24, -4*x = -4*d + 96. Suppose -16*s = -d*s. Is a <= s?
True
Let o be 6 + -9 + 38/(-8). Let m = o - -225/29. Which is smaller: 0 or m?
0
Let q = -66541/123 + 541. Are q and 5/4 equal?
False
Suppose 121*x - 124*x + 309 = 0. Let o = 106 - x. Suppose -41 = 5*k - 3*s - o, s = -k - 14. Does -11 = k?
False
Suppose -4*h = -41*h - 28564. Is -772 not equal to h?
False
Let p(h) = -62*h - 6. Let b be p(-4). Let u = -241 + b. Which is bigger: 4/43 or u?
u
Let w(q) be the first derivative of q**4/4 - 16*q**3/3 + 29*q**2/2 + 22*q + 332. Let c be w(15). Are c and 232 equal?
True
Let s be 4/1 + -1 - 1. Let w(f) = f**3 + 5*f**2 - 7*f - 4. Let j be w(-6). Suppose -j*v = -0*v + s. Which is smaller: v or 0.11?
v
Let n = 9209/5 + -10415389/5655. Let l = n - -18134/21489. Is 0 greater than l?
False
Suppose 5*d - 8 = -3. Let r = -4/135 + 1594/44685. Which is smaller: r or d?
r
Let q(y) = -y**3 + 27*y**2 + 56*y + 78. Let k be q(29). Let r be 993/90 - 4/k. Is r equal to 11?
False
Suppose p = -p, -5*b = -4*p - 35. Let i be ((-100)/(-15) - b)/((-6)/(-14)). Which is greater: i or 0?
0
Let a be 2/14*4 + -1. Let b be (115/(-20) - -5) + 102/8. Suppose 56*h = 44*h - b. Which is greater: h or a?
a
Suppose q = 5*q + 32. Suppose 4*i - 70 = -58. Suppose -40 = 3*a + m - 7, 2*a + i*m = -29. Are q and a unequal?
True
Suppose 20*w + 564 = -1116. Let d be w/(-56) + (-1)/(-2) + -1. Which is bigger: 3/5 or d?
d
Suppose -u + 6 = 11. Let g be u*3*6/99. Suppose 5*n = -2*w + 3, -n - 1 = -w - 3. Are g and w nonequal?
True
Suppose 13*l - 2955 - 490 = 0. Let t = -361 + l. Let n be (388/6)/((-6)/9). Which is smaller: t or n?
n
Let g = -2.5167 + 0.0467. Let j = -2.57 - g. Which is bigger: 11.6 or j?
11.6
Let d(c) = 204*c + 2684. Let u be d(5). Which is bigger: u or 3705?
3705
Suppose 337 = -4*c + 1533. Let f = c + -298. Which is smaller: f or -3/13?
-3/13
Let x = -742 - -217. Let b be x/(35/(-7))*4/(-10). Which is bigger: -41 or b?
-41
Let k(u) = 3*u**2 + 9*u - 3. Let v(h) = -2*h**2 - 5*h + 2. Let q(i) = -3*k(i) - 5*v(i). Let t be q(3). Let a = 51976/7 + -7422. Is a less than t?
False
Let p be 3000/(-900) + (4 - 1). Which is smaller: -298.8 or p?
-298.8
Let b be (3 + 1 + -3)/(10