 5*j + 5. Let o be a(8). Let v = o - 38. Suppose -4 = v*h - 11*h. Which is bigger: 8/7 or h?
8/7
Let u = 811 - 1218. Let n = u + 412.3. Let t = -0.3 + 0.2. Is n > t?
True
Let b be 18/(-12)*32/(-6). Suppose -8*n + 6 = 78. Let a be -2 - (1 + n) - -1. Is b bigger than a?
True
Let p = 58/4003 + -319524/21500113. Is 1 <= p?
False
Let h = -11 - -2. Let b be 56/18 + (-2)/h. Let w be 45/(-9)*-2 - 7. Is w less than or equal to b?
True
Let l = 29 - 43. Let g = 641/39 - 205/13. Which is bigger: g or l?
g
Let z = -7764 - -6846. Which is bigger: z or -9177/10?
-9177/10
Suppose 18 = -4*o - 3*n + 7, -5*o + 5*n = -30. Suppose -i + 0*i = 0, -4*m - 5*i = -4. Let c be m/(-1)*(-4)/60. Is c at least as big as o?
False
Let f be (-696)/126*((-27)/(-2) - -3). Is f != -92?
True
Suppose 119 = -9*h + 83. Let m = -185 + 142. Is h not equal to m?
True
Suppose 7 = 3*y + 3*l + 4, 2 = -2*y - 3*l. Let p be y/35 - (-14)/(-49). Which is smaller: -3 or p?
-3
Let h = 4.058 - 0.258. Does h = -2/23?
False
Let m = 27 - -327. Let z = m + -347. Is z < 7?
False
Let l(q) be the first derivative of 7*q**2/2 - 37*q + 26. Let x be l(6). Suppose -x*f + 2 = -4*y + 7, 5*f = -4*y - 5. Are 1/70 and f nonequal?
True
Let y = -6 + 6.3. Let w = 0.1 - y. Let a be (-141)/(-210) + 10/(-140). Is w >= a?
False
Let u(r) = 1146*r - 85884. Let h be u(75). Suppose -3*x + 4*n = -210, -4*x = -2*n - 363 + 93. Is x at least as big as h?
True
Let d = 6237605/27 - 230990. Which is smaller: d or 31?
31
Let s = 7128 + -5655. Is 1473 >= s?
True
Suppose -40 + 4 = 39*v + 42. Let n be (-12)/66 - (-140)/(-198). Which is smaller: n or v?
v
Suppose -17*g = -21 - 13. Suppose 5*w + 7 = 2*d, -d = 3*d + g*w - 2. Suppose -d = 7*q - 22. Is q less than or equal to 3?
True
Let m = -245 + 248. Let s be -2 - m*(125/360 + -1). Are s and 0 nonequal?
True
Let t(c) = 6*c**2 - 191*c - 443. Let m be t(34). Is m >= -74/127?
False
Let n(m) = -m**3 - 4*m**2 + 7*m - 7. Suppose -4*a + f = 19, 0 = -4*a + 6*f - 2*f - 16. Let c be n(a). Which is bigger: c or 1?
1
Suppose 13*h - 198 - 36 = 0. Let i be h/5 + 12/(-20). Which is smaller: 34/15 or i?
34/15
Let x = 59 + -35. Suppose 4*w + 3*p + x = 0, -p = 3*w + 2*w + 41. Let h be 95/(-12) + 21/(-28). Is h at least w?
True
Suppose y - 4*y - 21 = 0. Suppose 24*j + 220 = 68*j. Suppose -j = -24*c - 173. Is y at most c?
True
Let a(z) = -4*z**2 - 4*z + 4. Let r be a(1). Let i be (r + 259/63)*6. Is i < -230?
False
Let g(u) = -u**3 - 2*u**2 - 16*u - 129. Let q be g(-6). Let s be q/(-37)*22/78. Suppose v = -5*c - 0*v - 2, -c = -5*v - 10. Which is bigger: s or c?
c
Suppose -3*h = -3*a + 2939 + 1285, -5632 = -4*a - 4*h. Is a < 1406?
False
Let k(p) = -38*p - 798. Let r be k(-21). Which is smaller: r or -232?
-232
Let h be 165 + 0 + -1 + -5 + (150 - 148). Is h at least 152?
True
Let l be (88/(-88))/(3/(-102)). Which is greater: l or 24?
l
Let r be 2 + 0 - (-9 - -3). Suppose 10 = -r*x + 2. Which is smaller: 1/50 or x?
x
Let h = 819 - 840.44. Is 0 greater than h?
True
Let q be (-110)/(-44)*8/10*42. Let s = -302 - -385. Is s less than q?
True
Let g be 2*(-17 + 15) + -122. Which is greater: g or -79?
-79
Let d = -0.16 - -0.2. Let w = -0.48 + d. Let l = w - -0.24. Is l less than or equal to 2/9?
True
Let c = -158 - -157. Let j be ((-34)/(-765))/(1 + c - 9). Do 0 and j have the same value?
False
Let q be 0 + (-33 - -33)/(2/(-1)). Are 20/361 and q non-equal?
True
Let s = 2707 + -2708. Is s equal to -2/799?
False
Let f be ((-145)/(-4669) + (-1 - -3)/14)/2. Let n = 1 - -2. Suppose -4*u = b - 3, -2*u = 7*b - n*b + 2. Is u at most as big as f?
False
Let r be -1 - (2 - (-400)/(-134)). Let f = -565 + 565.263. Let z = f + -0.263. Which is smaller: z or r?
r
Let n(r) = -2*r + 9. Let h be n(6). Let z(p) = p**2 - 11*p + 97. Let d be z(10). Let y = d - 89. Which is bigger: h or y?
y
Let q = 654/59 + -58447/5310. Is -1 at least q?
False
Let o be (-62757)/3933 + (-1)/23. Which is greater: o or -72?
o
Let x be (-3 + (-27)/(-6))*2. Let v be ((-3)/(-3) - -14)*114/15. Suppose -x*j + v = -0*j. Which is smaller: j or 39?
j
Let k be 3/18 - (-131)/(-786). Do k and 100/77 have the same value?
False
Let x = -201.221 + 0.221. Let g = x - -200.9. Is g less than -2.67?
False
Let o = 755399 + -10594895/14. Let n = o + 1380. Are 1 and n nonequal?
True
Let f(i) = -50*i**2 - 3*i + 2. Let u(c) = -c**2 - c. Let p(w) = f(w) - 3*u(w). Let v be p(1). Let y be (-2)/5 + (-27)/v. Which is bigger: y or -1?
y
Suppose -8*d = -13*d. Suppose d*r - r + 2*b = 7, 3*r - 2*b + 5 = 0. Let z be (r + -1)*(-4 - -3). Is z less than 16?
True
Suppose 31*m - 2*m = -116. Let y be 30/45*(-27)/m. Which is greater: -2/5 or y?
y
Suppose -3*z + 2*f + 3 = -1, 3*z + 5*f = -10. Suppose z = 4*k - 10 - 10, 3*j + 2*k = -23. Let d be (-18)/63 + (-471)/42. Is d greater than j?
False
Suppose 0 = 2*q - 4 - 4. Suppose q*i = -o - 17, -5*i - 5*o + 9*o = 16. Let n be (-1)/(-7) + i/28. Which is smaller: 3/29 or n?
n
Let p(f) = -24*f**3 - 7*f**2 + 22*f + 9. Let q(m) = 55*m**3 + 14*m**2 - 45*m - 18. Let g(u) = -9*p(u) - 4*q(u). Let a be g(4). Is -225 greater than a?
False
Let j = -1 + 2. Suppose -4*g + s - 349 = 0, 0 = -g + 2*s - j - 81. Let q be -3 + -1 + 2 + g/52. Which is smaller: -5 or q?
-5
Let c(n) be the first derivative of -3*n**2/2 + 88*n - 90. Let o be c(29). Which is greater: 1/176 or o?
o
Let p = 71293536447/137 - 520387047. Let o = p - 3730. Which is smaller: -1 or o?
-1
Let p be 27/(621/299) + -3 + 49. Is 781/13 bigger than p?
True
Let s = 9 + -4. Let j = 105728 - 105728.11. Is j less than or equal to s?
True
Let p = 2373 + -2373.1. Let k = 18947/13 + -1469. Is p less than k?
False
Suppose -234*m + 306*m + 437900 = -556564. Is m greater than or equal to -13811?
False
Suppose -4*i + 24 = -4*u, u - 2 = 3. Suppose 16 = -i*m + 5. Let k be (-1 - 5/(-6))/3. Is k equal to m?
False
Let g = 0.024 - 75.024. Let h = g + 75.69. Let b = h - 0.99. Which is bigger: 17/3 or b?
17/3
Let n(d) = -23*d - 131. Let l be (120/(-90))/(2/15). Let t be n(l). Is 99 at most as big as t?
True
Let y = -368/5 - -8474/115. Let u(k) = -5*k - 140. Let j = 335 - 363. Let d be u(j). Is y <= d?
False
Suppose 13*m - 241 = 149. Suppose -m = 94*o - 100*o. Which is smaller: 2 or o?
2
Let i be 9/(-3) + (-1 - -5). Suppose -3*r - 9 = s - 2, -5*s + 3*r + i = 0. Let q = -8512/11 + 773. Does s = q?
False
Let z = 4881 - 5148. Which is smaller: z or -266?
z
Let n(j) = -11*j + 213. Let g be n(20). Let s be 3 - (-247)/(-91) - (-2)/g. Let d = 17.06 - 0.06. Is d greater than s?
True
Let h = -405 - -405.0417. Let k = 59.7583 + h. Let w = 60 - k. Do w and -0.01 have different values?
True
Let z = -324.3 - -324.3. Is 2/4513 <= z?
False
Let d be 12/10*(-2)/(-8) + 4670/100. Let b(q) = 27*q - 2. Let s(g) = -28*g + 3. Let h(o) = 5*b(o) + 4*s(o). Let a be h(2). Which is smaller: a or d?
d
Suppose 4*j + 29 = d + 10, 16 = 4*d - 4*j. Let m be (-88)/(-736) - (-2)/(-8). Which is smaller: m or d?
d
Let c(b) = -63*b + 5306. Let v be c(70). Which is greater: v or 4481/5?
4481/5
Let i be (-4)/(-16)*-1 + (-222)/(-24). Suppose 0 = -i*r + 3*r. Is r bigger than 3/31?
False
Let y be 1/3 + ((-19)/6 - -4). Let t(v) = -v**3 - 7*v**2 + 6*v - 14. Let w be t(-8). Suppose w*d + 0*d = -2*d. Is y >= d?
True
Let x = 13969 - 13978.249. Let r = -9.3 - x. Let p = r - 0.049. Is 0.49 at least as big as p?
True
Let w = 13 - 10. Let a = 157 - -86. Suppose -3*n = -261 + a. Which is smaller: n or w?
w
Suppose -10*r = -9*r - 436. Let f be r/(-708) - 4/(-6). Are f and -1 equal?
False
Suppose 434 = 9*a - 21*a + 5*a. Which is smaller: -42 or a?
a
Let l(m) = -m**3 - 10*m**2 + 16*m - 27. Let x be l(-8). Which is greater: -282 or x?
-282
Suppose 5*o = 4*j - 75 + 25, 3*j + 2*o - 26 = 0. Suppose 23*v = 19*v + 4. Is j less than or equal to v?
False
Let a(s) = -2*s**3 + 9*s**2 - 7*s. Let w be a(3). Let z be 2*(-6)/(-36) - 884/w. Are z and -146 unequal?
True
Let b = -15386 - -11483. Is b less than or equal to -3903?
True
Suppose -10*a = -21*a - 55. Let d be (a/12)/((-52)/(-39)). Let f(k) = k**2 + 2*k - 1. Let s be f(-2). Is s greater than d?
False
Suppose -5*b + 0*b - 72 = -4*m, 2*m - 54 = 4*b. Let u be 9 + b - 1/3 - -4. Is 248 < u?
False
Let o = 0.555 - 1.297. Let j = -0.942 - o. Which is smaller: j or 20/31?
j
Let t = 0.7 - 0.42. Let y = -3.6716 - -8.6716. Is t < y?
True
Suppose -