 a = 61405/126282 - -3/3238. Let m = 1/3 - a. Suppose -2*d - 33 = -4*i - 29, 5*i = d + 5. Which is smaller: d or m?
m
Let o = -1212 - -1215. Which is smaller: 56/19 or o?
56/19
Suppose 0 = 8*d + 38*d - 92*d - 84*d + 31720. Let x = -434 + 678. Do d and x have different values?
False
Suppose 4*n - d = 4*d - 182, 2*n + 4*d = -104. Let f = -46 - n. Let k(q) = -q**3 + 9*q**2 - 8*q. Let h be k(8). Which is bigger: h or f?
f
Suppose 26093 = -3*q - 95056. Let f = q + 203496/5. Let u = 318 - f. Which is greater: u or 1?
u
Let v = 2221 + -3750. Is v equal to -1529?
True
Let q(p) = 18*p + 7. Let o be q(-3). Let f be (-29111)/645 - 6/(-45). Are f and o equal?
False
Let c = -110 - -104. Let l = c + 70. Let v = -84 + l. Is -20 smaller than v?
False
Let o(f) = 3*f**2 - 12*f - 11. Let d be o(5). Suppose -w = 5*r - 4, -18*w + 21*w + d = r. Do w and 155 have the same value?
False
Suppose -5*b + i - 11569 = 106, -11675 = 5*b + 4*i. Is -2334 less than b?
False
Suppose 5*h + 8 = 108. Suppose 8*p - 12*p - 16 = 0. Let q be p/26 + 5/((-585)/(-2124)). Which is smaller: q or h?
q
Let f(v) = 8*v**2 + 2*v - 42. Let i be f(-9). Suppose -12*b - 2*b = -i. Which is smaller: b or 41?
41
Suppose 395 = 3*l - 4*l. Let z be (153/l)/1 - (-6)/15. Let i = z - -2602/395. Is 6 > i?
False
Let c = 59367 - 1781177/30. Is -5 equal to c?
False
Let o be (-440 + 433)*314/(-7). Is 299 at least o?
False
Let p = -142.12 + 142. Let s = 0.02 + p. Is s <= -0.61?
False
Suppose 0 = z + 6 - 88. Let w = z + -37. Suppose 0*x - w = -5*x. Are 8 and x non-equal?
True
Let r be (-3)/(-3)*4/6*-3. Let z be (-8 - (-135)/18)*r/4. Are z and 0.045 unequal?
True
Let m be ((-3990)/(-5))/(-6) + 2. Let x = m + 129. Which is bigger: -5/2 or x?
x
Let c be 92/13 - 138/1794. Let i(p) = p**3 - 7*p**2 + 5*p + 8. Let h be i(6). Suppose 0 = -4*n + h*v + 28, n - 12 = 2*v - 4*v. Which is bigger: c or n?
n
Suppose 18*k - 9*k - 17 = -8*k. Which is smaller: 3233 or k?
k
Suppose -34*g = -25*g + 18720. Is g bigger than -2079?
False
Suppose k - 31 = -5*p, 2*p - 3*k + 426 = 418. Suppose 0 = 5*z + 13 - 53. Which is bigger: z or p?
z
Let a(h) = 30*h + 6. Let t be a(6). Let v = t + -102. Let d be 24/v + (-32)/63. Is -1 smaller than d?
True
Let c = -3978 - -3985. Let n(o) = -3*o - 1. Let g be n(1). Let y be (-88)/(-14) - (2 + g). Which is bigger: y or c?
y
Let z = -34.1 + 60. Let t = 25.81 - z. Do 1/5 and t have different values?
True
Let j be 2448/(-2160)*8/(-2). Which is greater: -0.3 or j?
j
Let x = -878 + 394. Let h = x + 525. Which is smaller: 39 or h?
39
Let c = -0.71 + -8.29. Let m = c - 43. Which is smaller: m or -0.6?
m
Suppose 0 = -l + 5*q + 142, -19*q = -5*l - 17*q + 710. Suppose 61 = -5*p - 2*a - 259, -2*p + 2*a - l = 0. Are 0 and p nonequal?
True
Let l = -28811 - -29058. Are l and 246 nonequal?
True
Let r = 181 + -197. Let f be (-4)/(-8)*(-18 - r). Which is smaller: -6/89 or f?
f
Let s = -647.76 - -5.76. Let d = 643.2 + s. Are -20 and d unequal?
True
Suppose 0*w = 3*w + 5*x + 979, 4*x = -5*w - 1649. Let v be ((-3)/w)/(8/(-12))*-1. Which is greater: v or 1?
1
Let f be (94/29)/(298/447 - (-16)/(-6)). Which is smaller: f or -2?
-2
Suppose 7290 + 13248 = 126*a. Is 81 at most as big as a?
True
Let n be -3 - (6 - 497/63). Let u be (2/(-228))/(6/796). Let v = n - u. Which is bigger: 1 or v?
1
Let t = 207377/93 + -2230. Let k = -529/5115 - t. Let d = -3 + 2. Which is smaller: d or k?
d
Let c = -1353/2 + 678. Let u(m) = m - 3. Let g(n) = -n**2 + 5*n - 2. Let q be g(3). Let d be u(q). Is d != c?
True
Let x(g) = -g**3 - 2*g**2 - 18*g + 24. Let k be x(-11). Is 1312 equal to k?
False
Let h = -7 - -16. Let c = 35178.08 + -35178. Is c greater than or equal to h?
False
Let q be (-7628)/64*-4 + 4. Let p = q - 480. Is p bigger than 2/435?
True
Let p be (-9634)/(-30) + 20/(-150). Let a = p + -190. Suppose 30 = -w + a. Is w not equal to 100?
True
Let j = -628573/255 - -2465. Is j less than -1/2?
False
Let x be 7/(-21)*15 - 602/(-126). Which is greater: x or 53?
53
Suppose -k - 1275 = -3*h + 3*k, 420 = h - 3*k. Let s be (h/(-13))/(3/(-1)). Which is greater: 0 or s?
s
Let s = 1160 + -1105. Which is smaller: s or 16?
16
Let a = 1593185/9078 - -2/4539. Let o = -176 + a. Which is smaller: o or 1.15?
o
Suppose 4*d + 866 = -5*x, 1102 = -449*d + 444*d - 3*x. Are -233 and d non-equal?
True
Suppose k - 116 = -112. Let u(c) = -c**2 + c + 11. Let t be u(k). Is t less than or equal to 4/67?
True
Suppose -4*s + 16 + 76 = 0. Which is smaller: s or -1/2?
-1/2
Let m(c) = -c + 5. Let v be m(3). Let s(i) = -21*i - 15. Let l be s(-5). Let h = l + -95. Is v bigger than h?
True
Suppose 3*v - 18 = 2*y, -11*v - 4*y = -6*v - 52. Suppose 2314 = -5*g - v*g. Is -0.2 at least g?
True
Let f = 1/5656 + -253/125240. Let d = f + 413393/4340. Which is bigger: 94 or d?
d
Let j = 5/102 + -1583/3162. Let s = 2 - 2. Is s at most j?
False
Let d(j) = j**2 + 3*j - 5. Let p(i) = 2*i**2 + 7*i - 10. Let c(w) = -5*d(w) + 3*p(w). Let f be c(-6). Let g be f/10*14 + 0. Which is bigger: g or -2?
-2
Suppose 5*c + 741 = 4*h, -c = 4*c + 25. Let t = h - 145. Does 273/8 = t?
False
Let t = -19 - -18. Suppose -480 = 15*x - 19*x. Suppose -3*n + x = 5*n. Which is bigger: t or n?
n
Let c be (-8)/(-9) + 14/126. Let r = -1336/3 - -696050/1563. Which is bigger: c or r?
c
Suppose -5*b = 3*c + 34, b + 11*c + 14 = 8*c. Let v be ((-2)/(-6))/(b/75). Which is bigger: -6 or v?
v
Let g = -464 - -889. Let h = 425.908 - g. Let d = -0.97 + h. Which is greater: d or 2/9?
2/9
Let f be ((-12)/200)/(3/(-36)). Let h = -14899 + 14901. Is f at most h?
True
Let q(g) = g**2 + 2*g + 3. Let v be q(-2). Suppose -3*z + 144 = -v*d, -d - 3*d - 187 = -3*z. Let t = 48 + d. Which is smaller: 7/2 or t?
7/2
Let x be (5704/4)/((-4 + 2)*1). Which is smaller: -712 or x?
x
Let a(v) = -30*v - 29. Let d be a(-4). Let w be ((-26)/d)/(1/7). Suppose -s - 3*o - 11 = 0, 0*o - 2*o - 2 = -2*s. Is w bigger than s?
False
Suppose -1737 = 24*p - 15*p. Let r = p - -580/3. Which is bigger: 73 or r?
73
Let g(v) = 7*v**2 - 52*v + 19. Let n be g(7). Let y = 121 - 609/5. Which is greater: y or n?
y
Let s be (1 + 62196/(-62172))*9/(-2). Which is smaller: s or -1?
-1
Let g = -6678 + 7013. Which is greater: 2342/7 or g?
g
Suppose -4*r = -w + 6, w + 20*r - 22*r - 8 = 0. Let n = 3 + -1. Let j = 9 + n. Does w = j?
False
Let q be (-20 + 17)/(1*(1 - 2)). Suppose -5*f = -4*g - 0*g + 75, f + 15 = q*g. Let k be 20/f + (-1)/(-3). Which is smaller: -5/9 or k?
k
Let u be 1049/24 + (-1035)/2760. Is u greater than 0.5?
True
Suppose -6291 = 43*f - 365169. Is 8346 at most as big as f?
True
Let r be (-3)/4 + (-3)/(-6). Let u = 113.13 + -11.93. Let d = -101.1 + u. Which is smaller: r or d?
r
Let a be (-8)/(-6) - (-9 + (-6324)/(-18)). Let z = 369 + a. Do 28 and z have the same value?
True
Let g = -50 + 26. Let l = -15 - g. Let p be (-51)/9 + 6/l. Is p > -6?
True
Let y(a) = -2*a**2 - 13*a - 19. Let h be y(-8). Let g = 46 + h. Which is bigger: g or -0.1?
g
Let g = -0.4843 + 0.0843. Let u = 9 - 9.18. Is u less than or equal to g?
False
Let h = -5583.903 + 5583. Which is smaller: 2/5 or h?
h
Let z be ((-4)/10)/((-31)/(-15)). Let k(s) = s**2 - 28. Let t be k(6). Let a be 6/t + 259/(-148). Is z greater than or equal to a?
True
Let i = 53.44 - 0.54. Let v = i + 13.1. Is v equal to -2/13?
False
Let r = 2 + -37.8. Let f = -84 + 48. Let c = r - f. Is 0 at least as big as c?
False
Let u = 508 - 80. Which is greater: u or 424?
u
Let p = 25 + -24. Let o be ((-8)/(-3766))/(330/385). Which is bigger: p or o?
p
Let w(b) = b**3 + 21*b**2 + 39*b + 37. Let r be w(-19). Suppose -2*p - y = 0, 5*p = -4*y - 21 + r. Let t = -480 - -15363/32. Is t at most p?
True
Let l(r) = -8*r - 31. Let x(f) = -2 + 0 + 1 - 3*f + 2*f. Let w(q) = l(q) - 5*x(q). Let d be w(-13). Is d at most as big as 15?
True
Suppose 14*s + 45 - 95 = -64. Is 24/181 <= s?
False
Let t be 1058/8 - 1/4. Let y(q) = -2764*q + 69231. Let d be y(25). Is t greater than d?
True
Let r be 0 + -14 + 10 - 82/(-12). Let m be 1*(0 - 0)/1. Suppose m*j - 2 = -j. Which is smaller: j or r?
j
Let t(a) = a**2 - 59*a - 404. Let g be t(31). Which is smaller: g or -1276?
-1276
Let a = -122.4 + 109. Let w = a - -11.1. Let i be 5/7 + (-3 - -3 - 1). Is w greater than i?
False
Let h(g) = -395*g + 1. Let f be h(0). Is -4/2477 > f?
False
Suppose 42 = 11*n + 10*n