77/13 - -667. Which is smaller: q or k?
q
Let s = 918 + -790. Which is bigger: 126 or s?
s
Let l be (18/5)/(41/(-205)). Suppose 2*k = -5*r + 4*k - 118, 3*r + k = -73. Let c be (r/l)/((-4)/(-1)). Is c bigger than 2?
False
Let y(t) = -t**3 + 15*t**2 + 17*t - 22. Suppose 52 = 4*c - 12. Let u be y(c). Let p = u - 15. Are p and -21 unequal?
False
Let d be (-25724)/(-128820) + (-1)/5. Let n = 6228457/32205 + d. Let u = n - 194. Is u at most -2?
False
Let u = 4240/13547 - -2/713. Suppose 2*q = -3*v + 2, -2*q + 3*v - 11 + 1 = 0. Let a be (-3)/q + (-3)/6. Are u and a non-equal?
True
Suppose 0*u = 3*u. Let j = 5/2 + -109/44. Is u smaller than j?
True
Let l be 4/5*(-165)/66. Let n = 0.1 + -0.08. Are l and n nonequal?
True
Let g = -27.3749 - -27.41. Which is smaller: 1/2 or g?
g
Let d(m) = m**2 + 15*m + 54. Let t be d(-9). Which is smaller: -15/29 or t?
-15/29
Let h = -2017 - -30338/15. Let w = h + -21/5. Is 1 greater than w?
False
Let x(d) = d**2 + 10*d + 13. Let q be x(-8). Let o be (-7 - q) + 55384/51. Let a = o + -1082. Which is smaller: a or 0?
a
Let m = -1108 + 1098. Let r = 126 + -76. Let k be (20/r)/(38/m). Is k at least -0.1?
False
Let h(c) = c + 2. Let k be h(6). Suppose -3 - 4 = -w. Let l be ((-60)/42)/(((-3)/w)/3). Do l and k have different values?
True
Suppose 0 = 3*o + o - 12. Suppose -3*c + 2*a - 5*a = o, 0 = -c - 5*a - 13. Which is smaller: 0.4 or c?
0.4
Let b = 32 - 27. Suppose -b - 2 = 7*m. Are m and 4/17 non-equal?
True
Let w be 922/2288 + 6/(-16). Which is bigger: w or -1?
w
Let l = 317 - 316.962. Which is greater: l or 1?
1
Let u = 7 - 20. Let d = -8 - u. Let n = 4.8 - d. Which is bigger: n or -3?
n
Let g = -55.2 - -55. Which is smaller: 78 or g?
g
Let f = 93 - 164. Let z = 62 + f. Which is smaller: -7 or z?
z
Let y(f) = -f**3 - 11*f**2 + 11*f - 17. Let k be y(-12). Let d be (k/(-30))/(((-30)/4)/3). Which is smaller: 0 or d?
d
Let n be 642/(-535)*10/(-6). Is 252 at most as big as n?
False
Let k be (-4)/10*35/(-21). Let r be (-28002)/(-99) - (-10)/(-15). Let u = 282 - r. Is k greater than u?
True
Suppose 3*r - 5*i - 24 = 1, -2*r + 2*i + 18 = 0. Let f be (-4)/8 - (-635)/r. Let t be ((-4)/14)/(27/f). Is 2 equal to t?
False
Let g = -2407/4 - -1653601/2748. Which is smaller: g or -1?
-1
Let r(y) = -y + 8. Let v be r(0). Let t(h) = 2*h**3 + 0*h + v + 0*h - 6 - 3*h. Let j be t(1). Which is greater: j or 10/11?
j
Suppose s - 6 = -2*r + 5, 5*s - 5*r + 5 = 0. Let x = -0.5 - -0.5. Is x not equal to s?
True
Let m = -8962/2266667 - -4/1543. Is m at most 1?
True
Let t = 370.3 - 388. Which is bigger: t or -1?
-1
Let l = -47 - -79. Let p = 10 - l. Which is greater: 0.1 or p?
0.1
Let p(k) = -3*k**3 + 3*k + 747. Let l be p(0). Is l >= 747?
True
Suppose 4*q = y + 19, -y - 2*q = -0*q - 11. Suppose -5*t + 152 = a, 3*t = 7*t + 4*a - 128. Let r be (0 + 1)*t/18. Which is smaller: y or r?
y
Let n(v) = -13*v - 113. Let x be n(-9). Is 4 < x?
False
Let o = 1193 - 8349/7. Which is bigger: o or -3.89?
o
Let h = -8 - 0. Let n = h - -12. Let b be (-2)/(-4) + 56/16. Is n less than b?
False
Let i = -2/21175 - 62773/7961800. Is i > -1?
True
Let u = -29185.173 - -29200. Let m = -0.273 - u. Let q = m + 15. Which is bigger: q or 2/3?
2/3
Let w = -8 - -15. Let g(a) = -a + 9. Let j(t) = -1. Let c(p) = -g(p) - 3*j(p). Let m be c(w). Which is greater: 0 or m?
m
Suppose -5*i + 2*s - 38 = 0, -19 = 2*i + s + 2*s. Suppose -228 = z - 218. Is i less than z?
False
Suppose 5*d - 3*h = 2 - 8, -3*d - 5*h = -10. Let a be (-21)/56*(d - 10). Is 5 less than a?
False
Let a = -4299/34520 + -2/4315. Which is bigger: -1 or a?
a
Let r = 92.9 + -92.9. Is r > 0.007?
False
Let s = 447 - 11619/26. Which is smaller: s or 4?
s
Let t = -179/7 - -8041/315. Which is smaller: -1 or t?
-1
Suppose 1 = o - 0. Let t be 36/((34/51)/(5/(-3))). Let j be 44/(-279) - 20/t. Is o bigger than j?
True
Let a = -2/701 - -1839/398869. Is a != 0?
True
Let q = -0.1 - 0. Suppose 0 = 4*l - 5*l + 4. Suppose -6 + l = x. Which is smaller: q or x?
x
Let i be ((-1)/(-154))/(23/((-1012)/(-165))). Which is bigger: 1 or i?
1
Let h(a) = 58*a**3 - 7*a**2 + 9*a + 8. Let d be h(4). Let w = 25427/7 - d. Which is bigger: w or -12?
w
Let n(w) = 2*w**3 - 65*w**2 - 32*w - 32. Let r be n(33). Is r smaller than -2/191?
False
Let m be (-1 + 1)/(1 + -3). Let w be 84/63 + 8/(-6). Suppose w = v + v - 10. Is v equal to m?
False
Let w be (-2)/6 + (-1)/3. Let c = 26/3 - 4. Let y = c + -29/12. Is w <= y?
True
Suppose -3*z = 2*z. Let s = -10/23 + 41/253. Do s and z have different values?
True
Let i = 274 - 153. Is i > -1?
True
Suppose z - 3*z + 13*z = 0. Let t = -2739/13 - -211. Is z less than or equal to t?
True
Let l = -3 - -3. Suppose l*z - 2*z + 2*b - 68 = 0, 50 = -z + 5*b. Let s be ((-72)/z)/((-4)/(-10)). Which is smaller: 5 or s?
5
Let l = 575 + -574. Which is bigger: 6/31 or l?
l
Suppose 1324 = -20*y + 16*y. Is -331 > y?
False
Suppose -3*l = -2*l - 84. Let h be (-32)/l + (-1)/3. Suppose 10*o + 5*o = -30. Which is smaller: h or o?
o
Let s = -0.13 - 0.01. Let k = -9.66 - -9.8. Let v = k + s. Are v and -1 unequal?
True
Let t = 1731.79 + -1742. Let f = t - -10. Let n = 2.21 + f. Is 1 at least as big as n?
False
Let a = -147/4 - -3961/108. Is 9 at least a?
True
Let q = 122259/22 + -5556. Is q at most 1?
False
Suppose 3*k = -3*d + 18, -d + 1 = 4*k - 5. Let t be (7/((-28)/(-104)) - 3)/4. Let y = d - t. Is -1 bigger than y?
False
Let r(v) = v - 12. Let s be r(17). Let n be (1 - -1 - s) + -3. Which is smaller: -19/4 or n?
n
Let l = 104 - 96. Is 2 bigger than l?
False
Let d be 928/30 + 6/15. Let t = d - 31. Let l = 0.25 + -0.2. Which is smaller: l or t?
l
Let q(x) = 4*x**3 + 51*x**2 - 12*x + 18. Let j be q(-13). Which is smaller: 80 or j?
j
Let u = 32122 - 609730/19. Is 31 != u?
True
Let q be (-2)/(-12) + 413/(-354). Which is smaller: q or 1?
q
Let h = 0 - 0. Let j be h + 3 + 93/(-1). Let d be ((-24)/j)/(10/3). Which is smaller: -1 or d?
-1
Let k = -710 + 725. Which is greater: -4 or k?
k
Let x = -0.1761 + -0.8239. Is x smaller than -0.386?
True
Let j = -1220411 + 319748073/262. Let n = 1/131 + j. Is 3 at least as big as n?
True
Let o(t) = -3*t + 31. Let l(f) = f**3 + 3*f**2 - 3*f - 2. Let p be l(-3). Let z be o(p). Let w(s) = 4*s - 1. Let c be w(3). Which is smaller: z or c?
z
Suppose -u + 1 = -4*a, -4*a + 7 = 4*u + 3. Let h(v) = v**3 + 7*v**2 + 9*v + 8. Let s be h(-6). Let x = s + 11. Which is bigger: x or a?
x
Suppose 0 = 21*i + 8740 - 1579. Which is smaller: -342 or i?
-342
Let m = 4767.963 + -4772. Let j = 0.037 + m. Let v = -4.09 + 0.09. Is v bigger than j?
False
Suppose 0 = 4*f - 7 - 17. Let y(g) = -g**2 + 4*g + 4. Let v be y(f). Let m be 2/v + 25/60. Are m and -1 nonequal?
True
Let m be (-10)/(-8)*(-3 + (-66)/(-15)). Do 1 and m have different values?
True
Let g = 20 - 21. Let y be (2 + -1)/g*5. Let b be ((-40)/(-500))/(3/y). Is 3 at least b?
True
Suppose -300 = -13*t - 66. Suppose -5*f - 9 = -z + 13, 4*z - 2*f = 16. Are t and z equal?
False
Let z be 27/6*(-2)/6. Let q(i) = i - 5. Suppose 5*c = -4*l + 50, 3*l - 9 - 1 = -c. Let g be q(c). Is z less than or equal to g?
True
Let i be 3/3 + (-460)/10. Which is smaller: -48 or i?
-48
Let s be ((-43)/216)/((-2)/(-4)). Let l = s - -4/27. Let y = 0.0597 - -0.9403. Which is greater: y or l?
y
Let u(v) = -v**2 + 7*v - 11. Let x be u(3). Is x at most 3/437?
False
Let i(y) = -y**3 + 4*y**2 - 16*y + 8. Let f be i(6). Let k = -30516 - -337434/11. Let c = k + f. Is c at least as big as 0?
False
Let c be (-2*6/(-4))/((-45)/(-75)). Let b be ((-18)/c)/(36/(-40) + 3). Is 1 at most b?
False
Let g = 382 + -311. Which is smaller: -0.3 or g?
-0.3
Suppose -2*v = -7*v - 450. Let a = -87 - v. Is a at most as big as 2/3?
False
Let b = -438 - -4821/11. Suppose -9*k - 728 = -737. Which is greater: k or b?
k
Let o be 8/6*(-6)/(-8). Let c = -8/5207 - 6/127. Let t = c + 51/205. Which is greater: o or t?
o
Let d(o) = o**3 + 12*o**2 + 12*o - 2. Let y be d(-11). Suppose 238 = -69*t - 176. Is t > y?
True
Let o = -26 + 22. Let s be 4 - -4*(o + 3). Which is greater: s or 1/4?
1/4
Let y(u) = u**2 - 2*u + 2. Let v be y(3). Suppose 0 = 2*l + q + 1, 3*l + l + 4*q = 0. Let m(p) = -6*p - 1. Let n be m(l). Is v < n?
False
Let z = -132.04 - -132. Let j = 0.12 - z. Is -4 at most as big as j?
True
Let q = 413 + -413. Which is smaller: 73/4