 c or -0.4?
c
Let i(r) = -r + 6. Let q be i(5). Let n be 31/(-4)*(-3 + -1). Let t = n + -123/4. Do t and q have the same value?
False
Suppose 9 = -3*o - 0*o. Suppose k + 27 = 2*k. Suppose 5*m + 0*m + 41 = -4*h, 3*h + 3*m = -k. Which is smaller: h or o?
h
Let y be (-20)/(-6)*(-15)/10. Which is smaller: -2 or y?
y
Suppose 0 = k - 2*r - 9, k + 3*r + 2 = -9. Let y be (-2)/k - 4/2. Let f be (-1 - -2)*y/26. Which is smaller: f or 1?
f
Let k(r) = 3*r - 2. Let d be k(-2). Let j = -10 - d. Is j at most as big as -1?
True
Suppose 4*s = 3*y + y, 2*s = -2*y. Which is bigger: s or -2/79?
s
Suppose 2*r - 4 = 2*i - 3*i, r - 2*i + 8 = 0. Which is smaller: r or -8/13?
-8/13
Let r be ((-72)/(-21) + -2)*7. Let m = 12 - r. Is 1 less than or equal to m?
True
Let p = -0.07 - 3.93. Do 3 and p have different values?
True
Let s(h) = 2*h - 5. Let b be s(4). Suppose p + b*p = 4. Let t = -19 + 24. Is p not equal to t?
True
Let b be (1 - 2)/((994/6)/7). Is b != 0?
True
Let k be 9/(-12)*24/(-2). Let f(v) = 5*v**2 - 25*v - 12. Let w(c) = -c**2 + 6*c + 3. Let t(j) = k*w(j) + 2*f(j). Let s be t(-2). Is s at most -2?
False
Let d be (-6)/(36 + -6)*1. Let p(f) = -f**2 + f. Let t be p(-1). Let v be -1 + t*1/(-2). Is v < d?
False
Let f be 0 - (-2)/(-12) - -1. Suppose 0 = -7*p - 0 - 0. Is f not equal to p?
True
Suppose 0 = -2*s + 4*s. Let r = -1 - s. Which is smaller: r or -2/19?
r
Let a(k) = k**3 + 5*k**2 - 6*k + 5. Suppose -5*t - 10 - 20 = 0. Let c be a(t). Suppose r + 5*s - 18 = 2, 2*r + c*s - 20 = 0. Which is smaller: r or 1/3?
r
Let h(m) = m**2 - m - 1. Let l(d) = 5*d**2 - 4*d - 4. Let j(u) = -4*h(u) + l(u). Let k be j(-2). Suppose b - k*b - 9 = 0. Are b and -2 non-equal?
True
Let o = 43 - 42.8. Let z = 0.9 - -0.1. Let l = 0.9 - z. Is o not equal to l?
True
Let r = 5 - 1. Let d = r - 3. Which is bigger: d or -0.3?
d
Let g be (2/3)/((-8)/(-228)). Are 0 and g equal?
False
Let l = -12.3 - -12. Is -2/5 at least as big as l?
False
Let h = 2.5 - 2.4. Are h and -1/2 non-equal?
True
Let p = -64 + 62. Is p less than -3?
False
Let h = -4.06 + 0.06. Let t = 63/5 + -577/45. Which is bigger: h or t?
t
Suppose -9 = -u - 7. Let q(n) = -n + 4. Let a be q(-4). Suppose -u - a = -5*z. Is 2 equal to z?
True
Let w be 14/6 - 4 - 4. Is w > -7?
True
Let t = 0.7 + -1.7. Let r = t + 0.4. Are -1 and r non-equal?
True
Let z = 134 - 940/7. Let h be 1 - (-2 - (-1 - -1)). Suppose -h*c = 2*c - 25, -2*u - 5*c = -23. Is z at least u?
True
Suppose 0 = 2*s + 5*l + 21, -2*s - 5*l - 19 = s. Suppose 2*a + n + s = -2, n = 3*a - 4. Suppose q + 3 - 5 = a. Is 2 at most q?
True
Suppose 25 = -2*x - 35. Let a be (-7 + 1)/(70/x). Let u = -83/35 + a. Which is greater: -0.1 or u?
u
Let b be 0 + (-31 + 4)/1. Is b greater than or equal to -26?
False
Suppose -3*g - 7 = -2*g. Let h(k) = 2*k + 8. Let l be h(g). Which is greater: 1 or l?
1
Let b be ((-10)/(-3))/(4/12). Do 11 and b have different values?
True
Let p = 17 + -49/3. Let d(q) = q**3 - q + 5. Let s be d(0). Is p greater than s?
False
Suppose -3*i = 4*b - 6, -8 = -5*b - 3*i + 1. Suppose -b + 2 = t. Let y(l) = l**2 - 4*l + 1. Let w be y(3). Is w bigger than t?
False
Let s = 1.01 - 0.81. Which is bigger: s or 8?
8
Suppose 0 = 4*q - 3 - 9. Suppose q*u = d + 1098, -3*u + d + 731 = -u. Let p = -6241/17 + u. Do p and 1 have the same value?
False
Let a = 3 - 2. Suppose v + u = -2*u - 9, -v + u = a. Let d = -2 - 1. Are v and d nonequal?
False
Let p = 170/9 + 29/18. Is p <= 20?
False
Let m = 2 + -3. Let n = 84 + 144. Let s = 2506/11 - n. Which is smaller: m or s?
m
Let t = 0.5 + 0.5. Let i = t + 1. Which is bigger: -1 or i?
i
Let y = 0.89 + 0.11. Let m = 0.98 - y. Which is greater: m or 2?
2
Let w be (2/(-1) - -5) + -2. Let g be 1*(1/(-6))/w. Suppose 0 = 2*p - 2. Which is smaller: p or g?
g
Let s = 5 - 7. Let i be (-7)/2 + 1/s. Let y(n) = n**2 + 4*n - 4. Let d be y(i). Is -4 bigger than d?
False
Let a = -7.6 - -0.6. Which is smaller: a or 0.2?
a
Let h = 3/4 + -229/284. Let p = -331/426 + h. Let o be 60/75 - (-70)/(-25). Is p less than o?
False
Let w be ((-1)/5)/(12/15). Is w > -3/4?
True
Let g = -58 - -26. Is -31 not equal to g?
True
Suppose 4*l - d - 60 = 0, 0*l - 2*d = 3*l - 45. Suppose r + l = 6*r. Let h = 4 + -2. Which is smaller: r or h?
h
Suppose 4*l - 48 = 5*p - 189, -2*l + 2*p = 68. Which is smaller: 1 or l?
l
Let a be (-86)/(-154) - (-4)/(-14). Which is smaller: a or -1?
-1
Let n be 11/(-12) - (-4)/6. Suppose -9*d + 12*d = 3. Which is smaller: n or d?
n
Let r = 78.9 - 72. Let n = 7 - r. Is n not equal to 2/9?
True
Let r = -37 + 68. Is 31 >= r?
True
Let m = 1175/17 - 69. Do 0.3 and m have the same value?
False
Let i = -66 - -74. Is 26/3 bigger than i?
True
Let h(m) = 8*m - 1. Let p be h(1). Let x(g) = 7 - 2 + 6*g + 5 - 3 - g**2. Let z be x(p). Are -1 and z nonequal?
True
Let h = 0.06 + 0.04. Is h < -2/11?
False
Suppose -3 = -5*l + 12. Let a be 2*1/(2/l). Is 3 < a?
False
Let f = -30 - -30. Is -1/3 at least as big as f?
False
Let y be -1*(-25)/(-20)*(-6)/(-15). Do y and 3/4 have different values?
True
Let a be ((-9549)/3003)/1 + 3. Let v = -2/77 - a. Suppose 0 = -5*s + 2*s. Which is greater: s or v?
v
Suppose -r = 3*r - 16. Suppose -5*u = k - 13, r*k + 0*u - 2*u + 14 = 0. Let o = k + -3. Is -7/2 <= o?
False
Let p(k) = -k**3 - 7*k**2 - 10. Let h be p(-7). Let n be 2/h - (-55)/25. Suppose 0 = n*c + 8, 2*c + 40 = 4*x. Are 0 and x nonequal?
True
Suppose 27 = 2*o + o. Let q be 10 - o - 6/2. Does q = -2?
True
Let u = 0.8 + 0.7. Let f = u - 0.5. Which is greater: f or -3?
f
Let i = 9 - 5. Let h be ((-35)/15)/(4/(-6)). Let u = h + -4. Are i and u equal?
False
Let m = 44 + -45. Is m greater than or equal to 8/19?
False
Let s = 34 + -34. Which is greater: 1/3 or s?
1/3
Let f(z) = -z**3 + 6*z**2 - 6*z + 4. Let u be f(5). Which is bigger: u or 1/13?
1/13
Let a = -21.39 + 21. Let l = a + 0.09. Is l not equal to -3?
True
Let i = 19.3 - 18. Let a = -6 - -6.3. Let v = i - a. Which is smaller: v or -1/2?
-1/2
Let b = -7884424/323 - -24410. Let l = b - -3/19. Which is smaller: 1 or l?
l
Let b = -2.94 + -0.06. Let o = b + 2.9. Let f = 0.2 + o. Which is smaller: f or -1/3?
-1/3
Let c = -0.4 - -0.34. Let n = 1.94 - c. Let y = n + -3. Do y and 0 have the same value?
False
Let f = 148 + -129. Which is smaller: f or 20?
f
Let i = -25/17 - -659/425. Which is smaller: i or 1?
i
Suppose -8*b = -3*b - 35. Let o = 9 - b. Do 13/4 and o have the same value?
False
Let r = -15 - -14. Let p be (-1)/(r + 36/39). Is p > 13?
False
Let l = -28 - -29. Which is smaller: 1/12 or l?
1/12
Let d(n) = -n**2 + 6*n + 4. Let g be d(6). Suppose 5*i = 2*h + 6, 3*h + g - 2 = 4*i. Which is smaller: -1/4 or i?
-1/4
Let x = -14/9 - -73/45. Suppose 0 = -4*n + 2*n. Suppose -2*i + 2 + 0 = n. Which is smaller: x or i?
x
Let o(c) = c**3 + 4*c**2 - 2*c - 5. Let d be o(-4). Let g be (12/(-9)*-3)/(-1). Let q = g + d. Is q <= -1/5?
True
Suppose -30 = 2*y - 5*y. Suppose 5*c = -15 - y. Are c and -5 non-equal?
False
Suppose 0 = w + w - 8. Let h be (w/(-10))/((-6)/25). Is h bigger than 2?
False
Let l(v) = 2*v - 4. Let d(j) = j - 4. Let x be d(7). Let n be l(x). Suppose -2*w + n = -2*m, m + 0*m + 7 = 3*w. Which is greater: w or 4?
4
Let p = -1.2 - -1.15. Let j = -0.25 - p. Let r = -1 - -1. Is r at least as big as j?
True
Suppose -o = 3*g + 7, g + 0*o + 2*o + 9 = 0. Which is bigger: g or 3/16?
3/16
Let v = -0.8 - 9.2. Let k be 0/(-1*(-1 + 2 - -1)). Is v bigger than k?
False
Suppose 6*d - 10 = 50. Suppose -3*a = -32 + 5. Which is smaller: a or d?
a
Let l = 18 + -21. Let b be 4/(l - 36/(-4)). Is b <= 0?
False
Let c be -8 + (3/(-3) - -1). Let h be 6/c - (-9)/12. Which is bigger: 3/7 or h?
3/7
Suppose 0 = -5*p - 2*c + 55 - 20, -2*c = 10. Let z be 6/(-4) - (-12)/8. Do p and z have the same value?
False
Let c be (-4)/14 + (-13)/(-21). Let p = 3.3 - -0.7. Let n = p - 3. Is c >= n?
False
Let f = 1.28 + 3.2. Let t = f + -5.4. Let k = t + -0.08. Is k greater than 0.01?
False
Let a be -2 - 0*2/(-4). Suppose -5*i + 0 + 10 = 0. Suppose -3*u = 4*x + 6, -u - 2 = -i*x + 3*x. Does u = a?
True
Suppose n + 65 = 6*n. Let j = n - 11. Which is greater: j or 3/4?
j
Let j = -0.49 + -22.51. Let m = j - -22.1. Let l = 0.1 - m. Is l less than or equal to 2?
True
Suppose -10 = 2*m + 3*m. Let u be -2 + (m/1 - -3). Which is smaller: 0.1 or u?
u
Let d(t) = t**2 - 24*t