 w = q + 402. Is w at most 2.6?
True
Let w be ((-38)/(-16))/(-19)*-8. Is w >= 48/211?
True
Let n = 1943/70161 - 9/257. Is 1 > n?
True
Suppose -9*o = -5*o, 4*a - 5*o = -12. Let p = 18 - a. Let x = -20 + p. Are 20/11 and x nonequal?
True
Let d be (-1)/8 - 147/(-24). Let u be 9*d/9 - 0/4. Let v be -7 + 8 - u/7. Is v smaller than 0?
False
Let m be -4 + 1 + 110/5. Let j = -10 + m. Let w = 3 - j. Is 0 greater than w?
True
Suppose -16*c = -20*c - 12. Let t = c - -5. Suppose t*b - 2*j + 6*j + 20 = 0, -10 = 2*j. Which is greater: b or 2/23?
2/23
Let y(b) = -b**2 - 10*b - 24. Let o be y(-6). Let c = 21 - 31. Let l be (2/24)/(c/(-16)). Which is bigger: o or l?
l
Let i = -73559/28910 + 150/59. Which is greater: -2 or i?
i
Suppose -13*n + 19*n + 612 = 0. Let k = -10 + 19. Let b be (n/4)/(k/12). Do b and -33 have different values?
True
Let x be (63/(-380772))/((-40)/100 + 46/(-160)). Which is smaller: 1 or x?
x
Suppose -3*f = -f - 16. Let x = -8331/11 - -747. Let b = x + 112/11. Is f bigger than b?
True
Let v = -2784 + 2787. Are v and 4054 equal?
False
Suppose 4*b + 4*q + 7 = 3, -2*b = q - 3. Let o be ((-5612)/(-305))/(b/(-10)). Suppose 5*c - p = -232, -3*c - 86 = 4*p + 44. Is o > c?
False
Let q be -1385 + 9 + -22 + (-4 - 3). Which is bigger: q or -1400?
-1400
Let n be 148/1110 + (-4376)/(-30). Suppose -140*o + n*o - 24 = 0. Let y be (6/9)/(1/12). Which is smaller: y or o?
o
Let x = 79/762 + -59725/57912. Let h = -15/76 + x. Suppose -w + 0*d = 4*d + 13, -2*w = 3*d + 11. Which is smaller: h or w?
h
Let g(x) = -87 - 82 + 166 - 16*x. Let m be g(-2). Is m > 26?
True
Let q = -18315/2542 - -297/62. Which is greater: q or -2?
-2
Suppose -2*b + b - 17 = -2*m, 2*m = 5*b + 93. Let n = -100949 + 100931. Is b greater than n?
False
Let n be (-10998)/(-24) - 2/8. Let o = -1299 - -1343. Suppose -6*m + n = o. Which is smaller: m or 68?
68
Suppose 6 = 9*n - 21. Suppose l - n*l = -4*t - 12, -3*t - 12 = 0. Which is smaller: l or -1.14?
l
Suppose 0 = 17*s - 2*s + 20*s - 35. Which is smaller: s or -18/619?
-18/619
Suppose -89*v + 190619 = -540047 + 106420. Which is smaller: v or 7013?
7013
Let r = -305/144 - -9/16. Let c(w) be the first derivative of -w**2/2 - 3*w + 8. Let k be c(0). Is k less than r?
True
Let s = -1.4 + 1. Let r = 1599 - 1222.8. Let p = r - 376. Which is bigger: s or p?
p
Let q(p) = -p**3 + 4*p**2 + 8*p + 1. Let t be q(5). Let d be (t/(-12))/(8/108). Let z = 4.6 + -5.6. Which is bigger: z or d?
z
Let l(k) = k**3 - 18*k**2 - 36*k - 137. Let u be l(21). Is 430 less than or equal to u?
True
Let v(a) = -a**2 - 7*a + 6. Let b be v(-8). Let s(t) = -13*t**3 - 3*t**2 + 2*t + 4. Let z be s(b). Which is greater: z or 91?
z
Suppose -2*p + 2 = 0, 8*o - 4*o = 3*p + 21. Suppose -3*a - 4 = -4*l, 3*a - o = -l - 5. Is l at most 1/39?
False
Let y = 18177 - 18178. Let a = -0.32 + -0.98. Is y bigger than a?
True
Let p be (14/(-3))/(((-22000)/(-8700))/110). Let t be -2 + ((-2)/2 - 199). Is t != p?
True
Let r(p) = 3*p - 3*p - 3 - 3*p + p**2. Let g be r(3). Suppose -39 = 3*l, 9*z + 2*z + 287 = 7*z - 19*l. Which is smaller: g or z?
z
Suppose -5*n - 4 = 4*r, n + 16 = -r - 4*n. Let y be (r/(-200) - 0)*2. Let b be ((-10)/15)/((-6)/(-9)). Is y bigger than b?
True
Let j be 2/8 + (-75)/12. Let h(z) = z**3 + 12*z**2 - 15*z - 21. Let r be h(-13). Let y(l) = -l**3 + 3*l**2 + 12*l - 16. Let n be y(r). Are n and j nonequal?
False
Let b(d) = -2*d**3 - 30*d**2 - 2*d - 544. Let u be b(-16). Do 1/8194 and u have the same value?
False
Let w = -686 + 687. Let s be (w/3)/((88/(-12))/(-22)). Are 1.48 and s non-equal?
True
Suppose -3*b = -x - x + 28, -8 = b - 2*x. Let g be (4/b)/(24/400). Suppose 4*i = 5*i + 8. Which is bigger: g or i?
g
Let k = -1987 + 1261. Let o = 777 + k. Are 1 and o nonequal?
True
Let d = 202/1055 - 1863/4220. Let i be (-2)/(-24)*8/63. Which is bigger: d or i?
i
Let u be (1/(-3))/(6 - (-1953)/(-324)). Suppose t - u = -8. Suppose 9*a - t*a = 35. Is a != 48/7?
True
Let u(p) = 17*p - 109. Let h(w) = -2*w + 80. Let f be h(35). Let d be u(f). Is d at least 61?
True
Let h be (18614/189)/(1170/27 - -2). Let t = 77/36 - h. Which is greater: t or 1?
1
Suppose 5*r + 0 = y + 13, y + 3 = 0. Let p be -1 - (r - 27/2). Let f = 8007 - 7995. Which is greater: p or f?
f
Let v be 32/(-5634)*(-6)/(-4). Let s = v + -30923/7512. Let l be 3/(54/(-4)) + 28/(-36) + -2. Which is greater: l or s?
l
Let n be 2 - 7 - (132 + -136). Let w be (80/(-364))/(36/(-14)). Which is greater: w or n?
w
Let n(a) = a**3 + 8*a**2 - 1. Let k be n(3). Which is smaller: 1084/11 or k?
k
Let v = 136 + -246. Let t = v - -108. Let h be 0*t/(-5 + -3). Which is smaller: 7/18 or h?
h
Let d(k) = -k**2 + 8*k - 10. Let z be d(7). Let r be (0 + -3)*((-419)/z + 2). Let y = 19124/45 + r. Is y > 1?
False
Let b be ((-4)/12 - 0) + 146426/12528. Let i = b + 16/783. Is i equal to 10?
False
Let d = 1981 + -1966. Which is bigger: -111 or d?
d
Let q be 5787/486 - (-14)/(-189). Let j = q - 1663/138. Is j at least as big as 0?
False
Let h = -402 + 313. Does -36 = h?
False
Let s be (15/(-9))/((-2)/(-24)). Let n be ((-1430)/44 + 34)*(14 + -2)*-1. Which is bigger: s or n?
n
Let n = 6762 + -3343. Which is bigger: -1 or n?
n
Let j = 473 + -473. Suppose 0*h + c - 8 = h, -5*h - 3*c - 40 = j. Is h at least -17?
True
Let d be (10*96/(-33960))/((-2)/3). Which is greater: d or 1?
1
Let i = -778 - 150. Is i > -0.1?
False
Let b = -671.8 + 59.8. Let h = b - -769. Which is smaller: h or -2/7?
-2/7
Let y(h) = h**3 - h**2 + 4*h - 127. Let u be y(0). Let a = 130 + u. Is a smaller than 1?
False
Suppose 13*b - 308 = 2*b. Suppose -43*c + b*c = 0. Is 2/13 != c?
True
Let y(r) = -2*r**2 + 29*r - 17. Let x be y(14). Let h be (-4 - (x - 1))/(3 + -4). Which is smaller: -2/229 or h?
-2/229
Let m = -469 - -464. Let f be ((-950)/35)/m - (-5 - -10). Is f greater than or equal to 1?
False
Let c = 5955 + -6176. Which is smaller: c or 3?
c
Let c = -579 - -368. Let k = -216 - c. Which is smaller: k or -11/4?
k
Let v = 5/8 - -9/4. Let c be (((-108)/(-15))/6)/((-30)/(-50)). Which is smaller: c or v?
c
Let d = -459 + 514. Suppose 15*z - 320 = d. Is z != 27?
True
Let l = -1260564 - -265979544/211. Which is smaller: 3 or l?
l
Let i be -41 + (1 - 0) - (44 + -44). Let a = i + 40. Is a at least as big as 2/419?
False
Let f be -5 + 7/((-21)/(-33)). Let c be ((-120)/(-84))/(f/21) + -100. Is c greater than -95?
False
Suppose -16 = 2*k - 4*k. Let y = k - 25. Let n(v) = 2*v**3 + 5*v**2 + 4*v + 4. Let o be n(-3). Is o at most as big as y?
True
Let x(k) = k**3 + 100*k**2 - 103*k - 220. Let s be x(-101). Suppose 0 = 4*v + 30 + 18. Which is greater: s or v?
v
Let n be (-50)/(-275) + (-37110)/(-22). Suppose 0 = 12*i + 269 + n. Is i less than -163?
False
Let a be -511*(0 - (-5)/40). Let r = -64 - a. Which is smaller: 16.9 or r?
r
Let p(b) = 4*b**3 - 3*b**2 + 3*b + 2. Let l be p(2). Suppose -4*i = -164 + l. Are 168/5 and i unequal?
True
Let l be (-2)/(-4)*(-7 + 1) - -5. Suppose 3*f - y = 7, -l*y - 8 = -0*y. Let z be 2/7 - (-212)/(-56). Is f smaller than z?
False
Let f(d) = d**3 - 71*d**2 + 48*d - 193. Let c be f(71). Which is smaller: c or 3214?
3214
Let x(s) = -23*s + 1280. Let a be x(-2). Is 1/2 less than or equal to a?
True
Let x be ((-2)/11874)/(-13 + 14). Is x >= -1?
True
Let z = 656 - 657. Let r be (11 - (1 - -1))*-1. Which is bigger: r or z?
z
Let i(o) = 52*o + 1176. Let g be i(88). Which is greater: g or 5751?
g
Suppose 2*b - 2 = -6*a + 10*a, 1 = a - 2*b. Let t be 44*7/56 - a. Let m = -1.04 - -0.04. Which is smaller: t or m?
m
Let a = 300265/9 + -33515. Which is bigger: -153 or a?
a
Let q(y) = -28*y**3 - y**2 - 3*y - 2. Let o be q(-1). Suppose j - 5*h + 77 = 0, 27*j - o*j - 77 = 4*h. Which is greater: -5 or j?
-5
Let j = -1006.3026 - 0.6974. Which is greater: j or -1?
-1
Let r = 1888/7 - 28334/105. Let t = 1 + 2. Let q = -2 + t. Are q and r equal?
False
Let c(p) = p**2 - 10*p - 25. Let m be c(-2). Let i be 2 + (m - 2) + 3 + -243. Are -242 and i nonequal?
True
Suppose -4*d = -4*o - 0*o + 20, 5*o - 4*d = 24. Suppose o*z - 54 = 2*r, z + 5*r - 2 + 5 = 0. Which is bigger: z or 67/5?
67/5
Let d be (-10)/(-25)*(-2980)/(-14). Let q = 85 - d. Which is greater: 1 or q?
1
Suppose -8 = 8*q - 8. Let z(w) = -24*w. Let u be z(q). Which is greater: u or 1/43?
1/43
Let l = -2692 + 2690. Let n = -17.1 + -3.9.