w. Let h = 259201/96990 + -651/265. Let a = h - 3/61. Is a != w?
True
Let k = 1.1 + -1. Let g = 228 + -2050/9. Do g and k have different values?
True
Suppose 2*k + 2*f + 4 = 0, -k - 4 - 2 = 5*f. Is -9/7 greater than k?
False
Suppose -4*x = -2*x - 2*l - 22, 4*x - 23 = -3*l. Which is smaller: 1 or x?
1
Let w = 150.94 + -147. Let d = 0.06 + w. Which is smaller: -0.1 or d?
-0.1
Let k = 49 - 42. Which is smaller: 2 or k?
2
Let y be 0 - 0 - (-15 - -15). Does 43 = y?
False
Let j = -10 - -10. Let a be -1*4 + (0 - j). Is 0.1 less than or equal to a?
False
Let v(q) = -q + 5. Let r be v(-6). Let n = r - 23. Let u be n/(-18)*3/13. Do -2/5 and u have the same value?
False
Let z = 10589/11 + -962. Which is bigger: 0 or z?
z
Let u = 2 - 2. Which is greater: u or -2/43?
u
Let g be (126/5)/(-7) - (-2)/(-5). Let r(f) = -1. Let w(y) = -y + 4. Let t(u) = -5*r(u) - w(u). Let c be t(g). Is -1 less than or equal to c?
False
Let a = 5 + -7. Let m be 5/(-4) + 2/8. Let o be 2/m*1/2. Is a equal to o?
False
Let a(w) = w**2 - w + 6. Let m be a(0). Is 5 at most m?
True
Let b be (6/(-1))/((-7)/(-49)). Let o be (-8)/b - (-5)/(-15). Is -1 equal to o?
False
Let z = -8 - -11. Let y = -7 + z. Let d be (-2 - y)/4*-2. Which is greater: d or 1?
1
Let g be ((-24)/(-80))/(1/2). Let p = -2 + 4. Which is greater: p or g?
p
Let t = 12 + -11. Let b = 0 + t. Is b greater than or equal to 8?
False
Let a = 18/341 - -4/31. Suppose 4*r + 8 = -4. Do a and r have the same value?
False
Suppose 0 = -8*c + 2*c - 84. Are -13 and c unequal?
True
Suppose -5*n = -6*i + 3*i - 28, 2*i + 27 = 5*n. Which is greater: 10 or i?
10
Let o(w) = -2*w**2 + 2*w - 1. Let f be o(1). Which is greater: 2/57 or f?
2/57
Let p = -0.021 + 3.021. Which is smaller: p or -0.7?
-0.7
Let j(g) = 2*g - 13. Let u be j(-5). Is u at least -23?
True
Let l = -16 - -25. Suppose j = -5*z - l, 3*j - 13 = 5*z + 5*j. Let s be (z - -1)/(-3 - -4). Which is smaller: s or 2/23?
s
Suppose -4*i - 4 = -6*i. Suppose 3 = 5*v - i. Which is bigger: 2/15 or v?
v
Let b = 11 - 3. Let n be (-145)/693 + b/36. Let z = n - 83/462. Which is smaller: z or 1?
z
Suppose 4*z + 4 = -4. Let r be (-2 - 155/(-38)) + z. Let c = -85/114 + r. Is -2 > c?
False
Let q = -0.09 - -0.08. Let u = q + 0.11. Is u at least -1/8?
True
Suppose -336 = 2*j - 40. Let u = 1632/11 + j. Which is bigger: u or 1?
1
Let p be -1*(1 + 0 - 7). Let c be (-2)/p*0 + 6. Suppose 3*h - 6 = c*h. Is -3 <= h?
True
Let f(m) be the second derivative of 0 + 1/6*m**3 - 2*m**2 + m. Let q be f(4). Is 0 <= q?
True
Let d = -4 - -4. Let m be d + -1 - 3/(-9). Which is greater: 5 or m?
5
Suppose c + 3*c + 4 = 0. Let q(f) = -f**2 - 4*f + 3. Let z be q(-5). Let b = c - z. Is b at most 0?
False
Let t be 6/12 + (-3)/2. Is t > -1/64?
False
Suppose -10 = -5*w + 2*m - 51, 0 = -2*w - m - 20. Is -7 smaller than w?
False
Let x be 3 - (1 - -1 - 0). Is x smaller than 2/3?
False
Let p be (-25)/10*2/(-5). Let l = 13 - 13. Is p != l?
True
Let s = 10.85 + -11. Which is smaller: 0 or s?
s
Let r = 7 + -16. Which is greater: r or -10?
r
Let n(v) = 4*v**3 + 3*v**2 + v - 1. Let w be n(-2). Is w at most as big as -23?
True
Let b = 50 - 51. Do -7/4 and b have different values?
True
Let a be -2 - ((-1)/1 - 5). Suppose u - a*r = 1, -5*u + 5*r + 2 = -3. Suppose -2*j = 5*i + 11, -4*j - 14 = 3*i + u. Which is smaller: i or 2/7?
i
Let g = 118 - 5. Let w = 334/3 - g. Is w >= -2?
True
Suppose 0 = -4*h + 3*h, -4*o - 2*h = 0. Let p be ((-2)/(-12))/(121/132). Which is bigger: p or o?
p
Let j = 157 - 106. Does 51 = j?
True
Let p be ((-11)/(-3))/((-40)/(-12)). Let k = 3/5 - p. Suppose 0 = -2*j - j - 3. Which is smaller: k or j?
j
Let o = -1/6 + 5/12. Let j = 9 - 17. Let g = -7.9 - j. Is g bigger than o?
False
Let f be (-2)/10 - 1914/30. Which is bigger: f or -65?
f
Suppose -2*v + f = 1, 4*v = 3*v + 5*f - 5. Which is bigger: v or 2/21?
2/21
Suppose -2*g - 6*g - 8 = 0. Is -1/22 <= g?
False
Let y be (3/(-9))/(1/(-6)). Let w = -2 + y. Is 2/7 equal to w?
False
Let x = 31 + -32.7. Is 0 at least x?
True
Suppose -14*r = -19*r - 35. Is r < -3?
True
Let g = 6 - -2. Let y be (g/6)/((-4)/18). Is -6 smaller than y?
False
Let f = -18 - -20.8. Let v = -3 + f. Is 3 <= v?
False
Let q be (-1076)/8 + (-2)/4. Let r be (-4)/10 - 6954/q. Let h = r + -51. Is 1 at least as big as h?
True
Let s(m) = m - 3. Let q be s(5). Let z be 6 - (q/(-2) - 0). Let p = 4 - z. Is p <= -3?
True
Let o = 88 + -89. Is o at least 16?
False
Let g = -28 + 29. Which is smaller: g or -19?
-19
Let f = 30509/54 + -565. Let n = f + 5/27. Let g be ((-9)/6 - -2)*2. Which is bigger: g or n?
g
Let b = 0.1 + -1.1. Which is smaller: -4/5 or b?
b
Let o = 102 - 104. Which is smaller: o or -1/2?
o
Suppose 0 = -2*t + 10, p - 5*t + 35 = 3*p. Are 5 and p unequal?
False
Let t(s) = -5*s**2 - 4 + s + 0*s + 6*s**3 - 5*s**3. Let q be t(5). Does -1 = q?
False
Let z = -2 - -2.1. Let t = 1.8 + -2. Let d = t + 2.2. Which is smaller: z or d?
z
Suppose r = t - 1, 3*t = -0*r - 2*r + 3. Is 2 at least t?
True
Let q = -53/2 - -28. Suppose -5*u = 5*x - 0*u + 5, 4*u - 4 = 0. Let f be (x - 18/15) + 3. Which is greater: f or q?
q
Let d = -12 + 12.1. Is -0.1 less than d?
True
Suppose 0 = -5*j + u + 9, 2*u + 3 = 2*j + u. Suppose 4*n + 14 + j = 0. Is n bigger than -10/3?
False
Let i(w) = w - 2. Let z be i(2). Suppose d - 19 = -z*d. Suppose 4*c - d = -7. Are c and 2 unequal?
True
Let u = 54 - 56.3. Let w = u + 0.3. Which is smaller: -1 or w?
w
Let z = 6 + -1. Let b(o) = -o**3. Let w(m) = -4*m**3 + 4*m**2 + 6*m - 5. Let k(d) = 3*b(d) - w(d). Let g be k(z). Which is greater: g or -1/3?
g
Let r = 6 + -4. Let z = -19 - -19. Let h = z - r. Is h >= -2?
True
Suppose 0 = v - 5, 2*p + 3 - 4 = -5*v. Let j = 26 - 39. Which is bigger: j or p?
p
Suppose -6*j + 9*j = -2691. Let d be -4 + 13/(j/(-270)). Is d <= 1?
True
Let r(k) = k**3 + 6*k**2 + 5*k - 1. Suppose -7 = 3*h - 2*u + 9, 2 = -h + 4*u. Let b = h + 1. Let i be r(b). Do i and -1 have the same value?
True
Let x = 19 - 2. Are x and 17 nonequal?
False
Let z(t) = 3 - 7*t + 4*t**2 - t - 3*t**2 + 1. Let w be z(6). Which is smaller: w or -6?
w
Let q be (-4)/(-18) - (-14)/18. Suppose 7 = -o + 4. Let d be (-1)/o - (-30)/18. Is d not equal to q?
True
Suppose -5*v + 2*w + 3 = 0, -5*w = 3 - 8. Which is smaller: -2/15 or v?
-2/15
Let x be 2 - ((0 - -12) + -3). Let b = -5 - x. Suppose 0 = b*u - 1 + 5. Is u smaller than -3?
False
Let u be (-43)/66 + 6/(-33). Suppose 0 = -45*b + 39*b. Is u greater than b?
False
Let y = 100 - 101. Which is bigger: 7/16 or y?
7/16
Let n be (-41)/33*18/(-7). Let q = -908/7 - -133. Let c = q - n. Which is bigger: c or -1?
c
Let m = 39980 - 200861/5. Let u = m - -193. Which is smaller: 0 or u?
0
Suppose 2*l - l - 3*z = 0, z = -2*l. Suppose 0 = -l*p - p. Which is smaller: 1 or p?
p
Let o be (-8)/(-20)*(-2 - 3). Let p be o/(32/(-20)) + -1. Is p > 0.1?
True
Suppose 19*p - 30 = 21*p. Which is bigger: p or -17?
p
Let f = -5 + 4.94. Let s = f - 0.04. Is s < 0.03?
True
Suppose -5*k = -k - i + 15, 9 = -5*k - 2*i. Let q be (-2)/3*k/2. Let t = -33 + 67/2. Which is smaller: q or t?
t
Let o = -22 + 11. Let m(z) = z**3 + 10*z**2 - 13*z - 14. Let t be m(o). Is t greater than or equal to 10?
False
Let o = -21 + 2. Which is bigger: -20 or o?
o
Let m = -13.4 + 3.4. Is -1 equal to m?
False
Suppose -3*v - 27 = -h, v - 2 = -5*h + 5. Does v = -31/4?
False
Let a(d) = 3*d - 7. Let u be a(0). Which is greater: u or -6?
-6
Let a be (0 + 0)*4/(-20). Which is smaller: a or 2/257?
a
Let d be (8/(-8))/(0 + 4). Which is greater: d or 0?
0
Let n = -20 - -23. Let i = -3 + 3.1. Is n greater than or equal to i?
True
Suppose -5*k = -2*a + 10, 4*a + 6 = 2*k - 5*k. Suppose -2*d = -3*j + 5*j + 14, d - 2*j = 2. Let z = d - -2. Is k less than or equal to z?
True
Suppose -4*i = -2*i - 6. Suppose -w - 2*n + 3*n - 85 = 0, -w - 85 = i*n. Let z be w/(-15) + 2/6. Which is smaller: z or 4?
4
Let b = 1 - 3. Let q be ((-6)/8)/1 - 0. Which is bigger: q or b?
q
Let l be (-3)/12 - (-3)/(-4). Let t be (-3137)/(-15) - (-1 - -1). Let x = 209 - t. Which is greater: x or l?
x
Let h = 0.1 + -0.2. Let u = -7.06 - -7. Let z = 0.14 - u. Which is greater: z or h?
z
Let g be ((-4)/(-14))/2*7. Suppose -2*i = -3*i - g. Is 2/13 < i?
False
Let a = -63 - -442/7. Which is smaller: 0 or a?
0
Let n = -4.2 - -4. Let f = n + 0.1. Let w = -0.4