 Let g be ((-2)/(-4))/(5/30). Suppose -u + 92 = g*u. Is u smaller than t?
True
Suppose -3*s + 15 = -3*q, 5*s = 7*q - 17 + 52. Is -1/743 != s?
True
Suppose 5*k - 2*m + 5*m + 5 = 0, -2*k + 5*m - 2 = 0. Suppose 2*a = 2, 2*a + 5 = -2*w - a. Let s be (2/(-40))/(3/w). Which is smaller: s or k?
k
Let v(h) be the third derivative of h**5/30 + h**4/12 - h**3/6 + 3*h**2. Let k be v(-3). Let r be (3 + -5)*(-1)/k. Is r < 1/2?
True
Suppose -3*x - 6 = 3*b, -5*b - 41 = -3*x - 7. Is b not equal to -19/3?
True
Let x = 1132 + -1133. Which is smaller: x or 13/131?
x
Let b(a) = -62*a - 65. Let z be b(-10). Suppose -z = -7*h - 51. Is h bigger than 72?
False
Let j(u) = -u**3 + 6*u**2 + 2*u - 1. Let q be j(6). Let b = 1 - 11. Let c = q + b. Are c and 1 equal?
True
Suppose 153*a + 23 = -130. Is 4/147 greater than a?
True
Let p = 332 - -9. Let m = -1649093 - -46184153/28. Let n = m - p. Which is smaller: n or 1?
n
Let n(y) = 51*y**3 - 2*y**2 + 1. Let r be n(1). Let d be (-84)/r*20/(-9). Let l = 17/5 - d. Which is smaller: l or -1?
-1
Let o = -0.06 - -1.06. Is 5.2 greater than o?
True
Let v = -383/130 - -31/10. Let h = -43 + 65. Let w be (-4)/h + 4/22. Is v equal to w?
False
Let v be 0/1 - (5 + -2). Let x be -2*((-15)/6 - v). Which is greater: x or -1/17?
-1/17
Let h = -42 + 37. Let w be ((-6)/(-7))/(8/(-56)). Let m be 4/w + 6 + h. Which is bigger: 0 or m?
m
Suppose 8*l = 6*l + 2. Let o be (l/2)/((-2)/(-4)). Let q = 71/7 - 235/28. Is q > o?
True
Suppose 7 = d + 5. Which is smaller: d or 12/7?
12/7
Let t be 1/(2/16) + 180/30. Which is greater: 208/15 or t?
t
Let y be (-8370)/7 + (96/42)/(-8). Which is smaller: -1197 or y?
-1197
Let t = -245 + 244.8. Is -102 at most t?
True
Let t be (1652/(-1650) + 1)/(22/60665). Let a = 1/110 + t. Let g be 8*(0 + (-3)/6). Is g greater than a?
False
Suppose -7*c = -c - 24. Suppose -5 = -5*v + 3*x + 57, -x = -c*v + 44. Suppose 5*s - 7*s + v = 0. Is 2 < s?
True
Let a = -521 + 181. Is -340 != a?
False
Suppose -4*b = 2*r - 14, r - 39 = 2*b - 36. Which is smaller: b or -2/759?
-2/759
Let p(f) = -f + 11. Let y be p(-16). Suppose 0 = -u - 4*a - 24, 5*u + y + 18 = -5*a. Is -14/3 less than or equal to u?
True
Let z = -34 + 33. Let k be z + 2 - (10/(-2) + 3). Is 6 > k?
True
Suppose 55*g - 36*g - 19 = 0. Which is bigger: 17/42 or g?
g
Let r = -368 - -369. Is r != 14/43?
True
Let g(d) = d**3 + 21*d**2 + 37*d + 44. Let z be g(-19). Is 63 greater than z?
False
Let c(l) = l**2 - 8*l + 9. Let o be c(7). Suppose -v - 22 = 4*r - 7*r, -o*r + 24 = -2*v. Let g = 12 + v. Is 5 bigger than g?
False
Let o be (16/12)/(2/(-3))*-13. Which is greater: 7 or o?
o
Let p = 12.536 + 7.47. Let c = p + -0.006. Let x = 22 - c. Which is greater: 1 or x?
x
Let n(v) = -v**3 - 12*v**2 + 11*v - 3. Let s be n(-13). Let y = s + -16. Are y and 4 equal?
False
Suppose -3*s + 381 = 3*w, 63*s - 67*s = -4*w - 548. Is 261/2 less than s?
True
Let x = 834/5 + -165. Suppose 23 = -4*s + 27. Let u be s - 0 - (1 + -3). Is u at most as big as x?
False
Let o be (-7425)/198*2/(-159). Is 1 > o?
True
Let s be 2*-2 - 132/(-36). Is s bigger than 42?
False
Suppose 6*f - 9*f = 3. Which is bigger: -5 or f?
f
Let f = 25 + -70. Let x = 30 + f. Suppose 268*m - 1 = 269*m. Is x > m?
False
Suppose 5*n + 38 = -3*l, -268 + 266 = n - 5*l. Is -118/21 >= n?
True
Let i = -4019122/11705 - 75/2341. Let y = 843 + -501. Let v = y + i. Is v > 0?
False
Let l be (-6)/(-150)*-5*(-10)/(-2). Is l smaller than 5?
True
Suppose 0*i - 8 = -4*i. Let y be 9/(-2)*i/(-3). Suppose y*c = 15 + 6. Which is smaller: c or 8?
c
Suppose 4*u + 0*u = -5*i - 8, 2*u = 2*i + 14. Let d be -2 + 4 - (-43)/i. Do d and -8 have different values?
True
Let t = -110 + 111. Which is smaller: 13/49 or t?
13/49
Let q be 462/55*(-10)/(-4). Which is smaller: q or 15?
15
Let t(g) = 3*g**3 - 2*g**2 + 1. Let i be t(1). Let f be (-1101)/(i - -1) - -3. Let r = -5093/14 - f. Which is bigger: 1 or r?
1
Suppose -126 = -10*v + v. Suppose 0 = -2*s - 3*p - v, -2*p - 13 = s + 4*s. Let t = -0.03 + -0.01. Is t greater than or equal to s?
True
Let p = 869 + -520. Is p at most 348?
False
Let b = 23.7 - 39.7. Do 0.04 and b have different values?
True
Let h = -13.8 + 15. Let l = -6.8 - h. Which is smaller: l or 4?
l
Let q be 3/9 - 948/9. Let p be 25/q + 9/(-21). Which is smaller: -1/3 or p?
p
Let u(n) = -n**2 - 8*n + 13. Let o be u(-9). Suppose -o*g - 127 - 9 = 0. Which is smaller: g or -1?
g
Let m = 64619/705 + -275/3. Which is smaller: m or -1?
-1
Let c = -128.972 + 129. Does c = -2?
False
Let i(z) = z**2 - 3*z - 8. Let h be i(5). Suppose 4*n + h*n - 78 = 0. Which is smaller: -2 or n?
-2
Let l = -46/273 - 11223/182. Which is smaller: -63 or l?
-63
Suppose -5*i + 4*i = -4*a - 8, i = -4*a. Suppose i*t = 65 - 105. Which is bigger: t or -6?
-6
Let z = -0.23 - -1.13. Let j = 0.0418 + -1.0418. Let i = z + j. Which is smaller: i or 2/55?
i
Let w(l) = -l**3 - 17*l**2 + 2*l - 3. Let g be w(-17). Suppose -4*s - 70 = -2*s. Is s greater than g?
True
Suppose 9*p + 5*j = 10*p - 2, -4 = -2*p + 5*j. Let k be (-440)/(-32)*4 - 4/p. Which is greater: k or 54?
54
Let k(r) be the second derivative of -r**5/20 - 13*r**4/12 - 5*r**3/2 - 9*r**2 - 10*r. Let v be k(-12). Which is greater: v or 17?
v
Suppose 7*h = -217 + 665. Let w = -7 + h. Is 57 at least w?
True
Suppose 0 = -4*m, -4*m + m = 5*u - 15. Suppose -u*b = -2*f + 2, f - 3 = -2. Suppose -o + 6 = z, -4*o + 6 + 0 = -5*z. Are b and z unequal?
True
Let f = -0.3 + -0.4. Let w = 4.7 + f. Let d = -76 + 76. Which is smaller: w or d?
d
Let h = 1 - 0. Let d(a) = 2*a**2 + 3*a + 10. Let y be d(-6). Let t be (y/(-66) - -1)*6. Is h < t?
False
Suppose 0 = -405*k + 404*k - 1. Is k at most -106?
False
Let x = -1/1680 + 48301/1680. Is x smaller than 30?
True
Let n = 515/17 + -5851/68. Is -55 >= n?
True
Suppose 0 = 14*x - 20 + 6. Is -5/46 at most x?
True
Let j be 2/(-7) + 1350/21. Suppose 3*o = -68 - j. Let l be 5/4 - (-33)/o. Which is smaller: 2 or l?
l
Let a(z) = z**2 - 6*z - 9. Suppose -48 - 2 = -5*l. Let i be a(l). Let v be 15/20 + i/(-20). Which is greater: -2 or v?
v
Let c = -229 - -226. Which is smaller: c or 0.037?
c
Let n = -59 - -49. Let y(o) = o**3 + 10*o**2 - 2*o - 21. Let i be y(n). Do 6 and i have different values?
True
Let g be (-644)/(-2704) - 5/20. Which is smaller: 1 or g?
g
Let m = 89/20 - 17/4. Let t = 5 - 2. Suppose 2*b - 5*h + 13 = 0, b + t = 2*h - 2. Is b not equal to m?
True
Let j = 0 + 0.24. Let w = 0.28 + -0.11. Let c = j - w. Which is greater: c or -0.1?
c
Let d = -2.39 - 0.61. Let x = d - -6. Are 4/9 and x unequal?
True
Suppose -19*o = -23*o - 536. Let x = o - -142. Is x > 4?
True
Let t = -1.2 + 4.2. Let y = -10 - -30. Let c = y + -21. Which is smaller: c or t?
c
Let r = -38 - -84. Let n = 51 - r. Is -2 at least n?
False
Let u be -18*2/(-8)*-2. Let i = 39 - -16. Suppose -i*f = -54*f + 8. Is f smaller than u?
False
Let k(m) = -m**3 - 5*m**2 + 7*m - 1. Let a be k(-6). Let b(s) = 0*s**2 - s**2 - 9*s + 2*s + 5 + 0*s**2. Let v be b(a). Is v < 2?
False
Let d = 21463/145 - 58581626/393965. Let b = 10/247 + d. Is -1 greater than b?
False
Let y be (-10)/(-5)*(-2)/((-8)/(-10)). Let x be 6 - (-15)/y - 1*3. Let z = -35 + 943/27. Which is bigger: z or x?
x
Let c be ((-2)/(-24))/(49/(260190/20)). Is c less than or equal to 23?
True
Suppose 4*m - 3*m - 459 = 0. Let k be (-2)/(-14) - m/(-119). Suppose t - 3*o = 2*o - 24, -k*o + 19 = -t. Are t and 1/10 non-equal?
True
Let t be 174/(-21) - (-14)/49. Let g be t + (-1 - -3) + 0. Which is greater: -1 or g?
-1
Let n = 40 - 31. Let i = -9.08 + n. Let k = 0.03 + 0.07. Is k > i?
True
Suppose 3*f + 75 = 4*y + 8*f, -4*y - f = -79. Let w be 63*(5/(-3))/(-5). Is w bigger than y?
True
Let x = -4.8 + 8.4. Let q = x - -13.4. Is -1 at most q?
True
Let z = -134 + 133.9. Are -135 and z unequal?
True
Let v(y) = -y**3 - 6*y**2 - 3*y. Suppose 0 = 3*s + m + 5, s - 5*m - 3 + 26 = 0. Let q be v(s). Is q != -18?
False
Let s(h) = h**3 - 2*h**2 - 2*h + 495. Let i be s(0). Let j = i - 1993/4. Is j smaller than 0.4?
True
Let w be (-2)/8 - (-3)/12. Suppose w = u - 3*u. Let j = 33 - 33. Do u and j have different values?
False
Let t = 99/5 - 157/8. Are 0.1 and t non-equal?
True
Let h(v) = -v**3 - 4. Let l be h(-2). Suppose -l*a + 2*x + 72 = 0, -2*a + 23 = -a - 3*x. Are a and 15 nonequal?
True
Let u(k) = 3*k**3 + 4*k + 5. Let 