e
Let m = -124.597 + -0.103. Let x = m + 125. Is -2.4 equal to x?
False
Let u(o) = o + 18. Let p be 1/2 - 175/14. Let g be u(p). Is g greater than 5?
True
Suppose -7*s = -3072 + 643. Is s at most as big as 348?
True
Let c(g) = 162*g + 2. Let o be c(-1). Let x be (-168)/o*(2 - -2). Which is smaller: x or -0.1?
-0.1
Let r = -10.35 + 0.35. Which is bigger: r or -3/7?
-3/7
Let g = 19.3 + -12.4. Let b = -5.9 + g. Which is smaller: b or -51?
-51
Let p = -164 + 162. Is 12 less than or equal to p?
False
Let u be (18 - 17) + (-127)/(-3) + -2. Is u not equal to 42?
True
Let c(y) = y**3 + 16*y**2 - 31*y + 25. Let o be c(-18). Which is bigger: o or -66?
o
Let c = 43.6 - 44.6. Is -6 not equal to c?
True
Let w(c) = -2*c**2 - 12*c**3 + 2 + 0*c**3 + 17 - 18. Let b be w(-1). Which is bigger: b or 8?
b
Let f be (0 + 2)*5/((-240)/(-46)). Let z = -97/60 + f. Which is smaller: 1 or z?
z
Let g be 782/(-2397) + (-2)/(-6). Which is bigger: -1 or g?
g
Let r = 2/7525 - 52811/511700. Is r equal to -1?
False
Suppose -2*k = -o - 71, 0 = -o - o - 3*k - 177. Let l = -43 - o. Which is smaller: l or 37?
37
Let h be (4/(-22))/(-4 + 2). Let r be ((-26)/(-208))/(1 - (-10)/(-8)). Is h at least as big as r?
True
Suppose 2*o - 3*h + 7*h = -246, 3*h = 2*o + 267. Let a = o + 1679/13. Let j be (-3)/6*1*-2. Which is greater: j or a?
j
Let p be 2 - (-12)/(-8)*2. Suppose 0 = 3*o + 4*s + 124, -5*o - 201 = s - 0*s. Let w be 2 + (116/o - p). Which is smaller: -1 or w?
-1
Let k(l) = -5*l - 46. Let q(m) = 15*m + 138. Let d(u) = 11*k(u) + 4*q(u). Let w be d(-9). Let y be (-2 - -1) + 6/5. Which is smaller: y or w?
y
Let d = 23 - 12. Let q = 0.076 - 9.076. Let j = q + d. Is j less than or equal to -2?
False
Let c(m) = -24*m**2 + 9*m + 2. Let d be c(1). Which is greater: -252/19 or d?
d
Let u = 965 - 965. Is -2/777 not equal to u?
True
Suppose -5*f + 2*t - 5 = 9, 5*t - 12 = f. Let d be f/(-134)*(-9 - -7). Is d < -1?
False
Suppose 3*a = 2*s - 751, -2*s - 2*a + 481 + 245 = 0. Is 368 != s?
False
Let c be 519/(-865)*3*(-8)/(-18). Let w = -1 - -1. Is c smaller than w?
True
Let p(g) = -g**3 - 5*g**2 - 4*g + 2. Let z be p(-4). Suppose 2*c + 0 - 2 = 0. Let a be ((-3)/(-4))/(9*c/16). Which is smaller: z or a?
a
Let m(g) = -21*g - 1. Suppose -5*p + 0*p = -10, -2*s + p = 4. Let a be m(s). Suppose -a = -3*k - k. Which is smaller: 4 or k?
4
Let o(r) = -2*r**2 - 2*r + 7. Suppose -24 + 4 = 5*s. Let y be o(s). Let v(h) = h**3 + 18*h**2 + 17*h + 1. Let i be v(y). Is 7/3 < i?
False
Let h be (555/2)/((-1)/(-4)). Let a = 18862/17 - h. Let z = a - -58/51. Is 2 less than or equal to z?
False
Let z = -640 + 642. Let f = -2 + 6. Is f less than z?
False
Let u be 38*2*(-5)/(-4). Suppose 13*k - 468 = 8*k + f, 4*k - 3*f - 370 = 0. Is u < k?
False
Let v = 7774 + -2262236/291. Let z be (-4)/(-2) + 1 + -2. Which is smaller: v or z?
v
Suppose 117*h - 124*h - 6916 = 0. Is -2/9 > h?
True
Suppose 0 = 2*w - 21 + 1. Let j be (w/25)/((-8)/(-10)). Is 0.25 less than j?
True
Let k be -6*(2 - 68/36). Which is smaller: k or 0.289?
k
Let q = 14 + -21. Let k = -20 - -14. Let x = q - k. Which is smaller: x or 0.05?
x
Let h = -1.42 + -0.08. Let b = 0.1 - h. Let k = b + -1.5. Is k bigger than -4/11?
True
Suppose z - 2*z + 3 = 0. Let m be ((30/4)/5)/((-10)/(-20)). Let f = z - m. Which is smaller: f or 2?
f
Let n = 16.98 + -17. Let h = -40.1 + 42. Let b = 0.1 + h. Are b and n non-equal?
True
Let o be 0/(-1) - 36/24. Let x(u) = -7*u + 16. Let m(a) = 15*a - 33. Let v(g) = 6*m(g) + 13*x(g). Let i be v(11). Which is smaller: i or o?
o
Let u = -81 + 96. Let k(w) = w**3 - 17*w**2 + 30*w - 21. Let s be k(u). Which is smaller: s or -23?
-23
Let y(s) = 2*s**3 + 15*s**2 - 10*s - 6. Let d be y(-4). Is d greater than or equal to 143?
True
Let l = 124 + -118. Suppose -s + 3*o = -l, 4*o = s - 0*o - 9. Let d be (-1 - -1)*3/(-6). Which is greater: s or d?
d
Let l = -2.94 + -8.56. Is -1/2 at least as big as l?
True
Let n = -35/24 - -13/8. Let z be (65/10)/((-2)/(-4)). Suppose 12*y = z*y. Is n less than y?
False
Let q = 36 + -35. Is -16/53 bigger than q?
False
Let f = -2454 - -2248. Which is smaller: -204 or f?
f
Let f = 8 + -10. Is f > -21/20?
False
Let l be (0 + 1)*(1 + 4). Suppose 0 = -l*v + q + 24, -v + 3*q = 2*v - 12. Let r be (-60)/(-12) + 7 + 5*-1. Which is smaller: r or v?
v
Let x(k) = k**3 + 4*k**2 + 3*k - 1. Suppose -4*d - 14 = -2. Let g be x(d). Let b be 2/(-4) - g/2. Is b != -2/49?
True
Let k = -7107 + 7090. Let t = -9 + 6. Is k less than t?
True
Suppose -6*w + 7*w = 2*w. Let z(c) = c**3 - c**2 - c - 3. Let b be z(w). Is b less than or equal to -3?
True
Suppose 7*g - 16 = 3*g. Suppose 24 = 6*n - g*n. Let l = 9 - n. Which is smaller: -4 or l?
-4
Let a be ((-18)/600)/((-3)/(-122)). Let o = a + 4/75. Let j be (64/(-96))/(4/6). Which is greater: o or j?
j
Let c(f) = -f**2 - 56*f + 257. Let u be c(-60). Let l be (34/(-4))/(1/(-2)). Is l >= u?
True
Let b be ((-63)/(-2))/(2 - -1). Let j = 11 - b. Which is bigger: -1/15 or j?
j
Let n = -0.33 - -0.33. Let u = 1 - n. Is 0.35 at most as big as u?
True
Suppose 0 = -59*p + 66*p + 35. Which is smaller: p or 7/2?
p
Let g(v) = -v**2 - 7*v - 6. Let y be g(-4). Let j be 14/y - (-14)/21. Suppose -5*f - 5 = -3*u + 1, -j*f = 3*u + 18. Which is smaller: 0 or f?
f
Let h be 5/(-26)*(7/(-35) + 0). Do 0 and h have different values?
True
Let j = -20 + 21.1. Let p = 23 - 19. Let a be ((-3)/14)/(3/p). Is a bigger than j?
False
Let k = -13/14 - 18/7. Let u(m) = m**3 + 5*m**2 - 5*m - 9. Let y be u(-6). Let c be 2/(-8) - y/(-4). Which is smaller: k or c?
c
Let a be 6/(-9)*(-57)/2. Let r = -13 + a. Suppose -3*y = -5*y + b - r, 3*b + 10 = -y. Which is smaller: y or -6?
-6
Suppose -147*h = -124*h + 23. Is h less than 79?
True
Let b(k) = 5*k + 30. Let f be b(-6). Which is smaller: 0.6 or f?
f
Let m be -3 + 4/((-208)/(-25908)). Let b = 495 - m. Let g(n) = n - 4. Let v be g(3). Which is smaller: v or b?
v
Let o = -9 - -5. Let t = 2 + o. Let d = -0.369 + -0.031. Which is smaller: t or d?
t
Let z = -61 + 68. Let n be 2952/(-126) + 3/z. Is n < -24?
False
Let t = -14817 - -118315/8. Which is smaller: -27 or t?
t
Let a = -102826 - -516227/5. Let l = 418 - a. Is 0 >= l?
True
Let i be (-4)/(-6)*-3 + 5/2. Is -71 at least i?
False
Suppose 7*b = 17 - 3. Suppose 4 = -4*r + b*q, 2 = -4*r + 3*q - 2. Is -1/6 equal to r?
False
Let t(o) = -8*o + 267. Let x be t(0). Let d = x + -160. Which is bigger: d or 108?
108
Let o = 220 - 175. Which is greater: o or 44?
o
Let d(t) = -t**3 - 6*t**2 - 6*t - 1. Let n be d(-5). Let y be (70/n)/(-5)*-10. Is y <= 35?
True
Let q(z) = z**2 + 4*z + 10. Let r be q(7). Suppose -r = -9*v + 84. Is v at most as big as 20?
True
Let z be (4804/(-30))/(16/(-36)*111). Let k = z - 33/10. Which is greater: 1 or k?
1
Let k be (-40)/(-10) + (-292)/33 + 5. Which is smaller: -2 or k?
-2
Let p(o) = -142*o + 86. Let h be p(3). Which is greater: h or -339?
-339
Let u(i) = 3*i**2 - 9*i + 18. Let l be u(4). Are 30 and l non-equal?
False
Let f = -19 + 22. Let a be ((-1)/f)/((-5)/30). Suppose -2*j + 9 + a = s, 25 = 5*j. Is s not equal to 10/9?
True
Let w be (-4)/(-108)*-34 + 6/9. Which is bigger: -2 or w?
w
Let c = -2.5 - 1.3. Let t = -3.5 - c. Is t greater than 1/4?
True
Let p = -1409 - -1408.94. Let h be (-6)/9 + 16/6. Which is smaller: h or p?
p
Let h = 0.4 + -3.1. Let i = -2.8 - h. Suppose d - 4 - 9 = -3*t, 0 = -4*t - 3*d + 19. Are i and t unequal?
True
Let d = -41.8 + 41.7332. Are d and 0.1 non-equal?
True
Let k be (-7)/(-21)*(-3)/4. Suppose 5*s + 4*l + 36 = 3*l, 3*s + 16 = -2*l. Let y(m) = -m**2 - 9*m - 8. Let p be y(s). Are k and p equal?
False
Suppose -74546 = -39*t - 25484. Are t and 1259 nonequal?
True
Let l = -2 - -2.2. Let a = 44 - 47. Let p be (-120)/28 + (-12)/a. Is p < l?
True
Suppose -g + 5*n = 4, 0 = 5*g + 4*n + 3 - 12. Suppose h - g + 2 = 0, 8 = 3*b - 2*h. Suppose 5*l - b*o - 2*o = -20, -3*o + 15 = 4*l. Is 8/9 equal to l?
False
Let z be (-10 + 30)/(2/(-2)). Let u be z/15*81/(-6). Let v = u - 19. Is -2 equal to v?
False
Let t be 2/5 + (-11)/(-10). Suppose -z + 68 = 16*z. Let r be 7 + (-3)/1 + (2 - z). Is r at least t?
True
Let s = -6 + 5. Suppose g + 2 = -2. Let m = 1 + g. Which is greater: m or s?
s
Suppose 0 = w - 2*a + 3*a - 7, 0 = -5*a. Suppose -w + 32 = -5*m. Which is smaller: m or -4?
m
Let s be 8/36 - 6/(-432)*326. Is