8/31?
d
Let p(t) = 11*t**2 - 100*t + 38. Let m be p(6). Suppose 4*g = 4*l - 644, 6*g - 5*l = 2*g - 640. Are g and m unequal?
True
Let m be (94533/2)/(1 - -8) + (-10)/4. Is m at least 5250?
False
Let i(u) = -88*u**2 - 7*u - 64. Let w be i(-5). Is -2229 <= w?
True
Let l = -15 + 131. Let n = l - 143. Let h = -3.2 + 3. Is h bigger than n?
True
Let r = 274.005 - 273.38. Which is bigger: 12 or r?
12
Let k(m) = -m**3 + 14*m**2 + 11*m - 18. Let b be k(14). Suppose 0*t + 5*t = -3*c + b, c = -2*t + 55. Suppose -t + 69 = 4*z. Is 11 smaller than z?
False
Suppose -70*b - 991324 = -177434. Which is smaller: -11628 or b?
-11628
Suppose -3*p + 2*n = -35, -2*n - 11 - 15 = -2*p. Let b(m) = m**2 - 22*m + 187. Let v be b(11). Suppose -v*y + 96 = -54*y. Is y > p?
False
Suppose 2*b + 3*f - 18 + 2 = 0, 5*b = 3*f + 40. Let c be 6*(-2)/b*14. Let q(k) = -k**2 - 8*k. Let g be q(-10). Which is bigger: c or g?
g
Suppose -301*f + 303*f - 4 = 0. Suppose 3*j + 17 = 2*a, -5*a + 22 = -3*j + f. Let z = 25 - 22. Do a and z have different values?
True
Let f = -2410 - -2429. Is f smaller than -3/38?
False
Let f(n) = -7*n**2 - 2*n - 8. Let w(d) = -7*d + 5*d**2 + 10*d + 2*d**2 - d**2 + 8. Let a(t) = 5*f(t) + 6*w(t). Let c be a(-7). Which is bigger: 4 or c?
4
Let d = 3/17 + -10/153. Suppose -9 = 5*p + 3*n - 0, -p = -5*n - 15. Let u = p + d. Is u bigger than 0?
True
Let u be 3/(-7) - 17465/(-40523). Suppose f + f = 5*h - 7*h, -h = 0. Which is bigger: u or f?
u
Suppose 2*c - 6*c = 0. Let b = -1315 - -1350. Suppose 5*o - 10 - b = c. Is o < 9?
False
Suppose -5*q + 942*p - 938*p + 19 = 0, 2*p = 4*q - 8. Is -196/207 smaller than q?
False
Let r = -125009/2695327 - 18/7723. Is r at least 0?
False
Let t = -0.49752 + -49.50248. Let f = -207/295 - -6/59. Is f greater than or equal to t?
True
Let b = -11643429/23 + 506143. Is b at least -94?
True
Let m = -1578935 - -14184169/9. Let v = m - -2913. Which is bigger: -3 or v?
-3
Let j be 2 + -1 - (56/(-10) + (-119)/(-17)). Which is bigger: j or 1.91?
1.91
Suppose 389*v = 299*v + 27990. Which is smaller: 310 or v?
310
Suppose 39*u = 26*u - 41*u - 3294. Which is bigger: u or -53?
-53
Let r be -3 + (-2 - -2) + 6. Let c be 3/(3/1) - -1. Suppose c*b = -r*b. Which is bigger: -1/8 or b?
b
Let t = -11095 - -11096. Is t at most as big as 1/5328?
False
Let w(y) = -2*y**2 - 12*y - 6. Let u be w(-6). Let k be 107/(-56) - u/(-16) - 5. Let g(n) = -n**2 + 2*n + 2. Let p be g(-2). Which is bigger: p or k?
p
Let p = 33 - 67/2. Let h be 0/((-5)/(-4) + 84/112). Are p and h equal?
False
Let i = 309.6 - -1214.4. Let o = 1529 - i. Let b = 3.04 + -0.04. Do o and b have the same value?
False
Let g = 9224/13 + -710. Let z = 5323 - 5335. Is g smaller than z?
False
Let c be (-2 + 5/(-5))/(-1). Suppose y - 11 = -2*h - c*h, 0 = 2*h - 4. Which is bigger: 12/5 or y?
12/5
Suppose 0 = -3*k - s + 430, 5*k - 2*s = 6*k - 135. Suppose -6*v = -11*v - k. Which is smaller: v or -86/3?
v
Suppose -5325 = -14*h - h. Suppose 358*z - h*z + 57 = 0. Does z = -21?
False
Suppose s - 2*w = -1809, 120*s - 125*s + 5*w = 9025. Which is bigger: -1805 or s?
s
Suppose 0*s + s - 241 = -5*a, 4*a - 187 = 5*s. Suppose a*l - 45*l = -21. Let i = 1031/6 + -179. Is i at least l?
False
Suppose 35*h + 12 = 41*h. Let z be -1*(h - -6)*(-5)/(-10). Let g = 21146/7 + -3026. Which is greater: z or g?
z
Let l = 1/5569 + 5550/105811. Which is smaller: -3/2 or l?
-3/2
Suppose -2*z = 3*z - 105. Suppose f - 9*y - z = -10*y, -f + 2*y = -12. Is 19 bigger than f?
True
Let m be (22 + -34)/((-6)/4). Suppose -18*i + 17*i - 2 = 3*f, -f + 4*i + m = 0. Which is smaller: f or -18?
-18
Let n be ((-480)/(-405) - 1)*-105. Is n at most -19?
True
Let v be 2/3 - (-3982)/(-33). Let l be (6/28)/(9/v). Suppose 2*p + 3*i - 11 = 0, -11 = 3*p - 3*i + 10. Which is bigger: p or l?
p
Suppose -5019*u + 218757 = -5040*u. Is -10417 greater than u?
False
Suppose 2*w = 41*v - 37*v - 21084, 5*w = 4*v - 21096. Which is greater: 5267 or v?
v
Let c(x) = -2*x**2 + 125*x - 183. Let j be c(61). Let y be ((-2)/3 + -1)*6. Let g be 10/(-26)*(-12)/y. Which is greater: j or g?
j
Let a = 1010 + -1080. Let x = -114 + 44. Is x less than a?
False
Suppose -4*z + 5*n - 189 = 0, -4*n = 3*z - n + 108. Let v = z - -43. Suppose -g + 0 = v. Is 7 < g?
False
Suppose y = -4*p + 10755, -10*p + 5*y = -14*p + 10767. Let t be (-5)/(-1) + p/280. Which is smaller: t or 14?
14
Let u(m) = -3*m**3 + 153*m**2 + 129*m - 250. Let y be u(52). Which is bigger: y or -1653?
-1653
Let x = 6.737 + -6.76. Let o = -1372 + 1374.023. Let g = x + o. Is -2/27 less than g?
True
Let l(o) = -o**3 + 3*o**2 + 9*o + 89. Let n be l(-5). Which is bigger: -1 or n?
n
Let h = -360 - -1794/5. Let f(p) = -14*p + 28. Suppose -10*r = -15*r + 10. Let l be f(r). Is h bigger than l?
False
Suppose -7*m + 198 + 26 = 0. Let s(k) = k**3 - 5*k**2 - 5*k - 2. Let b be s(6). Suppose 0 = -4*j + a - 4*a + 121, -3*j + b*a + 97 = 0. Is m less than j?
False
Suppose -1699 = -c + 5*y, -3*c = -y - 2*y - 5061. Let v = c + -5141/3. Is v smaller than -31?
False
Suppose -1 = 6*h + 53. Let i = -1475 + 1468. Are h and i equal?
False
Suppose -6*r - 40 = 2. Are -181/32 and r nonequal?
True
Let b be 1*((-8)/(-42))/(162/243). Which is bigger: b or -1046?
b
Let h = 1754 + -1697. Let s = -1 - -2. Which is smaller: h or s?
s
Suppose 14*r - 15*r + 3 = 0. Suppose -r*f + 121 = 16. Is 36 less than or equal to f?
False
Let c be 159/84 - (-9)/(-12). Let f = 3 + -3. Which is smaller: c or f?
f
Let n = -24916/1285 - 54/257. Let a = n + 9692/495. Suppose 5*s - 4 = 3*f + 19, 4*f = -s. Which is smaller: f or a?
f
Suppose -4*k + 9*k - 505 = -5*m, k - 117 = -5*m. Let d be -3 + (-3 - (-101 + -4)). Which is smaller: d or k?
k
Let x = -13973 - -13974. Is 106/115 smaller than x?
True
Suppose 0 = -5*v + s + 431, 6*v + 40*s - 42*s = 522. Let h be 1*-4*6/(-4). Is v not equal to h?
True
Let l = 15.88 + 18.12. Suppose 0 = 4*a + 5*f + 102, a = -f - 10 - 16. Let v be a/(-33) + 10/(-55). Which is greater: v or l?
l
Suppose z = 0, z = -b + 6 + 6. Suppose 0 = b*o - 7*o + 40. Which is smaller: -41/5 or o?
-41/5
Suppose 4*o = -4*v - 1148, 0 = -7*v + 5*v + o - 577. Is -288 less than or equal to v?
True
Suppose 28*q - 42*q + 336 = 0. Let n be (q/(-36))/((-1)/48). Which is bigger: n or 0.3?
n
Let c be 0/(-2 + (-1 - -4)). Suppose -5*j + z + 71 = c, 2*j + 4*z - 38 = -j. Suppose j*l - 9*l = 5. Which is smaller: -1/57 or l?
-1/57
Suppose 70*l = 24*l - 96408 - 25860. Which is smaller: l or -2657?
l
Let s = -448290.8213 + 448621.9. Let b = s + -0.0787. Is b at most -1?
False
Let i be (0 + (-4514)/(-1))*171/(-1881). Let l = i + 410. Which is bigger: l or -11?
l
Let g be (-145)/406*49 - (-7)/(-1). Which is bigger: -26 or g?
g
Let k = -410 - -838. Let a = -408 + k. Which is smaller: 0 or a?
0
Let h(x) = -12*x + 1636. Let f be h(32). Which is smaller: f or 5013/4?
f
Let h(p) = -p**3 - 9*p**2 + 7*p + 33. Let k be h(-9). Let t be 250/(-350)*4/k. Let x = -2 + 1. Which is greater: t or x?
t
Let v(q) = q**3 + 20*q**2 - 31*q - 19. Let k be v(-21). Let o = k + -192. Let s be (-29)/(-10) + -7 + 4. Which is smaller: o or s?
o
Let i(g) = -g - 27. Let l(x) = x + 27. Let y(n) = 3*i(n) + 4*l(n). Let r be y(-27). Suppose -3*t - 2*t - 50 = r. Is -12 > t?
False
Let x = 38622.248 + -38239. Let g = x - 383. Is 1 at least g?
True
Let c(d) = -4*d + 41. Let r be c(-21). Let z = r + -119. Let k = 24 + -17. Which is greater: z or k?
k
Let g(m) = 128*m**2 + 10*m - 7. Let l be g(-7). Let r = l + -1257589/203. Do r and 1 have different values?
True
Let s = -539/1310 + 3/262. Which is smaller: 1538 or s?
s
Suppose 6*o + 844 = -404. Let a = o + 221. Are -2 and a nonequal?
True
Let f(z) = z + 9. Let p be f(-3). Let s be ((-1)/(-5)*p)/((-7)/(-35)). Suppose 0 = 4*a + 2*x + 72, -s*a - 90 = -a - 2*x. Are -18 and a unequal?
False
Let s(a) = -5*a + 29. Let k be s(5). Suppose 0 = 5*x - k*x + 3. Let c be 10/(-35)*(4 + -3). Which is bigger: x or c?
c
Let s be (10/3)/(616/693). Suppose l - 5 = -0*l. Suppose -u = -l*k + 18, k - 4*u - 21 = -2*k. Which is smaller: s or k?
k
Let l(t) = 18*t**2 - 60*t + 55*t - 1 - 2. Let v be l(-1). Let a be (-6 + v)/((-2)/1). Which is bigger: 2/7 or a?
2/7
Suppose -60*y = -32*y - 104860. Let r be (-28)/(-16)*15/y. Which is smaller: 0 or r?
0
Let q(i) = -75*i**3 - 7*i + 10. Let h be q(-6). Let j