 or f?
c
Let r = -17 - -13.5. Let q = r - -5.5. Which is bigger: 8 or q?
8
Let s be (8/12)/((-227116)/25236 + 9). Is s greater than 2103?
False
Let a be (-15)/9 + -6 + 140/21. Let p = 6 - 17. Let n be -14*(-4)/p + 4. Which is greater: n or a?
a
Let s be -1*4*(0 + 1). Let k = 168 + -140. Let v = 28 - k. Is v not equal to s?
True
Let h(p) = -3*p - 53. Let i be h(-18). Let o be i/(1/(4 - 5)). Which is greater: o or -1/7?
-1/7
Suppose 24*x + 5*g = 27*x + 33, -x + g = 7. Which is bigger: -1/9897 or x?
-1/9897
Let t = 0.1 + -0.2. Suppose -m - 4 = 4*o, 5*m + 3*o + 2*o + 20 = 0. Let u be m*(7 + -9 + 90/44). Which is smaller: u or t?
u
Let s = -2596 + 2595.8. Is s not equal to -3/349?
True
Let w(m) = -m + 7. Let t be w(3). Let s(g) = g**2 + g + 26. Let y be s(0). Suppose 0 = -9*c + y*c - 51. Is c greater than t?
False
Suppose -5*q = -s - 2, 2*s - 7 = 3*q + 10. Suppose 0 = 2*c + 8, 0 = 4*v - 2*c - 34 - 30. Let a = v - -1. Is a less than or equal to s?
False
Let s be 108/(-20) - 0 - (-48)/60. Suppose 0 = 4*q - 2*x + 42, q + 2*x = -x - 28. Let u be (-3)/(-9) + q/3. Which is greater: u or s?
u
Let z be 15/35 - ((-2)/3 + 7048/(-84)). Which is bigger: 60 or z?
z
Suppose -3*s - 4*f + 2*f + 14 = 0, 0 = 5*s - 4*f - 38. Let p be ((-4)/(4/5))/(4/40). Let v = p + 58. Is s equal to v?
False
Suppose 180*s = 193*s + 13. Is s <= 3/283?
True
Suppose 3*q + 0*q = 12*q. Suppose -7 = 2*t + 3*i, q*i = -2*t + 5*i + 33. Is -14 < t?
True
Let x(l) be the second derivative of l**3/6 - 4*l**2 + 3*l + 33. Let n be x(30). Are 19 and n unequal?
True
Let v = 184 + -202. Let b be 6/15 - 216/(-10). Let g = 5 - b. Are v and g unequal?
True
Let t be -2 + (-2 - 35/(-11)). Let p = -1.036 + 1.1377. Let c = 1.1017 - p. Which is smaller: c or t?
t
Let q(p) = -p**3 + 45*p**2 - 266*p + 29. Let m be q(38). Let x be (-88)/(-3) + (-8)/(-12). Which is smaller: x or m?
m
Let d be 8*2 - (-656 + 674). Is -1124.6 equal to d?
False
Let y = -0.06112 - -0.16112. Let n = 1.21 + -73.21. Which is bigger: n or y?
y
Suppose i = 6*i - 140. Let b be (i/3)/((-5)/(-60)*-1). Is b bigger than -112?
False
Let o be (-46)/20 + (-2)/(-4). Let q = 222 - 210. Suppose 4*n + q = l, 4*n - 43*l + 4 = -44*l. Is n smaller than o?
True
Suppose 0 = 5*c + 3*g + 493, 7*g = -4*c + 4*g - 395. Suppose 2*b + b = -294. Is b equal to c?
True
Suppose 16*g - 246 = -150. Let p = 4.1 - 21.1. Let x = -15 - p. Is x less than g?
True
Suppose 5*u + 2*k = -13, -3*k + 297 = 309. Is u at most as big as -11348?
False
Let o be (-120)/(-9)*(16/80 - (-11)/(-61)). Are 1 and o nonequal?
True
Let u = 14009/9 - 1555. Let k be (-2)/((-2)/1) + 2. Which is greater: k or u?
k
Suppose 3*c + 3*g = 29 + 10, 125*g - 124*g - 13 = 0. Suppose -32 = -0*b - 4*b. Which is smaller: c or b?
c
Let r be -43 + 30 + (-12782)/209. Which is smaller: r or -75?
-75
Let y = 0.1353 + -693.1353. Let l = y - -697.27. Let w = l - 4.2. Which is smaller: w or 2?
w
Let c = -1 + 2. Let p = 93 - 108. Let k be 1 - (p/(-160))/((-1)/(-12)). Which is smaller: k or c?
k
Let g be (-5305)/7890 - 2/(-3). Let b be (0 + 4/22)/(((-2080)/(-572))/20). Which is smaller: b or g?
g
Let h(q) = 2*q**2 + 39*q + 37. Let r be h(-19). Is r at most as big as 12?
False
Suppose 0 = 22*b - 1235 - 1411 - 2062. Which is smaller: 211 or b?
211
Let j be 45/30*(-9)/(18/(-56)). Which is bigger: j or 102?
102
Let g = -3183 + 4002. Is g greater than 816?
True
Let q be (1*0/1)/(-3). Let p(z) = -z - 12. Let y be p(q). Suppose -62 = j - 52. Which is bigger: j or y?
j
Let m be (-1*1/2)/(18/(-216)). Let u(h) = 3*h**3 - 2*h**3 - 14*h + m*h**2 - 2 + 10*h - 7. Let z be u(-7). Which is greater: -29 or z?
-29
Suppose 2*j = -61 + 1. Let d be ((-9)/6)/((-3)/(-54)). Let w = d - j. Is 3 at least w?
True
Let l(z) = 323*z**2 + 14*z + 21. Let w be l(-4). Let f be ((-58)/w)/(1/27). Is -1 > f?
False
Let a(y) = -y**3 + 21*y**2 - 4*y - 3. Let x be a(21). Let p = -956/11 - x. Is -1 less than or equal to p?
True
Let j(i) be the first derivative of i**6/360 + i**4/12 - 5*i**3 + 16. Let z(x) be the third derivative of j(x). Let y be z(-2). Is 0.3 at least as big as y?
False
Let b = 25303 + -16858. Let c = -25037/3 + b. Is c != 98?
True
Suppose 20*k = -d + 15*k - 272, 764 = -3*d - 2*k. Let x be (-24)/d + (-356)/(-672). Is x at least 1?
False
Let u(i) = 53*i - 1061. Let c be u(20). Which is bigger: 754 or c?
754
Let t = -2612/3 - -1225/6. Is -666 <= t?
False
Let f = 6 + 7. Let g = 416 + -403. Is g > f?
False
Let t be 16/8 - 1*(-642)/279. Is 5 != t?
True
Let c = 0.6765 + -21.6765. Which is bigger: c or 4/17?
4/17
Suppose -216*c - 26171 = -36078 - 35237. Is c at least as big as 623/3?
True
Let d = -46141 - -46434. Is 66 bigger than d?
False
Let r = -222.9 + 42.2. Let g = -181 - r. Let p = -12 + 25. Which is smaller: p or g?
g
Suppose -2742 = -4*k + 2*b - 2824, 4*b = 4*k + 96. Is 7 bigger than k?
True
Let a be 805/2450 + 2/(-6). Let n be 4 + -4 + -4 + 7 - 2. Is a > n?
False
Let v = -24688.525 - -24697. Is v less than -0.1?
False
Let w = -35657/1247005 + 15/541. Let b = -15535 + 15534. Is w less than or equal to b?
False
Let h(c) = 10*c + 103. Let i be h(0). Which is greater: -2/137 or i?
i
Suppose -4*f - 2493 = -13*f. Suppose z - 70 = -f. Let o be 46/z + (-94)/(-18) + -1. Is o at most as big as 9?
True
Suppose -10*b + 20*b - 10 = 0. Suppose 22 = 3*a - 2. Let v be (a/32)/(19/2). Which is bigger: v or b?
b
Let q be (10 + -4)*(-1 - -12). Let g be 2826/(-21) + 6/(-14). Let r = -69 - g. Is q greater than r?
False
Let t be -6*(-2)/(-6)*-1 - -3. Let i(h) = -h**3 + 7*h**2 + 7*h - 86. Let l be i(t). Let k = 1/491 + 579/197873. Which is smaller: k or l?
l
Let w be (-2 - -2)*(-3)/((-6)/(-1)). Suppose -3*m - 14*t + 5 = -15*t, m + 4*t + 20 = w. Which is greater: m or -7/26?
m
Let d(m) = m**3 + 9*m**2 + 14*m - 1. Let w(x) = -x**3 + x**2 + 13*x - 28. Let v be w(3). Let j be d(v). Is j greater than or equal to -16/7?
True
Let d = -967 + 1136. Is 0.09 less than or equal to d?
True
Let k = 13413 - 13407.2. Are 202 and k equal?
False
Let q = -575.7496 - -575. Let h = q + -0.0504. Let b be 2/7 + (-38)/(-14). Is b less than h?
False
Let s = 23244 + -21765. Is s not equal to 1477?
True
Let a(n) = 30*n**2 - 16*n + 16. Let h be a(1). Which is smaller: h or 18?
18
Let q(v) = v**3 - 6*v**2 - 4*v + 28. Let l be q(6). Suppose -4*m = -9*m + l*t, -5*m - 5*t = 0. Which is bigger: 4/7 or m?
4/7
Suppose 6*a + 3*z - 9 = 3*a, 4*a = z + 12. Suppose a*q = 2*q - 2*r + 22, 0 = 3*r + 15. Let h be 2/(q/(-52)) - (-1 + -2). Which is smaller: h or 2?
h
Suppose -16 + 58 = -6*u. Let w be (-2652)/(-28) + 4 + u. Is 91 < w?
True
Let s = -8001059/3203011155 + -1/667155. Which is greater: s or -1?
s
Let r = -350 + 426. Let o(c) = c**2 + 20*c + 40. Let g be o(-18). Let s be ((-2)/g)/(4/(11*-56)). Is s <= r?
False
Let q be (30/325)/((-72)/(-120)). Is q less than 119?
True
Let n be 36/594 + -46*(-2357)/(-1052436). Let a be (-4)/10 + (-3722)/(-9380). Let z = n - a. Are 0 and z non-equal?
True
Suppose -209*x + 1160 = -205*x. Is 303 at most x?
False
Let g = 3107 - 3108. Which is greater: -10 or g?
g
Suppose 26 - 134 = 9*f. Let q = 11 + f. Let k = 1023/8 - 128. Which is bigger: k or q?
k
Let f be ((6 + 5 + -7)/((-17)/(-68)))/1631. Are f and 0 unequal?
True
Let d(z) = 6*z + 78. Let q be d(-13). Let p be q/(11/9 - (-6)/(-27)). Which is bigger: p or 1/217?
1/217
Let d = 37 + -24. Suppose 0 = -3*m, 15*m = 2*x + d*m + 16. Does 9/4 = x?
False
Suppose 4 + 105 = k. Let n be (-10)/(-2)*1526/70. Is k >= n?
True
Let f = -2734.3 + 2734. Which is smaller: f or 2880?
f
Let o(m) = 2*m**2 - 7*m - 2. Let f be o(4). Let u = 3724 + -3723.61. Which is smaller: f or u?
u
Suppose -4*j + 14 = -2*o, 3*o = 5*j - 27 + 11. Suppose 0 = -5*i - 5, 0*i - 2*i = y - 295. Let w be y/243 + 4/1 + -1. Which is bigger: w or j?
j
Let m = -117677/33 + 3565. Which is smaller: -2 or m?
-2
Let p = 1 - 1.1. Let a(z) = z**2 + z - 41. Let b be a(-8). Let o = b - 52. Is p < o?
False
Let a = 3661/6 - 612. Suppose n - 6*n + 2*g = 4, -3*n + 4*g = -6. Which is bigger: a or n?
a
Let a be 4/(-30)*1/5. Suppose -5*g - 45 = 12*y - 17*y, -2*g - 19 = -3*y. Which is greater: y or a?
y
Let z = 194 + -327. Let w be -133*-22*(-35)/770. Is w at most as big as z?
True
Let u = -294.735 - -0.735. Let m = u - -291. Are 1 and m equal?
False
Let p(s) = 9*s + 3. Let n be p