((-3)/6)/(-1). Suppose -5*i + 4*m + 3 = -4, -3*m - x = 0. Let k be ((-9)/(-45))/(i + 0). Does k = 1?
False
Let m be (-14)/(-98) - (486/21 + -1). Do m and -22 have different values?
False
Let s = 4.069 - 8.708. Is 1/3 > s?
True
Let g = -838/3 - -36091/129. Is 1 greater than g?
True
Let u be (-8)/28 - 0 - 39/35. Let x = -0.046 - -9.046. Let v = x - 8.9. Which is greater: u or v?
v
Let z = 458 + -458.0035. Let m = z + -1.9965. Which is smaller: m or 48?
m
Let x = 2/477 - 199/85383. Let p = x + -190/5907. Let v = -41/264 - p. Are v and 0.3 nonequal?
True
Suppose -5*b = -25, -210 + 29 = -2*a + b. Suppose -20*g + 131 + 49 = 0. Let n be ((-24)/20)/(g/(-705)). Which is smaller: n or a?
a
Let o = -7063/2167 - -69/197. Let v(m) = -m**2 - 1. Let q be v(-1). Which is smaller: o or q?
o
Let t(u) be the second derivative of -7*u**3/6 + 7*u**2/2 + 28*u. Let o be (-1 - 20/(-15))/((-1)/(-3)). Let a be t(o). Is a bigger than -2/3?
True
Let q(l) = 4*l**3 - 5*l**2 - 5*l + 37. Let a be q(4). Let u = a + -193. Do u and 2/443 have the same value?
False
Let m = 94.3 + 47.2. Let c = -135 + m. Are -1 and c nonequal?
True
Let v = 0.0309 - -236.9691. Let l = 25 + v. Do 0 and l have different values?
True
Let m(i) = 29*i**2. Let p be m(1). Suppose -34 = 3*l - 7*l + 2*g, -p = -3*l - 2*g. Suppose 0 = -2*n - l + 9. Which is greater: n or 1?
1
Let d = -2.74 - 6.26. Let s = 2.28 - 2.1. Let h = 0.02 + s. Which is smaller: h or d?
d
Let y = -13 + 13. Suppose -10*s - s - 44 = y. Let d be 0 - (-1)/s - (-169)/260. Which is greater: 27 or d?
27
Let i = -0.0922 + -0.0078. Which is smaller: 8.79 or i?
i
Suppose 364*j + 5264 = 411*j. Is -18 at most as big as j?
True
Let o = -15 - -114. Let j = 99 - o. Suppose -2*x = 2*i - 8, 3*i - 6*i - 5*x + 22 = j. Which is bigger: -35 or i?
i
Let r = 4520 - 438446/97. Is r < -1?
False
Let a be 1 - (-3)/(-7) - (-2132)/287. Let i be (80/14 + 24/84)*a. Let z = 48 - -1. Are z and i nonequal?
True
Let u be 3 + 76/(-722) + 68712/(-23750). Suppose -3*w + 3*a + 1 = -a, 2*a + 7 = -5*w. Which is smaller: u or w?
w
Suppose 0 = 2*o - 98 - 34. Let s(t) = -3*t**3 + 33*t**2 - 24*t + 4. Let g be s(10). Is g less than o?
True
Suppose 2*o + 7 = -5*o. Let p = -19 + 7. Let z be p/114 + -2 + 2. Is z at least as big as o?
True
Let p = 54 + -64. Let r(w) = -w**2 + 10*w + 9. Let o be r(7). Let u = -30 + o. Which is bigger: u or p?
u
Let g(l) = 4*l + 43. Let o(u) = 4*u + 42. Let v(s) = 5*g(s) - 4*o(s). Let r be v(-12). Is r at most as big as -8/31?
True
Suppose -4*n + 3*k - 14 = -34, -16 = 4*k. Suppose -5*f + n + 28 = 0. Let q(g) = g**3 - 5*g**2 - 7*g. Let a be q(f). Which is smaller: a or -50/9?
a
Suppose 540*j + 1659 = 547*j. Which is greater: j or 233?
j
Let i(q) = -q**3 - 9*q**2 - 17*q - 164. Let u be i(-11). Is 797/3 < u?
False
Let x = -41832 - -97928714/2341. Are -2 and x non-equal?
True
Let i = -0.1044 - -35.0044. Is i smaller than 2?
False
Suppose 6*d + 3*r + 956 = 10*d, -d = r - 225. Which is smaller: 278 or d?
d
Let w = -108 + 106.33. Let j = w + 4.67. Which is greater: 17 or j?
17
Let o = -22 - -131/6. Let w = -69 - -73. Is w at most as big as o?
False
Suppose 7*y - 331 = -1731. Let d = 297 + y. Suppose -f + c + 102 = 2*c, 3*f + 5*c - 314 = 0. Is d greater than f?
False
Let o = 107 - 72. Let s = 38 - o. Suppose 4*g = s*n + 1, -n + 4*g + 3 = 6. Are 1 and n nonequal?
False
Let f(b) = 2*b**3 + 9*b**2 + 8*b - 8. Let n be f(-4). Let h be (414/(-208) + 2)/((-4)/n). Which is smaller: h or 0?
0
Let o be (((-27)/15)/(-3))/(52566/30). Let c = o - -157485/622031. Which is bigger: -1 or c?
c
Let d = 123817867/1755 + -917166/13. Let n = -4/135 + d. Let z = -1511/3493 + 2/499. Is n at least z?
True
Let n = -17062/3 + 5688. Let l(t) = t + 6. Suppose d + 3 + 2 = 0. Let w be l(d). Is n > w?
False
Let i = 4.96 + 142.49. Let s = -2.45 + i. Which is smaller: s or 0.1?
0.1
Let d = 42 + 19. Suppose -120 = -26*h + 20*h. Suppose h*b + 249 = 1469. Is b >= d?
True
Let m be ((-24)/32)/((-1)/20). Let f(x) = -x**3 + 15*x**2 - 4*x + 60. Let n be f(m). Which is smaller: -6/55 or n?
-6/55
Suppose -4*u - 12 = -0. Let n(s) = 21*s**2 + 1. Let c be n(1). Suppose -4*f + y - 16 = 0, -5*f + 2 - c = 2*y. Which is bigger: u or f?
u
Let f(d) = -11*d - 121. Let t(j) = -15*j - 11. Let b be t(0). Let x be f(b). Which is bigger: x or -2/445?
x
Let x be ((-92)/460)/(3/(-240)). Is x >= 27?
False
Let m be 0 + (-1 - (-4 + 4)). Let w be (-2)/(-10) + (-1 - (-497)/(-35)). Let k be (-40)/w*(-1)/(-6). Do k and m have different values?
True
Let r = 13 - 13. Which is smaller: -22/955 or r?
-22/955
Let p = 0.18477 + -0.48477. Is p smaller than -590/3?
False
Let i be (26 - (-1767066)/(-68460)) + (-2)/5. Is i less than or equal to 0?
True
Let o = -649/760 - 2/95. Let b = -27219 + 27218.3. Are o and b unequal?
True
Suppose 7*w + 15*w = -65472. Let h = -50612/17 - w. Is h at most 0?
True
Let n be 13 + 5 + -8 - 9. Is n smaller than 66/265?
False
Let s = -2.077 - 0.063. Let r = s + 1.6. Let w = r + -0.16. Is w at least -1?
True
Let d(u) = -90*u + 1412. Let r be d(22). Is -570 greater than r?
False
Let c = -9373/688 - -610/43. Which is smaller: c or -1/5?
-1/5
Let u(m) = -2*m**2 + 58*m + 60. Let o be u(30). Is 108 bigger than o?
True
Let r = 1.6948 - 2.5188. Is -3 != r?
True
Let t be (-20)/16*2*-406. Let v = 2026501026/73 - 27759273. Let u = v - t. Is u at least as big as -1?
True
Let b be (-15)/(-75)*(-30)/(-3). Suppose -45*m = -48*m + 5*t - 87, 0 = -m - b*t - 18. Which is bigger: m or 2/7?
2/7
Let t(r) = 64*r + 4607. Let p be t(-72). Does 130 = p?
False
Suppose -288 = -4*l + 4*x, 2*x + 384 = 5*l + 15. Let k = 77219 + -77145. Do l and k have different values?
True
Let s(n) = -n**3 - 5*n**2 - 4*n - 16. Let h be s(-5). Suppose h*t = 8*t. Suppose f + 3*q - 41 = -t*f, 0 = 4*f - 2*q - 192. Is f greater than 46?
True
Let w be (10794/(-112))/((-146)/8) + -6. Which is greater: -2 or w?
w
Let n be (6/(-4))/(2/3 + 45/54). Which is smaller: 4/2485 or n?
n
Suppose -d + 222 - 217 = 0. Suppose 0*g - m = 3*g + 420, -d*m = -5*g - 720. Which is smaller: -143 or g?
-143
Let s = -558 + 566.71. Let z = -7.8 + s. Do -1 and z have different values?
True
Let r be 2/((-6)/4*30/(-1035)). Are 45 and r unequal?
True
Let b be 5*(-3 - 171/(-33)). Let p = 126/11 - b. Suppose -7 + 7 = -9*w. Which is bigger: w or p?
p
Suppose 5*b - 18 + 48 = 0, 4*d + b + 230 = 0. Is -84 <= d?
True
Let w(s) = -6*s**3 - s**2 - 2*s. Let h be w(-1). Suppose -k + 6*z - h*z = -3, -4*k + 4*z = -36. Suppose -2*u - 6 + k = 0. Is u >= 1/34?
False
Let s = -0.45 - 13.55. Let i = s - -14.41. Let h = 29 - 29. Is h > i?
False
Suppose -43 + 43 = -3*o. Suppose -5*y = -t, o*y + 2*y = -4*t - 22. Let p(z) = -z**2 + 6*z. Let c be p(6). Which is greater: y or c?
c
Let a be (-77)/(-44)*13/91. Let t = -1.7 + 19.7. Let b = t + -49. Is a smaller than b?
False
Let n(p) = -6*p**3 - 39*p**2 + 186*p - 5. Let r be n(4). Is r < -239?
True
Let h(i) = i**2 + 16*i - 137. Let b be h(7). Suppose -b - 86 = -22*y. Is y greater than 87/17?
False
Let f be (455/15*1)/(1/3). Let k = f + -73. Which is smaller: k or 15?
15
Let f(v) = 28*v**2 - 29*v - 5. Let x be f(6). Is x <= 2?
False
Suppose 4*l + t = 5*l - 10, -5*l = -3*t - 42. Suppose d = -l*d + 14. Suppose p = -6*k + 3*k + 3, -d*p = -5*k - 6. Is 3/14 > k?
True
Let r(b) = -141*b - 254. Let h be r(-4). Suppose 9*z - 1256 = h. Are z and 3 non-equal?
True
Suppose -45*d = -58*d - 1885. Let r = d + 437/3. Are -119 and r equal?
False
Let d(f) = 20*f - 671. Let m be d(35). Is -10 not equal to m?
True
Let l(b) = -20*b - 210. Let i be l(-17). Which is smaller: 135 or i?
i
Let y = -589 + 1293. Let w = y - 782. Are -78 and w non-equal?
False
Suppose -28*l + 23*l + 5*m + 540 = 0, 0 = 3*l - 4*m - 326. Let t = l - 113. Which is smaller: -16 or t?
-16
Suppose 0 = 14*p - 10*p + 944. Let h = 234 + p. Which is greater: -11/4 or h?
h
Suppose 0 = 1732*i - 1729*i - 165. Which is bigger: i or -1.82?
i
Let d = -215.5 + 217. Let v = -5.3 - -5.5. Is d smaller than v?
False
Let k = -13058 - -12670.11. Let w = k - -388. Let t = -1 + 1. Which is bigger: w or t?
w
Let j = 1.4233 + -1.4533. Is j at least 527?
False
Let i be 2/(-20)*4*-3150. Is i != 1261?
True
Let u be 135/(-81) - 304/(-6). Let d(h) = -4*h + 187. Let w be d(u). Which is greater: 1 or w?
1
Let p be (668/(-132))/1 + (-17 - -2