False
Let v = 0.3 - 0.4. Is 0.8 equal to v?
False
Let n = -23 + 30. Is 8 less than n?
False
Let o = 142 + -140.5. Does -0.2 = o?
False
Let y(v) = -v - 6. Let j be y(-6). Suppose 0 = -h - 5 - 1. Let f be 9/(-15) + h/(-15). Which is greater: j or f?
j
Let k be (4/(-12))/(5/(-10)). Let g(z) = -z**2 - z. Let x be g(0). Do x and k have different values?
True
Let p = 33 + -38. Which is bigger: p or -6?
p
Suppose -2*v = -5*w + 10, -2*w - 2 = -0*v - 2*v. Let x be (-1 + -3)*(-2)/w. Let g(z) = 2*z**2 - 2*z - 2. Let y be g(x). Which is smaller: 1/2 or y?
1/2
Suppose 1 = y - 1. Suppose i + i - y = 0. Let n(a) = 2*a - 15. Let b be n(5). Is i != b?
True
Let m be (5/(-10))/(1/(-8)). Suppose p + 3 - m = 0. Is p less than 1/6?
False
Let i = -9.06 - -9. Let n = -2.94 + i. Is -1 at most n?
False
Let v be 2 + 5 + 3 + -6. Suppose -v*y + 9*y = 0. Are 0 and y unequal?
False
Suppose -6*u - 3*d = -2*u + 72, -4*u + 3*d = 72. Is u at least -18?
True
Let l(a) = -a + 4. Suppose -6 - 19 = -5*w. Let v be l(w). Which is smaller: -5/7 or v?
v
Let l be (-1 - -2)*1 - -1. Suppose 3*h = -t, -l*h - 3 = h + 2*t. Let s be (-1)/3*0/9. Is h smaller than s?
False
Let h = -3.4 - 10.6. Let l = h + 14.4. Which is bigger: 0.2 or l?
l
Let b = 0.1 - 0.2. Is 0.2 != b?
True
Let z = -1476/25 - -4397/75. Let v = 2/25 + z. Are -1/4 and v nonequal?
True
Let a = 1 + -1. Let m = -1.3 + -1.7. Which is smaller: a or m?
m
Let h = 0.01 - 6.01. Let n = h + 6.1. Is 3 >= n?
True
Suppose -3*z = 5*k + 10, 5*k + 20 = -z - 0*k. Suppose -z*h = -2*h + 3. Is -1 less than h?
False
Let t(v) = v**3 - 4*v**2 + v - 5. Let q be t(4). Let i = -4 - q. Let y = 1 + i. Which is bigger: 0 or y?
0
Suppose 0 = -2*u + 7*u + 5. Is u less than -3/58?
True
Suppose -3*b + q + 2 = 0, 5*b + q + 3 = 1. Suppose 5*n + 2*k - 17 = 0, -3*k = 2*k + 20. Let o be n/15*2/3. Which is smaller: b or o?
b
Let h = -1.5 + 0.5. Which is smaller: -2 or h?
-2
Let r = -2 + 0. Let s be 3/(-6) - 2/4. Let j be (-1)/s - 8/4. Which is smaller: r or j?
r
Let h be 0/3 + -2*10/(-22). Is h at least 0?
True
Let f = 23 + -22. Are f and 2/5 non-equal?
True
Let k(y) = -2*y + 8. Let d be k(4). Let i(w) = w**3 - w**2 - 2*w - 1. Let x be i(2). Which is smaller: d or x?
x
Let k = -0.1 + -0.2. Let l = 10 - 10.1. Which is smaller: l or k?
k
Let v(a) = a + 3. Let c be v(-3). Let u be c/3 + (-28)/(-2). Suppose 2*k = -2*k + 2*m - u, -2*k - 1 = m. Which is smaller: -1 or k?
k
Let u = 1.22 + -0.22. Which is smaller: u or 0?
0
Suppose -5*f + 59 + 169 = -4*s, 2*f + 70 = -s. Let x = -251/4 - s. Suppose -2 + 0 = p. Which is greater: p or x?
x
Let u = -49 - -50. Is -2/11 equal to u?
False
Let q = -526895618/85085 - -736982/119. Let v = -15/91 + q. Let w = -2/11 + v. Which is smaller: w or 0?
0
Let h = -77 + 72. Is 3 greater than h?
True
Suppose -12 = -5*s + k + 4, k = 2*s - 4. Is 11/4 at most s?
True
Suppose -3*f = -f + 2*r + 10, 4*r + 20 = 3*f. Let g = -2 + 2. Suppose 2*p - 4*q - 16 = g, f = -5*q - 28 + 8. Which is bigger: p or -1?
p
Suppose -9*j + 4 = -5*j. Suppose -6*b + 8 = -4*b + 2*x, 2*b + 5*x - 5 = 0. Let v = -2 + b. Which is smaller: j or v?
j
Let q(z) = -z + 18. Let u be q(11). Which is greater: u or 12?
12
Let h = -2.3 + -0.7. Let k = h + 3. Which is smaller: k or -2/5?
-2/5
Let i(o) = -o. Let k be i(-3). Let c = -2 - -2. Suppose -10 = -5*g + u, 5*u + 4 = -c*g + 2*g. Which is smaller: k or g?
g
Let q = -2 + 1. Let k be (-4)/6*131/(-134). Let a = k + 1/67. Is q != a?
True
Let t be ((-8)/(-518)*-1)/((-108)/42). Which is bigger: 0 or t?
t
Let d = -0.1 - -0.12. Let h = 0.42 - d. Which is smaller: -1 or h?
-1
Let a = 4 - 13. Let n be a/12*(-8)/60. Which is greater: 1 or n?
1
Let f be 12 + -12 + 2/5. Which is bigger: f or -5.3?
f
Suppose 0 = -0*f - 3*f - 5*o - 70, 10 = -f + 5*o. Is f equal to -41/2?
False
Let i = -5 - -5. Let g(m) = 7*m - 4. Let b(t) = -t + 1. Let j(s) = -5*b(s) - g(s). Let r be j(-1). Which is bigger: i or r?
r
Let f = 32 - 31.8. Which is greater: 11 or f?
11
Let k = -1/386 - 9647/1158. Do 0 and k have different values?
True
Let m = -12 + 9. Let l = -2 - 0. Is m less than or equal to l?
True
Let a be (-32)/(-24) + (-3 - -2). Which is smaller: 0.6 or a?
a
Let h be ((-8)/(-2))/(4 + -2). Suppose -a + 3*a = 10. Which is smaller: a or h?
h
Suppose 5*x - 3*m = 35, 0 = 5*x - 2*m - 39 - 1. Let a be (-54)/x + 4/10. Is -5 at least as big as a?
True
Let j(z) = -z**3 - 9*z**2 - 18. Let s be j(-9). Which is smaller: s or -21?
-21
Suppose 4 = -2*f + 6. Is -6 smaller than f?
True
Suppose -5*b + 2 = -13. Suppose 0 = 5*z + 3*a - 2, -z = b*a + 5 - 3. Let n = -1733/7 - -248. Which is greater: z or n?
z
Let l = 13 - 37/3. Suppose -5*n + 2 + 8 = 0. Do n and l have different values?
True
Let k = -5641/33 + 171. Which is bigger: 1 or k?
1
Let s = 1 - 6. Let k = s - -4. Is k smaller than 1?
True
Let w = -1 - -2. Let n = -2 + w. Let p be (0/(6/3))/n. Is p <= -2/5?
False
Let z = 6 + -22. Let x = z + 24. Let c = x + -6. Which is greater: -2 or c?
c
Let b = 6 + -5.1. Let o = -1.1 + b. Which is bigger: o or 3?
3
Let s(m) = m**2 + 5*m - 6. Let f be s(-6). Is f less than or equal to -3/5?
False
Let v(i) = -4*i + 24. Let z be v(6). Suppose 5*y - o + 2 = 2*y, y = -3*o - 14. Let s be (2/(-10)*2)/y. Is z at most as big as s?
True
Let b be (-4)/12*1*3. Let x(p) = 0*p**3 + 1 + 0*p + 2*p - 2*p**3. Let o be x(b). Is -1/12 != o?
True
Suppose 4*j - 4*q - 14 = q, 2*j = 4*q + 10. Is -1 smaller than j?
True
Let f(c) = -c**3 - 3*c**2 + 5*c + 8. Let a be f(-4). Suppose a*t = -0*t + 68. Is t > 18?
False
Let y = 7 - 12. Which is smaller: -4 or y?
y
Suppose 0 = 2*s - 2 - 0. Suppose 0 = 6*q - 4*q - 6. Suppose 4*i + m - 1 - 3 = 0, 1 = i - q*m. Is i greater than or equal to s?
True
Suppose 5*t + 3*y = 14, 0 = 4*t - y - 13 - 5. Is t greater than or equal to 3?
True
Suppose r = -2*r + 2*f + 9, 2*r - 3*f = 1. Suppose 0 = -r*k + k. Is 1/2 less than k?
False
Let d(j) = j**2 + 13*j + 16. Suppose -27 = 3*s - 4*y, 0 = -6*s + 2*s + 3*y - 43. Let h be d(s). Which is greater: h or 15?
h
Let h be (-20)/15*6/28. Is h greater than or equal to 2?
False
Let w be 3 - ((-6)/(-2) + 0). Which is smaller: 24 or w?
w
Let a = -20 - -19.8. Is a at most as big as 4?
True
Suppose 4*w + 33 - 29 = 0. Is w at least 4/11?
False
Let x be -2 + -2*1 - (-182)/(-13). Which is smaller: x or -16?
x
Let r = 29 - 13. Suppose -3*l + 1 = r. Let u be l/3 + (2 - 1). Is -0.1 equal to u?
False
Let k be (-12)/(-42) - 46/(-84). Is k at most 0?
False
Suppose 29 = -2*g + 5*c, g = -3*c - 2*c + 23. Which is smaller: g or -63?
-63
Let w = -3231/5 - -653. Is 7 less than or equal to w?
False
Let l = -2/7 + -4/35. Let r be (2/1)/(1 + -3). Which is smaller: l or r?
r
Let c be 3 + (-57)/(-36)*-2. Let g be 44/(-60) + (-1)/(-3). Which is smaller: c or g?
g
Let h = 67/12 + -21/4. Suppose 384 - 396 = -4*n. Which is smaller: n or h?
h
Suppose -4*n - 5 = -3*r + 11, 0 = 3*r - 5*n - 17. Let d be (6/16)/(r/208). Let q = 191/10 - d. Which is smaller: q or 1?
q
Let z(j) = -j + 3. Let n be z(11). Let h = 8 + n. Which is smaller: -2/15 or h?
-2/15
Suppose -r - 4 - 1 = 3*y, 4*y + 4*r = -20. Is 2/19 at least y?
True
Let l be 210/(-20) + (-4)/1. Which is smaller: l or -14?
l
Let d = -33 - -41. Is d > 6?
True
Let r be ((-136)/(-1))/(1 - 2). Let h be ((-3055)/(-5))/(9/2). Let b = r + h. Which is greater: b or 1?
1
Suppose -11*m = -7*m. Which is greater: m or -1?
m
Let g = 3 - 5. Is 0 < g?
False
Suppose -m = -v + 3*m - 25, -3*m = 3*v. Let p be (-2)/v + 21/(-15). Do p and -3/4 have different values?
True
Let u be 15*((-32)/12 - -3). Suppose 4*m + 2*k + 30 = 0, 0 = 2*k - 5 - u. Which is smaller: -11 or m?
-11
Let a(t) = -t - 1. Let i be a(-11). Let b = -10 + i. Let k = -71 - -353/5. Which is greater: k or b?
b
Let w = 79/3 + -26. Is -27 equal to w?
False
Let p = 7 + -6.2. Let o = p - 0.9. Which is bigger: o or -2?
o
Let g = -3 + 7. Let r = g - 4.3. Which is smaller: r or 0.1?
r
Suppose 2*i = 3 - 1. Let q be i*((0 - -2) + 2). Let x be (q - 6/3)/11. Is 2 not equal to x?
True
Suppose -2*p - p - 12 = 0. Let h be (-16)/140 + p/(-10). Is -1 < h?
True
Suppose 0*g + 9 = -3*g. Let w be (-6)/g - (-22 - 1). Suppose x = -x + 2*r - 4, 5*r = w. Which is greater: x or 2?
x
Suppose -2*u - 4 = g, 0 = -2*g - 4*u + u - 4. Suppose 0 = 8*m - g*m. Is m greater than or equal to -5/6?
True
Let d(a) = 16*a*