e ((-1)/(-2))/1*-2. Let q be -2*2*(-3)/(-30). Are w and q non-equal?
True
Let z(m) = 2*m - 13. Let r be z(11). Let g = r - 13. Let a(f) = 4*f. Let k be a(-1). Does k = g?
True
Suppose -3*s - 5*f = -3*f - 13, -27 = -5*s + 2*f. Suppose -4*z = -2*q - 18, -q - 4*z + 16 = -s*q. Which is smaller: q or 2/15?
2/15
Let f = 535/12 - 136/3. Is f >= -5?
True
Suppose s = 6*s. Is s > -1/2?
True
Let p be 3 + (-6)/((-3510)/(-1745)). Which is smaller: 0 or p?
0
Let f be 1*(-4 + 1) - -6. Let n(u) = u**3 + 3*u**2 - 7*u - 6. Let j be n(-4). Suppose -j = f*z - z. Are -3 and z equal?
True
Let j = 5/3 - 1. Which is smaller: j or 0.02?
0.02
Let p = -3.74 - -0.34. Let a = 0.4 + p. Let f = -1 - a. Is -1 <= f?
True
Let d be (0 - 3)/((-6)/45). Let p = d + -583/26. Which is greater: p or 1?
1
Suppose -3 = 3*o - 15. Let d be ((o/(-26))/1)/1. Is d greater than 0?
False
Let b = 2 + -8.5. Let h = b - -0.5. Are h and 2 unequal?
True
Let n be (4/2)/((-4)/(-6)). Suppose -1 - n = 4*j. Let r = -15 - -15. Is j equal to r?
False
Let b be 54/10 - (-12)/(-30). Let m be ((-4)/10)/((-8)/b). Which is greater: m or 6?
6
Suppose 0 = 2*m + 3*j, -3*m = -m - 3*j. Is 4 greater than or equal to m?
True
Let n = -27 - -29. Which is smaller: 4/7 or n?
4/7
Let l(t) = 4*t - 9. Let n be l(6). Let h be 5/(-1 - (-12)/9). Is n equal to h?
True
Let r = 128/341 - 6/31. Let g(o) = o**3 - 5*o**2 + 5*o - 4. Let t(z) = 4*z. Let u be t(1). Let b be g(u). Do b and r have the same value?
False
Suppose 20 - 15 = m. Which is smaller: -3 or m?
-3
Let z = -1 + 2. Let y = 11 + -11.6. Let u = 0.3 + y. Is u != z?
True
Let u = -77/205 - 1/41. Suppose 3*v + 19 = -4*r, -2*r - r - 11 = -v. Let b = 3 - v. Which is greater: u or b?
b
Let k = 5 - -13. Suppose 2*x = 4*x + k. Let z = -5 - x. Is z bigger than 3?
True
Let b be (-364)/(-65)*(-2)/(-4). Is 4 at most b?
False
Suppose 0*l - 6 = -2*l. Suppose 0*o + 4*o + 3 = g, 2*g + 5 = -l*o. Is -6/7 > g?
True
Let r = 2 - 0. Suppose -t + 8 = t - 2*c, -r*t + 7 = -c. Suppose -1 = 2*j - t. Is j >= 0?
True
Let t(k) = -k**3 + 4*k**2 - 3*k + 2. Let c be t(3). Suppose -6 = -3*y - 5*s + c, -y - 4*s = -5. Suppose u - 5*u = -12. Which is smaller: y or u?
y
Suppose -4*h + 44 = -0*h. Is -1 <= h?
True
Suppose 4*v + 5 = -11. Let y be 3*-1 - 15/(-3). Let p be 3*((-44)/12 + y). Are p and v unequal?
True
Let u be 0/(-1) - (9 - 6). Is -3 > u?
False
Let b = -12392/35 + 354. Let j = -88/315 - b. Let t(k) = -k**2 - 3*k + 4. Let r be t(-4). Which is greater: j or r?
r
Let q = 3 - 5. Let s be (9/6 + q)/1. Which is smaller: s or -0.1?
s
Let v = -105 - -123. Is v >= 20?
False
Suppose 5*r + 61 = -2*h, 0*h - 5*h = 15. Is r smaller than -10?
True
Let g be ((-5)/20)/(4/(-16)). Which is smaller: 3/82 or g?
3/82
Let w = -31 - -32. Is 8/11 at least as big as w?
False
Let i(z) = 2*z**2 - 29*z + 14. Let t be i(13). Is t > -24?
False
Let q(j) = -j**2 + 5*j - 6. Let u(o) = 2*o**3 + 2*o**2 - o. Let v be u(1). Let d be q(v). Is d < -1/20?
False
Suppose -q - 6 = -5*q + 2*f, q = -f. Let l be (3/(-30))/(q/(-12)). Do l and 1 have the same value?
False
Suppose -2*c + 0*o = 4*o + 4, 2*c - 5*o - 5 = 0. Does c = 12?
False
Suppose n + 3*k - 5 = 0, -4 - 4 = -2*k. Let g be 6/(-4) - n/(-14). Is -3/2 >= g?
True
Let x = 83 + -78. Let y be (-37)/(-7) + 4/(-14). Is x at least y?
True
Suppose -5*x + 49 = -r - 7, 2*r = 8. Which is smaller: 11 or x?
11
Suppose -s + 0 = -1. Let t = -22.957 + -0.043. Let o = 22 + t. Which is greater: s or o?
s
Let f = 63 - 61. Which is greater: f or 9/4?
9/4
Suppose 0 = 3*q + q + o - 1, 2*q + o = -1. Which is smaller: q or 9?
q
Let d = -157 - -147. Let a(r) = r**3 - 7*r**2 + 4*r + 3. Let z be a(6). Is z != d?
True
Let j = -8 - -7. Which is smaller: 1/31 or j?
j
Let g be (6/(-108))/((-1)/4). Suppose 103*t - 101*t - 2 = 0. Is g greater than t?
False
Let b = 2 - 0. Let z(x) = -2 + 4*x**b - 2*x - 3*x**2 + x - x**3. Let d be z(0). Which is smaller: d or -3?
-3
Let d(r) = r**3 - 7*r**2 + 2. Let z be d(7). Suppose -c = -5*f + 14, -4*c + 4*f = -z*c + 10. Do 1/20 and c have different values?
True
Let b = -7 + 12. Suppose 3*x = 5*p - 83, x - b*x - 64 = 5*p. Let k be ((-8)/6)/((-7)/x). Which is bigger: k or -1?
-1
Let s = -33 + -26. Is -59 smaller than s?
False
Let x be (-5)/(-2 + 2 + -1). Suppose -22 = x*w + 18. Let a be 18/(-16) - w/8. Which is smaller: 0 or a?
a
Suppose -152 = 6*x + 268. Is -69 less than x?
False
Let i = -39 + 41. Are 5 and i equal?
False
Let p(j) = j**3 + 10*j**2 - 25*j - 10. Let m be p(-12). Which is greater: m or 11/21?
m
Let p(f) = f**2 + 1 + 2 - 4. Let x be p(-1). Let o be 1/(-9)*3*6. Are x and o nonequal?
True
Let i be (-4)/(-6) - (-58)/3. Is i at most 20?
True
Let y = -88 - -88. Is y < 8/15?
True
Let b = -42 - -102. Which is greater: b or 61?
61
Let o = 0.6 + -0.5. Let h = -4.54 - 0.46. Which is smaller: o or h?
h
Let c = 10 - 7. Let b = c - 4. Let q be (-30)/(-21) + -2 - b. Are 0 and q nonequal?
True
Let c = -32 + 31. Is c less than 2.2?
True
Let u be (-3)/150*(-472)/(-22). Let g = -28/55 - u. Which is smaller: 0 or g?
g
Let z = -28 - -30. Is 0.1 >= z?
False
Let v = 40 + -40.1. Is -0.12 at least v?
False
Let m = -0.04 - 4.96. Let k = -4.9 - m. Let r = -26 + 236/9. Are k and r non-equal?
True
Let h(q) = q**3 + 3*q**2 - 1. Let u(x) = -x - 8. Let m be u(-12). Suppose -m = -2*j - 10. Let z be h(j). Which is smaller: -1/6 or z?
z
Let a = 13 - 24. Suppose 32 = -4*p - 8. Is a equal to p?
False
Suppose 5*c - 38 + 13 = 0. Are 6 and c equal?
False
Let p be 3/(-9) + (-34)/6. Let y be (-6)/(-4)*p/9. Suppose -2*j = 3 - 1. Is j >= y?
True
Let y = -8 + 2. Let g be (-2)/y - 1/3. Is 3/5 > g?
True
Let t = 52 + -43.6. Which is greater: 1 or t?
t
Let f = 5.4 - 1.4. Is 1 less than or equal to f?
True
Let z(x) = -x**2 - 7*x - 3. Let w be z(-8). Which is greater: -13 or w?
w
Let v(l) = -l**2 + l + 3. Let a be v(0). Suppose -i - 12 = a*i. Let p = 5 + i. Which is bigger: 1 or p?
p
Let s = -106 + 190. Let z = -586/7 + s. Is z < -3?
False
Suppose 416*v - 415*v - 1 = 0. Let y be (-2)/(-10) - 8/(-20). Which is bigger: v or y?
v
Let f be (1 - 2)/(2/(-2)). Do 1 and f have the same value?
True
Let k = 30985 + -526601/17. Let y = k - 3278/391. Which is bigger: y or -1?
y
Let k = 109/2 + -55. Which is greater: -5 or k?
k
Suppose 26 - 182 = -4*l. Does l = 40?
False
Let v(q) = -q - 2. Let c be v(10). Let w be (3 - 0)/(c/8). Is w less than -2/3?
True
Let k be 0 + 1 + 4/(-4). Suppose -j + 4 - 2 = k. Suppose -j*m - m = 0. Is 2/7 >= m?
True
Let x = 22 + -21.9. Let w = -0.9 - x. Which is bigger: -1.2 or w?
w
Let f = -4.735 - -4.7. Which is bigger: f or 0.2?
0.2
Let l = 0.22 - -4.78. Does l = -0.03?
False
Let j = -17 - -16. Is 2/5 equal to j?
False
Let r = -0.6 - -0.2. Let k = r + 1.4. Suppose -2*h = 1 + 3. Is k at most as big as h?
False
Let q = -2/987 - -4612/2961. Do 1 and q have the same value?
False
Let z = -3/121 - 19/121. Does 0.1 = z?
False
Let f(p) = -5*p + 10. Let n be f(4). Let m be 4/n + (-16)/(-65). Is 0.2 <= m?
False
Suppose -4*g + 20 = -8*g. Is g smaller than 0?
True
Let w be (2/7)/((-39)/91). Let h = 1.1 - 0.1. Which is greater: w or h?
h
Let i = -128 + 1396/11. Which is greater: i or -1?
-1
Let p = -1.07 - -0.07. Let f = -35.5 + 36. Is p greater than or equal to f?
False
Suppose 61 = -4*h + b, -h - 2*h + 5*b - 50 = 0. Is -16 at most h?
True
Let g = -5.8 + 10.8. Which is smaller: 0.07 or g?
0.07
Let p(h) = -h**3 + 4*h**2 + 3*h. Let l be p(4). Is 12 smaller than l?
False
Let h(t) = -2*t + 27. Let q be h(19). Which is smaller: q or -10?
q
Let t = -52 - -52.05. Is t greater than or equal to -3?
True
Let t be (1 + -2)*(0 + -1). Suppose 4*w = -t - 3. Let o = -14 + 12. Which is smaller: o or w?
o
Suppose 4*g = 4*n - 13 - 7, -4*n = 3*g - 20. Suppose -455 = 4*u - 175. Let m be (-2)/5 - 58/u. Is m at most g?
False
Suppose 4*x + 24 = -2*r - 18, 2*r + 36 = -2*x. Let h be ((-18)/r)/(8/90). Let l = 13 - h. Is l <= 0?
True
Let c = -1813/10 - -181. Which is greater: 0 or c?
0
Let g be 72/(-30) - (-3 + 0). Which is bigger: g or 2?
2
Let w(u) = -u**2 + 6. Let i be w(3). Let g be (-2)/6 + (-82)/(-3). Let x be 1 + (i - (-60)/g). Is x greater than or equal to 0.1?
True
Let u be (-4)/2 + (1 - -2). Which is smaller: u or -2/7?
-2/7
Let h = -7 - -8. Which is smaller: -2/9 or h?
-2/9
Let p = 3 - 7/2. Let a = 4/19 + 41/76. Which is small