n b?
False
Let u be (-210)/(-175)*(-160)/(-3). Suppose 3*r - 85 = 107. Is u > r?
False
Let y be ((-30)/(-4))/(-5)*(-46 + 50). Which is greater: y or 0.039?
0.039
Let v(g) = -116*g - 812. Let t be v(-29). Which is smaller: t or 2?
2
Let k be -25 + (1 - -20) - (-1 - 76). Which is smaller: k or 367/5?
k
Suppose 240 = 5*k - 5*u, -1674*k - 5*u - 76 = -1675*k. Is 39 bigger than k?
False
Let p(w) = -4*w - 27. Let h(y) = -4*y - 28. Let j(m) = -3*h(m) + 4*p(m). Let i be j(-7). Suppose i*n - 288 = -2*n. Is 1 greater than or equal to n?
False
Suppose 2*d = 1930 + 944. Suppose -2*v = j + 1469, -3*v - d - 2958 = 3*j. Let y = j - -106655/73. Which is greater: 0 or y?
y
Let f(k) = -k**3 + 5*k**2 + 6*k + 2. Let p be f(6). Let n be 366/18 - p/6. Let r be 74/39 + (n/(-5) - -2). Which is greater: r or -1?
r
Let v = 1.1 - 261.3. Let k = -34.8 + v. Is -2/5 greater than or equal to k?
True
Suppose -379 = -41*c + 236. Suppose 3*z + 21*j - 19*j = 103, 3*j - c = 0. Which is bigger: 34 or z?
34
Let d = 20911 + -21261. Which is smaller: -10 or d?
d
Let z = -226 - -29. Let k = 197.2 + z. Let b = -0.055 - -0.04. Which is smaller: b or k?
b
Suppose -5*q - 8961 = a, 3*q - a + 3707 = -1660. Which is smaller: q or -1790?
q
Let q = -1 - -5. Suppose -16*l + 15*l + q = 0. Suppose l*c - 78 = 30. Which is smaller: c or 28?
c
Let o = 50 + -54. Let f be (-2)/3 + o*(-39)/18. Suppose -4*a + 2*h = 7*h + 14, 4*a + 2*h = -f. Which is smaller: 2/23 or a?
a
Let u = 903848/5 - 180709. Suppose 0 = 4*g + z - 248, -3*z = -z. Which is bigger: u or g?
g
Let p = -1.709 - -0.709. Which is smaller: -450 or p?
-450
Let f(r) = -437*r + 3059. Let x be f(7). Is -2/40441 less than or equal to x?
True
Let t be ((-180)/(-4) + 0)*(-4)/(-12). Suppose -y - 2 = -4*o - 22, -3*o = 4*y + t. Is y equal to 7.6?
False
Let t(x) = -705*x + 4983. Let z be t(7). Which is smaller: z or 0.2?
0.2
Let r be 37629/495 + 4*(-2)/(-44). Which is smaller: r or 77?
r
Let o be -14*((-13)/2)/13. Suppose 105 = -2*r + o. Are -47 and r nonequal?
True
Let i = -6/13351 + 24418991/26702. Which is greater: 914 or i?
i
Let s = -98 + 170. Let d be 9/(-2)*(-16)/s. Is d > 2/59?
True
Let m be (8/(-12) + 4)*(-756)/45. Let a be (-16)/m + 1842/(-6594). Is 0.2 >= a?
True
Let d(i) = -35 - i - 82 - 116*i**2 + 119*i**2 + 35. Let c be d(0). Are -84 and c unequal?
True
Let z be -23 + (0 - (-7 + -74)). Is 143 greater than z?
True
Suppose -y + 79 + 38 = 0. Let g = y + -350/3. Let s be 1/(2 - (-30)/(-4)). Do s and g have different values?
True
Let x = -46 - -24. Let a be ((-84)/(-10))/((-278)/695). Which is smaller: a or x?
x
Suppose -409 = -8*k - 465. Let b be k/(-6) - 28/56. Which is greater: -3 or b?
b
Suppose -5915*a = -5983*a - 38896. Which is smaller: -3425/6 or a?
a
Let x(t) = 2*t + 92. Let g be x(-40). Let y be (-522)/348*g/(2/2). Are y and -18 nonequal?
False
Let h be (-66)/88*(-4)/6*-714. Let m = h - -442. Which is smaller: 1 or m?
1
Suppose 5*x + x = 30. Suppose 4*m = -0*v + 3*v + 2659, m = x*v + 652. Let j = -47360/71 + m. Which is bigger: 1 or j?
1
Let l = 322 + -1602/5. Let s be (-16)/(-48) - 14/(-3). Suppose -s*y = 4*p - 18, -p + 4 = p. Is l smaller than y?
True
Let f be (1/(-5))/(7224/(-2150)). Is 1 equal to f?
False
Let v = 96 + -88. Suppose 5*r + 52 = 4*u, -v*u + 5*r - 12 = -12*u. Which is smaller: 5 or u?
5
Let s(k) = -361*k + 5634. Let t be s(16). Which is greater: t or -52?
-52
Let a = 2492 + -2492.16. Is -1/4 > a?
False
Let t(q) = -17*q - q**3 + 63*q**2 + 9 + 64*q**2 - 119*q**2. Let f be t(5). Which is smaller: 2/225 or f?
f
Suppose -5*d = 3*q + 22, 0 = -4*q - d - 245 + 244. Is q at most as big as -4/2695?
False
Let k be (420/(-52) + 8)*0. Which is bigger: k or -6658?
k
Let h(y) = -3*y**3 + 24*y**2 - 76*y + 30. Let i(v) = 4*v**3 - 22*v**2 + 77*v - 30. Let o(w) = -3*h(w) - 2*i(w). Let b be o(25). Does -54 = b?
False
Suppose 2*g - 3*i = 16577, -24913 = -55*g + 52*g - 5*i. Is g > 8295?
True
Let m = 2821 - 2826. Which is smaller: 0.72 or m?
m
Let v = -7095 + 5798. Which is smaller: 2 or v?
v
Let a(g) = g**3 + 21*g**2 + 21*g + 25. Let s be a(-20). Let r be (-3 + 0)*10/30 + s. Let z be 148/42 - (-2)/(-3). Which is smaller: r or z?
z
Suppose 110*w - 36*w - 21*w = -190906. Is -3602 not equal to w?
False
Suppose 95 = -156*q + 159*q + 4*a, 5*q + 4*a - 161 = 0. Is q equal to 438/13?
False
Suppose 31*i = 34*i - 9, 0 = 4*q - 3*i + 3225. Is q at most as big as -802?
True
Suppose 13553 = -26*f + 83077. Which is smaller: 2673 or f?
2673
Suppose 0 = -a + 1, -3*a - 2*a + 1 = -k. Suppose -8*q - k*v = -3*q - 111, v + 47 = 2*q. Suppose 0 = 3*u - q + 29. Is u at most -2?
True
Let h = -143 + 158. Suppose -9 = -j + o, 4*o - 4 - h = -j. Is j greater than or equal to 11?
True
Let i = -498 + 579. Let g = 0.13 - 0.23. Which is smaller: g or i?
g
Let u = -308 + 291. Let t = 152.98 - 153. Which is smaller: u or t?
u
Let a be -5 + (-17)/(-3) - 32/3. Let c(o) = o**3 + 11*o**2 + 8*o - 2. Let k be c(a). Let u be (-47)/(-5) + (-3 - k/(-5)). Is 6 smaller than u?
True
Let y(z) = 1360*z**2 + z - 2. Let g be y(1). Let h be g/123 + -7 + -4. Is 1 != h?
True
Suppose -7*z = -2*z - 10. Let r(j) = 13*j**3 + 4*j**2 + 9*j - 8. Let m be r(6). Let u = 33002/11 - m. Is z greater than u?
False
Let q(n) = n**3 - 10*n**2 + 3*n - 24. Let y be q(10). Suppose -b = -3*b + y. Suppose -b*t - 3 = -g, 0*g = 2*t - 3*g + 2. Which is smaller: t or -1/56?
t
Let p = -7279 - -7449. Which is greater: 168 or p?
p
Let v = 19074 - 19047. Which is greater: -72 or v?
v
Let y = -187/21 + 20257/2289. Let w = 119/4142 + y. Which is greater: 0 or w?
0
Let s = -359 + 8974/25. Suppose 5*c - 5 = 5*o, 4*o - c + 4*c + 11 = 0. Let a be (2 + -2)*(1 + o). Which is smaller: s or a?
s
Suppose 0 = -3*p - 1 + 7. Suppose -p*h - 2*k + 4 = 0, 5*k + 8 = -0*h + h. Suppose -i + 16 = h*i. Which is smaller: 6 or i?
i
Let t be (3819/(-133) + (-4)/14)*(-19)/(-19). Which is smaller: -94 or t?
-94
Let w = -15083 - -14834. Do w and -266 have the same value?
False
Let k = -1155 - -1139. Is -189/13 smaller than k?
False
Suppose 0 = 3*c - 9*i - 6114, 13*i = 12*i + 3. Is c less than 2048?
True
Let b = 1182 - -937. Which is smaller: 2121 or b?
b
Suppose -22*u - 2040 = 80*u. Which is smaller: 206 or u?
u
Let j = 44 - 44. Let r be 14 + 6 + -4 + j. Let b be (-4)/r - 115/(-620). Is 1 < b?
False
Let h = 520 + -527. Let g be (-15)/12 - ((-26282)/(-4568) + h). Is -1 bigger than g?
False
Let h(y) = 1699*y**3 + y**2 + 774*y + 773. Let p be h(-1). Is p greater than -1697?
False
Let a(r) = r**2 - 6*r - 8. Let l be a(4). Let z be (348/l - 2)/((-2)/8). Let b = 94 - z. Which is bigger: 2/85 or b?
2/85
Let l = -2/2063 + -6149/41260. Let p = l + 11/4. Suppose 3 = -5*f + 18. Are f and p non-equal?
True
Let j be (8/144)/(2*(-2)/16). Let f = -923.767 - -918.8. Let v = f - 0.033. Which is greater: j or v?
j
Let w = -0.19 - 1.61. Let d(a) = a. Let r be d(-3). Let s be (r*3/9)/(4*-1). Is s at most w?
False
Let n = -218 + 228. Let u be (n/6)/((-35)/(-252)). Let j(f) = -2*f + 4. Let g be j(-5). Is g greater than or equal to u?
True
Suppose 168 = 21*q - 84. Suppose -4*w - q = 0, 4*p + 6 = -5*w + 3. Is p less than 25/16?
False
Let v = -0.145 - 0.053. Let p = v - -0.498. Are p and -3.9 equal?
False
Let l(g) = g**3 - 15*g**2 + 35*g - 1. Let b be l(13). Let v = -112 + b. Suppose -v*s + 1 - 5 = 0. Which is smaller: 5/22 or s?
s
Suppose 15*z - 83 = 7. Let q be z/11 + 1020/187. Which is smaller: q or 10?
q
Let b = 4 + -5. Suppose -2*j - j - 3*n - 123 = 0, 2*j + 94 = 4*n. Let g be 1*(j/26 + (-15)/(-10)). Which is bigger: b or g?
g
Let a = -101 + 110. Let i = 61 - 61.1. Which is smaller: a or i?
i
Let t = 12/449 + -15/449. Which is smaller: t or 0?
t
Let i = 80.23 + -1.23. Let n = -78.93 + i. Which is greater: n or 2.5?
2.5
Let b be 170/51*27/75*5/2. Which is smaller: 178/57 or b?
b
Let a = 2.658 + -8.658. Which is smaller: -5.87 or a?
a
Let m(c) = -c - 1. Let a = 80 + -73. Let l be 1 + -9 + 3 + -4 + a. Let v be m(l). Which is smaller: v or 3/8?
3/8
Let v(q) = -110*q + 3718. Let d be v(35). Which is greater: d or -79?
-79
Let h be (-16)/(-6) - (-131040)/270. Which is smaller: h or 491?
h
Let j(p) = -13*p**3 - 2*p**2 + 17*p - 56. Let d be j(3). Which is greater: d or -366?
-366
Let h be 0/12 + 72 + 1. Let o = h + -71. Let v be ((-133)/o - -2)*1/3. Is v smaller than -2