 -2*x = 3*x + 205. Is q > x?
False
Let x(z) = -2*z + 1. Let w be x(-1). Suppose 2*l + 0*l + 11 = 5*t, -w*t + l = -7. Let u be (-5)/60*t*1. Which is smaller: u or 1?
u
Let r = -24025.97 + 24023. Which is smaller: r or -20?
-20
Let v = -8 - -6.7. Let l = 61.3 - 60. Let w = v + l. Which is smaller: 2/3 or w?
w
Let i be ((-7)/((-126)/(-12)))/(4/6). Let z be -4*(0/3 + i). Suppose -a - z*a - 40 = 5*o, 4*o = -5*a - 35. Is -8 at most o?
True
Suppose 198 = 4*j + 21*l - 24*l, 3*j - 3*l = 144. Does j = -20?
False
Suppose 3 = d - 0. Let m(q) = q + 1. Let g be m(d). Suppose 5*t + 2*a = -3 - 8, -2*a - 2 = -g*t. Which is bigger: -2 or t?
t
Let x = 2678136/49 + -54654. Which is bigger: -1/4 or x?
x
Let o = -217 - -9. Let d = 207.12 + o. Which is smaller: -1/4 or d?
d
Let v = -12549 + 12681. Which is smaller: 171 or v?
v
Suppose 2 = q - 4*j - 1, 4*q + 2 = 2*j. Suppose -4 = -15*s + 13*s. Let g be ((-4)/(-30))/((-29)/(261/s)). Does g = q?
False
Let z = 805 + -799. Let m be (z + 36/(-9))/(31/1). Which is bigger: m or 1?
1
Let j = -13/8805 + -29617/3794955. Suppose x = -2*n - n + 1, 0 = 2*x - 2. Which is greater: j or n?
n
Suppose 5*g = 353 - 388. Let v(u) be the third derivative of u**5/60 + 5*u**4/12 + u**3/3 + 4*u**2. Let d be v(g). Is d greater than -19?
False
Let g be -1916 + (-1 - 0) + -3. Let s = 96003/50 + g. Is s bigger than -1?
True
Let t = -969 - -855. Let k = -13/38 - 3/19. Which is greater: k or t?
k
Suppose -14*k + 15*k = 0. Suppose -t + d + 3 = 0, 12 = -k*t + 2*t - 5*d. Is -3/22 < t?
True
Suppose 361*n + 7 = 360*n. Let q be 7 + -8 - -5 - (-27)/n. Let w be (-6)/9 + (-2)/6. Is w at most as big as q?
True
Let a = 175.86 - 178. Let l = 29.94 + a. Is l bigger than -0.1?
True
Let a(x) = 8*x + 25. Let g be a(-11). Let d = g + 571/9. Is d less than -1?
False
Let k be (-1)/((4015/(-10))/(-11)). Is 0 smaller than k?
False
Suppose 4*s = 19*s - 20 - 70. Suppose 5*x = w - 15, x - 4*x + 9 = 0. Let m be ((-2)/4)/((-3)/w). Is s at least m?
True
Suppose 3*x = -2*g + 34, g - 58 = -5*x - 2*g. Let q(t) = t - 57*t - 25 + 4*t**2 + 16. Let w be q(x). Is -9 less than w?
False
Let n(b) = -6*b. Let g be n(-9). Is g equal to 163/3?
False
Let b be 10/(-12 - 760/(-64)). Which is smaller: -325/4 or b?
-325/4
Suppose 126 = 7*r + 2*r. Let f be (-37)/r + 14/(-28). Let x = -445 + 442. Are f and x unequal?
True
Let u = -302 - -196. Let m = u + 67. Let y = m + 35. Is 4/7 at least as big as y?
True
Let i = -8133 + 5165. Which is smaller: i or -2966?
i
Let p be 26/(-8) - (0 + -44)/11. Let n = -1715 - -1705.93. Let d = 0.07 + n. Is d > p?
False
Suppose 0 = 4*p - o + 1104 + 4041, -p - 1290 = o. Are -1288 and p nonequal?
True
Let y(b) = -b**3 - b - 1. Let z be y(-1). Let r be -11 + 483/49 - (-233)/112. Which is greater: r or z?
z
Let f = 4118 - 3605. Are -2/5 and f unequal?
True
Let j = 10.1 - 4.3. Let d = j - 6. Let g = 10994.2 - 10994. Which is smaller: d or g?
d
Let l be -120*-5*((-94)/(-30) - 3). Suppose -5*f + l = i, 0 = 6*i - 4*i + 3*f - 132. Does 62 = i?
False
Let l = -407713 - -165939324/407. Let s = 2/37 - l. Let x be (-30)/105 + 2/7. Is x <= s?
False
Let d(s) = -s**3 + 12*s**2 + 14. Suppose -6*l + 1 + 71 = 0. Let x be d(l). Which is smaller: x or 40/3?
40/3
Suppose 3*d - d = 10. Let f(t) = -t**3 + 4*t**2 + 4*t. Let i be f(d). Let w = 1579/2 - 795. Are i and w non-equal?
True
Suppose -4*o = -8, s - 3*o - 10 = -0*s. Let z = s - 3. Is 12 greater than z?
False
Suppose 6*g = -0*g + 18. Suppose -3*i + 11 = -g*d + i, 0 = d + 2*i - 3. Which is greater: d or 5/106?
5/106
Suppose -1479 = -p + 7501. Is p at least 8982?
False
Suppose 0 = 5*s - 9*w + 7*w - 18, -5*s = 2*w - 2. Suppose -584 = s*n + 3*n - f, 8 = 2*f. Is -118 > n?
False
Let v be 1/((-18)/(-2438)) - -1. Suppose -25 - 519 = -4*c - 5*z, 4*z + 272 = 2*c. Let q = v - c. Is q less than 1?
True
Let o = 331455 - 8275002/25. Let a = o + -455. Let c = -85/273 + 1/39. Is c less than or equal to a?
True
Let s = -1533 - -1527. Let t be (-9)/18 + 18/4. Let u be (-4*t)/4 - -1. Which is bigger: u or s?
u
Let p be 190/12 - (-1)/(-3). Let i(c) = c**2 - 53*c - 96. Let k be i(45). Let o = k - -473. Which is smaller: p or o?
p
Suppose -4*u = -2*a + 6*a + 36, 3*u - 12 = 0. Let x be (-1 + 2)*(a + -16). Let l be (-272)/9 + 6/27. Are x and l unequal?
True
Let o be (-5)/2 + 78/52. Let g = -7853/3485 - -64/205. Is g equal to o?
False
Suppose -18*j = -a - 21*j - 3, -3*j = -a - 21. Let u = 0.01 + -0.04. Which is greater: a or u?
u
Suppose 7*q - 15 = 2*q. Suppose r = 4*d + 7, q*r + 130 = 8*r - d. Suppose 5*j - 3*o = r, 0 = -2*j - 5*o + 6 + 11. Is 7 > j?
True
Let a(f) = -f**2 - 28*f. Let k be a(0). Which is greater: -30 or k?
k
Let f = 444 - 440. Let z(i) = i**3 + 11*i**2 + 9*i - 4. Let l be z(-9). Let a be (-6)/(-33) - 25/l. Which is smaller: f or a?
a
Let g = -551.84 + -13.66. Let p = g - -566. Is p greater than or equal to -2/9?
True
Let l = 66.04 + -66. Let t(j) = j**3 - 5*j**2 + 2*j**2 + j**2 + 0*j**2. Let b be t(1). Which is greater: b or l?
l
Let o be 21/(-17 + 10) - -2733. Is o greater than 8186/3?
True
Let o(l) = 17 + 3*l - 18 + 4. Let x be o(-3). Let q(z) = z**2 + 8*z + 14. Let m be q(x). Are m and -1 unequal?
True
Suppose -2*z + 5*z = 6. Let c be (89/(-2))/(75/50)*3/(-1). Suppose -21 = z*i + c. Do -55 and i have the same value?
True
Suppose -2*w + 42 = -w. Let z be 18*((-12)/28 + (-388)/w). Which is smaller: -175 or z?
-175
Let p = 2 - -3. Suppose -p*l + 5*c = 0, 3*l = -2*l + c - 8. Let s be ((-8)/(-26) + 0)*13. Do s and l have different values?
True
Suppose 0 = -23*u + 7*u - 10*u. Is u at most -1/1776?
False
Let c = -2 + 2.1. Let o = -253 - -269. Let q = o - 112. Is c greater than q?
True
Let g = -0.91 + -10.09. Let f = 0.318 + 0.282. Are f and g non-equal?
True
Let t = -11 - 2. Let n = -3.61 + -161.39. Let a = 165 + n. Which is smaller: t or a?
t
Suppose 9*u + 20 = 14*u. Suppose -520*q - u = -516*q. Is q at least as big as 2/275?
False
Let p be (-1983)/(-15) - (-6)/(-30) - 5. Suppose 35 = -18*d - p. Is -9 >= d?
True
Let f = 4.6756 + 0.3244. Which is smaller: f or 0.054?
0.054
Let o be -1*9*(-126)/(-756). Let q = 27.6 - 28. Is o at most as big as q?
True
Let d = 31 + -104. Let s = 56 + d. Let r = s + 18. Which is smaller: -19 or r?
-19
Let f be ((-1)/6)/((-1)/(-2)). Let i = 282 + -286.06. Let o = i + 3.93. Is o at most as big as f?
False
Let z = -7/27 + -49/54. Let b = 15 - 58. Let n = -44 - b. Do n and z have the same value?
False
Let j be (3 - (-3)/6) + (-6)/4. Suppose 39 = 2*d - 5*v + 14, -10 = -5*d + 2*v. Suppose j*l + 2*f = -2*l, 4*l - 2*f = d. Is l at least 1/24?
False
Let c be -6 + 4 + (2 - -7). Let r be 47/5 + (12/30)/(-1). Suppose 13 = r*q - 14. Does q = c?
False
Let y be 6 + (-136)/(-4) + -4. Let q be y/(-54) - 632/(-966). Which is smaller: -0.3 or q?
-0.3
Suppose 0 = 5*t + 10. Let j(o) = 2*o - 56. Let m be j(29). Let i be ((-16)/(-13))/(m/(-3)). Do i and t have different values?
True
Let z = 436 + -431. Let a be (z/(-3855))/(1/6). Is a equal to 1?
False
Let r = 2952 + -2952. Which is bigger: 6914 or r?
6914
Suppose 29*f = 26*f. Suppose f = 5*d + 5*t - 5, -3*t - t = -d - 9. Let o be d/4*0 - (1 - 0). Which is bigger: o or 8?
8
Suppose -3680 = -3*f - 5*g + 5126, 2*g = -f + 2936. Let b be 0/3 + f/(-960). Let t = 7/48 - b. Which is greater: t or 4?
4
Suppose 4*s - 5*f = 21, 19 = -6*s + 2*s - 3*f. Let z be 12 + ((-3264)/156 - -9). Which is bigger: s or z?
z
Let r = 0.119 + 0.041. Which is bigger: r or 26?
26
Let u = -30.9 - -199.9. Let p = u + -165. Is 12 < p?
False
Let t be 1/(-4) + 2/6. Let g be 0/(9 + (-19 - -2)). Which is greater: g or t?
t
Let f = -0.8 - 0. Let b = -0.9 - f. Let s = 1/15791 - -15761/473730. Which is smaller: b or s?
b
Let n = -1689 - -1739. Let j = 58 - 110. Let k = n + j. Is k smaller than -2/7?
True
Let t(m) = 24*m**2 + m - 1. Let q be t(2). Let s be ((-1)/3)/(-27 - (-79926)/2961). Suppose u + s = 2*o - 20, 3*o + 2*u - q = 0. Which is smaller: 34 or o?
o
Suppose l = 5*q, -4*l = -l + 4*q. Suppose -5*a + 4*a = l. Let s be -55*(-11)/55 + (-404)/40. Is a > s?
False
Let t = 4840 + -4614. Is t less than 223?
False
Suppose -4*i = -12, 105 - 28 = -u - 2*i. Let b be -22 + 20 - u/5. Is 14 not equal to b?
True
Let k = 25.102 + -25. Let v = k - -3.018. Let t = v - 0.12. Which is smaller: 1 or t?
1
Suppose -w + 553 = -5*l - 0*l