 y less than or equal to g?
False
Let z = 78211 - 78201. Let u(j) = -j + 4. Let t be u(-6). Is z at least t?
True
Suppose 3*o = -c - 29, -5*o - 24 - 29 = 2*c. Let v be (-21)/c*38/3. Which is smaller: v or 115/6?
v
Suppose -5*k - 4*i + 17196 = 0, 27*k - 29*k + 3*i = -6906. Are 3444 and k non-equal?
False
Suppose 0 = 7*q - 54*q + 887 + 147. Let h be (-16)/(-10)*(-10)/(-4). Is q equal to h?
False
Let o be (351/108 + -5)/((-13)/1704). Are o and 229 unequal?
True
Let p = -119 - -122. Let o(s) = -2*s - 2 - 4*s**2 + 11*s - 3 + 7*s**2 - s**p. Let z be o(4). Which is smaller: z or 16?
z
Suppose -7 = -5*i - 2, -6 = o - 4*i. Suppose -17 = -3*c - 2. Suppose -c*y - 5*l - 5 = -0*y, 5*y = 3*l - 21. Which is greater: y or o?
o
Suppose 108 = -b - 3*f, -3*b = -270*f + 269*f + 254. Which is greater: b or -85?
-85
Suppose 59689 - 248115 = -368*m - 234*m. Suppose 6*t - 1570 = t. Is m <= t?
True
Let u(d) be the first derivative of -8*d - 1/3*d**3 - 7/2*d**2 - 18. Let l be u(-7). Which is greater: l or -0.2?
-0.2
Let b = 84 - 77. Suppose 8*m = b*m + 11. Are 11 and m unequal?
False
Suppose -32*b + 29*b - 57 = 0. Let h be (36/27)/(2/(-6)). Let q be 20/(h/12*3). Is b greater than or equal to q?
True
Let l = 340.93735 - 0.03735. Let s = l - 341. Which is smaller: s or 278?
s
Suppose 4*w = -5*d + 1817, 0*w - 2*d - 1380 = -3*w. Let i = -451 + w. Is i at least 7?
True
Let z = -6975 - -6960. Which is smaller: z or -123?
-123
Let n be ((-2025)/2835)/((-10)/(-14)). Let g = 431975/328 - 1317. Are n and g equal?
False
Let j = 338 + -338. Let g(z) = -19*z**2 - 7*z + 2. Let p be g(-7). Let k = -43122/49 - p. Is j <= k?
False
Suppose 3*m = m - 12. Let o be 35/14 - m/4. Suppose 3*v + 55 = 5*n + 20, n - 5*v = -15. Is n equal to o?
False
Let t be (3*-73)/(((-1053)/1534)/(-27)). Which is bigger: -8615 or t?
t
Let h(k) = k**2 - 31*k + 143. Let u be 26/(-3)*-1*(-72)/(-48). Let j be h(u). Is -92 bigger than j?
False
Suppose -2*d = 2*z - 22, -4*d + 44 = z + z. Let v = -188/17 + d. Let w(b) = b**3 - 63*b**2 - 37*b + 2332. Let s be w(63). Which is smaller: v or s?
v
Let r be (-2)/7 + 745/35. Let s(q) = -4242*q - 29696. Let n be s(-7). Is r at most as big as n?
False
Let j(b) = -b**3 + 8*b**2 - 8*b - 4. Let y be 34/5 + 5/25. Let d be j(y). Let p(u) = u**2 + 66*u + 862. Let l be p(-18). Which is smaller: d or l?
d
Let o be (-3330)/(-26825)*(-400)/3. Is o != -16?
True
Let x(w) = 42*w + 50. Let o be x(-14). Let p = o + 537. Is 2/771 greater than p?
True
Let u = -6 + 1. Suppose j = 5*v - 8, -2*v - 5*j + 14 = -0. Suppose 12 = 4*g - v*k + 4, 5*g = -2*k - 8. Which is smaller: g or u?
u
Let u be ((-9)/21 + 18260/(-105))*6/2. Which is greater: u or -524?
u
Suppose -3*o + 140 = 131. Suppose -q - 3*q + 266 = -o*x, 0 = -3*q - 2*x + 191. Do 63 and q have the same value?
False
Let d be (2/(-4))/((-380)/80) - (-20148)/(-76). Is -1863/7 > d?
False
Suppose 5*n - 4*n - f - 6 = 0, 3*f = 5*n - 20. Suppose 4 + n = -2*s + 3*l, -5*s - 5*l = 0. Is -2/7 at least s?
True
Let k(m) = -116*m + 3035. Let a be k(27). Is a < -87?
True
Suppose -3*l + 7 = -2*r - 3, 0 = -5*l + 10. Let o be 19/(-9)*r - 4. Let h = -172 - -167.4. Which is smaller: o or h?
h
Let t = 6143160/359 + -17112. Which is smaller: -1 or t?
-1
Let y be 2 + 4/(4/3183). Let x = y + -404491/127. Is -1 < x?
True
Let s(g) = -g**2 + 31*g - 160. Suppose 0*c - 4*z = -2*c + 48, 96 = 5*c - 2*z. Let f be s(c). Are f and 73 equal?
False
Suppose -16*x - 96 = 64. Let m(d) = -4*d**2 + 11*d + 16. Let j(y) = -y**2 + 1. Let r(l) = 5*j(l) - m(l). Let a be r(x). Is 1 smaller than a?
False
Let n = -26 + 27. Let w be n*(-2)/((-10)/305). Is w less than or equal to 57?
False
Let w(i) = 53*i + 10. Let b be w(5). Let c = b - -970. Let d be c/(-150) + (-1)/5. Is d at most -8?
True
Suppose 3*i = 2*z + 4, -7*i - 2*z = -8*i + 4. Suppose 2*x - 2075 + 1783 = i. Is 144 <= x?
True
Suppose -5*a + 2573 = -0*a - 3*n, -a + 515 = -n. Suppose 105 = k + 2*s, -2*k + a = 3*k - s. Which is smaller: k or 104?
k
Suppose -3*j - 3*u - 6 = 0, -3*j - 4*u + 0 = 9. Suppose 0 = 3*d - 3*p + 6, 2*d + 7 = -2*p - 1. Are d and j equal?
False
Let t = 9060.4 - 8779. Which is bigger: t or 1/3?
t
Suppose 1026 - 1069 = -43*s. Which is smaller: s or 133/92?
s
Let b(g) = -6*g**2 - 44*g - 72. Let z be b(-5). Suppose -j - 4*x + 2108 = 2*j, 2*j + x - 1397 = 0. Let q = j + -4881/7. Does q = z?
False
Let f(g) = g**3 - 9*g**2 - 18*g - 34. Let q be f(11). Suppose -m - 5*h - 9 = 0, 0 = 2*h + 2*h + 12. Let z = m - q. Are z and -7 equal?
False
Let s = 0.058 - 2.872. Let z = s + -0.186. Which is greater: 16/5 or z?
16/5
Let w be 2/4 - ((-341)/22 + 10). Suppose 43 = -w*o + 55. Which is greater: o or -3?
o
Let h be 5164/(-11) - 3 - (-5 + 9). Let b = h - -477. Is b < -0.2?
False
Suppose 8*y + 3*k = 10*y - 232, y + 3*k = 98. Let o be (20/y)/(8/22)*-2. Which is smaller: -7/10 or o?
o
Let b = -11389 - -19285. Does b = 7896?
True
Let c be (-3 - 3)*(-2 - 78/(-18)). Let k be ((-105)/c)/15*-2. Are k and 2/873 unequal?
True
Let q = -942 + 952. Is q < -200?
False
Let t = 257 + -253. Suppose -3*q = 7*q + t*q. Which is bigger: q or -1/57?
q
Suppose 2*s - 4*a + 1233 = 1215, 5*s - 3*a = -31. Suppose z - 5 = 0, 3*z + 2*z = 4*m + 81. Is s >= m?
True
Suppose 5*r = -5*a + 605, -52*a = 4*r - 57*a - 439. Let d be (3/(-6))/(29/r). Which is greater: d or -18/13?
-18/13
Let f = 8485321509 + -60110017461733/7084. Let n = f - -2/1771. Which is smaller: 15 or n?
15
Let a = -7/72 + 2645/30168. Do -4 and a have the same value?
False
Let x(v) = v + 1. Let z(i) = -15*i + 22. Let a(t) = 2*x(t) - z(t). Let g be a(4). Is 49 equal to g?
False
Suppose 0 = 33*k + 387 - 150 + 456. Does -2/11 = k?
False
Let b be 7278/5 - (34 + 2171/(-65)). Which is bigger: b or 1457?
1457
Let r = -189 + 226. Suppose 7*u + r*u = 15532. Does 352 = u?
False
Let s(o) = 3*o + 2. Let h be s(-2). Suppose 5*i = -22*t + 56, t - 13 + 8 = i. Is i equal to h?
False
Let g = -3465 + 1584. Do g and -1881 have the same value?
True
Let p = -9815 - -9811. Which is bigger: -69/7 or p?
p
Suppose -1157 - 58 = 27*s. Suppose 0*v - 180 = -4*v. Let f = v + s. Are 0 and f unequal?
False
Let q = 3.175 - 3.375. Is 131/2 less than or equal to q?
False
Let x(r) = r**2 + 16*r + 26. Let n be x(-14). Let o be (9/(-255))/((-10)/(-50))*(-2 - -12). Which is bigger: n or o?
o
Let o(w) = w**2 - 39*w - 40. Let b be o(47). Let l be 434/(-12)*24/b. Is l < -4?
False
Let k be 373/8172 + (-3)/54. Do k and -1 have the same value?
False
Let r(x) = -5*x + 28. Let y(u) = -4*u - 20. Let n be y(-6). Suppose -3*d + 0*d = n*f - 23, 0 = -2*f - 2*d + 12. Let h be r(f). Is h != 28/13?
True
Let o = 1 + 0. Let p be 238/(-2261) - (2 - (-964)/(-494)). Which is smaller: p or o?
p
Let t = 201.993 - -0.007. Let d = t + -201. Which is bigger: -1.7 or d?
d
Let a(b) = 4*b**2 + 3*b - 466. Let y be a(10). Which is bigger: 5.7 or y?
5.7
Let w = 65871/7 + -9427. Which is greater: w or 0.06?
0.06
Suppose -4*m - 1 = 99. Let b be -6 + (44/(-220))/(-1 - 102/(-101)). Is b greater than m?
False
Let w(z) = -7*z + 227. Let m be w(31). Suppose -665 = m*l + 9*l. Does l = -1/2?
False
Let k be 864/(-72) - (-3 - 8). Which is greater: 23/395 or k?
23/395
Let y = -78243 + 78322. Let i = 0.2 + -0.4. Which is smaller: i or y?
i
Let t(d) be the first derivative of d**2/2 - 68*d + 38. Let a be t(19). Is -50 at least as big as a?
False
Let o be ((-2256)/(-4700))/((-5)/(50/(-8))). Which is smaller: o or 273?
o
Suppose -2*b - 14 = -4*v, -5*v - 4*b - 4 = -v. Suppose 5*w + 0*x + 2*x = -5, v*x = 2*w + 16. Let r = -4 - w. Which is greater: 2/31 or r?
2/31
Suppose 55*y = -458 + 128. Let r be (4 - 4 - (-4464)/742) + y. Is 1 > r?
True
Let p = 1.9216 + 0.0784. Let f = 45.082 - 0.082. Is p not equal to f?
True
Let a = 24/4835 + 66632/2161245. Is -1 equal to a?
False
Let d = -196 + 211.2. Let u = -14.7 + d. Which is smaller: u or -20?
-20
Suppose -136*m = -139*m + 3*o - 66, -m - 5*o - 22 = 0. Suppose 84 = -4*v + z, -2*v - 15 - 27 = -2*z. Which is bigger: v or m?
v
Suppose 17*j - 110 = 7*j. Suppose 0*f = j*f - 22. Suppose -6 = f*r - 6. Is -0.2 less than r?
True
Suppose -q + 10 = 2*w + 4*q, 10 = -5*w + 5*q. Let f be (w + 0)*(-3 - (2 - 4)). Is f smaller than 1/875?
True
Suppose -j - j + 3*i + 12 = 0, 4*j + 7*i + 2 = 0. Let d(g) = -2*g - 2. Let b be d(-3). Suppose -16 = -j*t - b*u + 4