er: -1/4 or f?
f
Let n = 379/5 - 1321/20. Is 11 >= n?
True
Let h(r) = r**2 + 6*r - 7. Let g be h(-7). Let y = -2 - g. Let w = 132 - 531/4. Which is bigger: w or y?
w
Let x be ((-28)/(-35))/((-4)/10). Let f = -12 - -17. Which is greater: f or x?
f
Let n = 3 + -4. Let s be n + (1 + 2)/(-3). Let y = -2 + 1. Which is smaller: s or y?
s
Let w be ((-2)/3)/((-2)/3). Which is smaller: -1/25 or w?
-1/25
Let x(y) = -y**2 - 6*y. Let c be x(-5). Suppose c*t = 4*t + 1. Which is smaller: -1/8 or t?
-1/8
Let t = 50 + -37. Do 14 and t have the same value?
False
Let m = 139/94 - -1/47. Let p(s) = -s**2 + 3*s - 1. Suppose -l - 8 = 2*w, 2*l - 3*w - 6 - 13 = 0. Let i be p(l). Is i equal to m?
False
Let d = -768 + 9990/13. Which is bigger: 0 or d?
d
Let v(r) = 2*r**2 + 11*r + 2. Let x be v(-5). Which is smaller: x or -4?
-4
Suppose -45 + 42 = -3*j. Let t be (-1 - -2*1)*3. Let b be 1 + 0 + (-3)/t. Is b at least as big as j?
False
Let b = 11 + -11. Which is smaller: b or 4/13?
b
Let x(f) = 2*f - 4. Let r be x(4). Let l be 3/(-2) - -15*10/30. Which is bigger: l or r?
r
Let q be ((-2)/3)/(1/9). Let l be (q/(-4))/(6/(-8)). Is l at least -1?
False
Suppose 0*t - 85 = -5*u - 5*t, 0 = -u + 3*t + 1. Suppose u = 4*w - 5*d, -d + 15 = -4*d. Is -3 less than w?
False
Let y = -1354/7 - -194. Suppose 4*v = -2*v + 12. Which is smaller: v or y?
y
Suppose 0 = -4*x + 2 + 2. Let a = -6/31 + -7/124. Which is smaller: a or x?
a
Let z = 5 + -3. Suppose -z*k = 6 - 4. Which is smaller: k or -2?
-2
Let j = -0.66 - -0.66. Which is smaller: 0.037 or j?
j
Suppose -3*i = 2*i. Which is smaller: i or 7/6?
i
Let d be 6/(-4) + 92/8. Which is smaller: d or -0.1?
-0.1
Let z(a) = a**2 + 4*a. Suppose t - 4*m = 9, 7 = -t - 5*m - 11. Let u be z(t). Is -3 less than or equal to u?
True
Let t = 18 + 3. Let x = t - 16. Is x greater than 5?
False
Let o(m) = m - 5. Let u be o(4). Let i be (-1)/u + 40/(-32). Let d = -1 - -1. Which is bigger: i or d?
d
Let p(a) = -a - 1. Let n be p(0). Let x = -13337/186 - -7/186. Let m = 71 + x. Which is greater: m or n?
m
Let p = 0.29 - 0.39. Is p smaller than -1/5?
False
Let h(d) = -d**2 + 16. Suppose 0 = -s + 5*s. Let l be h(s). Do l and 17 have the same value?
False
Let d = -551/53 + 617597/59360. Let k = d + 73463/1120. Let f = k + -66. Which is bigger: f or 1?
1
Let k(f) = -f - 4. Let g be k(-5). Let l be g - ((-56)/(-3) + 2). Let c = -21 - l. Is c bigger than 0?
False
Let p = 4 - 4. Let l = -2.1 - -2. Let g = l - p. Which is smaller: -1 or g?
-1
Let n be -2 - 4/14*-8. Is 1 < n?
False
Let t be (4/(-10))/(5/50). Suppose -7*o = 1 + 13. Is t at least o?
False
Let s = -358 + 1784/5. Which is greater: s or -1?
-1
Suppose 0*b = 3*b + 12, -66 = -3*t - 3*b. Which is smaller: 27 or t?
t
Let z = 192.08 - 187. Let b = -0.08 + z. Which is smaller: b or -1?
-1
Let g(i) = i - 3. Let x be g(8). Let p = 6 - x. Which is smaller: 3/11 or p?
3/11
Let h(m) = -m**3 + 6*m**2 + 3*m - 6. Let w be h(6). Let y be 2/(15/w + -1). Are y and 8 unequal?
False
Let q(i) be the second derivative of i**5/20 + 2*i**4/3 + 4*i**3/3 + 9*i**2/2 + i. Let o be q(-7). Is 5/9 equal to o?
False
Let q = -2682/11 + 244. Let s = 11 - 12. Which is bigger: s or q?
q
Suppose 9*c + 4 = 13*c. Is c != -3/10?
True
Let f = 35.46 - -0.54. Is -0.1 < f?
True
Let g be (-2)/(-6)*(10 - 1). Let m(t) = -t**3 + 2*t**2 + 5*t - 2. Let u be m(g). Do 4 and u have different values?
False
Let u(v) = v**3 + v. Let o be u(0). Suppose -w + o = 6. Is -6 equal to w?
True
Let s = -6 + 11. Let w = s - 4.9. Is -2/3 greater than or equal to w?
False
Let w = 53/2 + -25. Let s = w - 5/6. Is 2 at least as big as s?
True
Let k = 1 - 5. Let g = 6 - 10. Are k and g equal?
True
Let l = 23 - 23.24. Let y = l + -0.26. Let u = -1 - -2. Is u < y?
False
Let f be 1 + 1/(-1)*3. Let b be f + 0 - -1*5. Let l(y) = -y**3 + 3*y**2 + y - 4. Let v be l(3). Is v at least b?
False
Suppose -7*l + 10*l = -3. Let r(t) = t**2 + 5*t + 1. Let f be r(-5). Which is greater: l or f?
f
Let q = -142 - -26. Let g = q - -191. Let x be (20/g)/((-2)/(-5)). Is x greater than -1/2?
True
Let b = 0.18 - 1.18. Is b at most as big as 2?
True
Let s = -1.3 - -1.8. Does s = 1/2?
True
Let k = -21 + 21. Suppose -4*z - 5*j - 4 = k, 2*z + 2*z + 4 = 4*j. Is -1 > z?
False
Let o be (7/(-4))/7 + -1. Suppose 5*y = -5*x - 5, 2*y - 1 = -5*x - 6. Is y less than o?
False
Suppose j = -0*j - 1. Suppose -c = -0 + 1. Is j at least c?
True
Let a(o) = o**3 + o**2 - 4*o - 2. Let j be a(-3). Let x be (-2)/j + (-11)/44. Which is bigger: x or -1?
x
Let x = 1.1 - 0.4. Let p = -1.7 + x. Is p greater than -4?
True
Let d = -2.97 + 3. Let i = -0.23 + d. Is i bigger than 0.2?
False
Suppose -2*x = x. Is 2/323 bigger than x?
True
Suppose -3*n + 46 = -14. Suppose -3*x = x + 2*r + 4, -5*r = n. Let q be ((-8)/8)/(x*-3). Which is smaller: -1 or q?
-1
Let m = 5 + -5. Is m less than -4/5?
False
Let k = -125 - -79. Which is greater: 2/5 or k?
2/5
Let x be (-1)/(-21)*(3 - -6). Which is greater: x or 13?
13
Let x(g) = -g**2 + 8*g - 4. Let l be x(4). Suppose -k + 0*r = -3*r + 4, 3*k - 3*r + l = 0. Is k not equal to -4?
False
Let d = 0 - -12. Let x = -7 + d. Which is smaller: 2/7 or x?
2/7
Let w = 0 + 2. Let k = -7 - -6. Let x = k - 0. Which is greater: x or w?
w
Let v = -0.1 - -0.1. Let k = 0.9 - 1.8. Let m = -1 - k. Which is bigger: v or m?
v
Let k be 3 + 3 + (-1 - 1). Suppose k*l - 10 = -l. Suppose l*o + 2*m = 8, -2*m + 6*m - 19 = -5*o. Are o and 2 equal?
False
Let b = 23 + -17. Is b less than 31/6?
False
Suppose 3 = 3*c - 2*y - 3, 5*y - 2 = -c. Is c < 1.6?
False
Let u be (6/4)/(2/(-4)). Let w = 6 + -4. Suppose o - 9 = -3*g, -o = w*g - 6 + 1. Is u smaller than o?
False
Let d be (15/9)/(1/(-147)). Let b = -67 - d. Let g = -887/5 + b. Is 2 greater than g?
True
Let v = -2.98 - 0.02. Suppose 3 = -15*q + 12*q. Is v not equal to q?
True
Let q be 48/40*10/(-3). Let c be 1 - (-1 + q/(-4)). Is -1/5 bigger than c?
False
Let k be (-1)/(1 + -1 - 1). Let r be 0 - (-3)/(-4 + k). Which is greater: 0 or r?
0
Let l = -3 + 33. Is l less than 30?
False
Let w be ((-1)/2)/(3/(-78)). Let j = 9 - w. Which is bigger: j or -5?
j
Let i(a) = -a**2 + 4*a + 6. Let f be i(6). Let x be 2/f*-1*-3. Is x < 1/8?
True
Let y = 19 + -13. Suppose 2*a = y*a. Let n = 34 - 103/3. Is a smaller than n?
False
Let s = 10/13 + -63/65. Let g(m) = m**2 + m + 1. Let c be g(-1). Which is bigger: c or s?
c
Let j be 75/(-27) + -1 + 4/(-18). Which is greater: j or 2/23?
2/23
Let v(n) = -n - 2. Let o be v(-4). Suppose w - 4 + o = 0. Is 4/7 != w?
True
Let o = 16 - 26. Let q = 10 + o. Let h be 11/5 + (1 - 3). Which is smaller: h or q?
q
Let j = -1/161 - -2265/1771. Is j at least 0?
True
Let z = 8 + -7. Suppose 3*c - z = 2. Suppose -5*r - 7 - 3 = 0. Which is bigger: r or c?
c
Let u = -27 - -25. Let f be (-1)/(-3) + 2/(-3). Which is bigger: u or f?
f
Let f = 5/77 + -43/154. Which is greater: f or 0?
0
Let o be ((-24)/20)/(6/(-20)). Let f be -1*10/o*-2. Which is bigger: 4 or f?
f
Suppose 0 = -5*p + 3*s + 2*s + 25, -p + 7 = -2*s. Is p at least as big as 2?
True
Let x = 0 - -1. Let h be (x + -2)/1*-1. Let b = 172 - 1550/9. Are h and b nonequal?
True
Let p be (2*-1)/((-24)/180). Is 15 bigger than p?
False
Suppose o - 19 = -4*c - 4*o, 0 = -5*c + 5*o + 35. Let i = -11 + 18. Is c less than i?
True
Let v = 4 + -8. Suppose 27 = 3*a - 18. Suppose -6*r = -r + a. Does r = v?
False
Suppose 4 = 2*a - 2*x, 0 = -3*a + 8*a - x - 6. Is -1/4 less than or equal to a?
True
Let p be 3 + ((-1)/1 - 2 - 0). Is -4/3 less than p?
True
Suppose -4*a - 24 = -2*p, -4*p = 4*a - 9*a - 45. Are p and 9 equal?
False
Suppose 0*u + 1 = 4*d + 3*u, 0 = 2*d + 4*u - 8. Suppose 2*a + 5*g = 16 + 2, 3*g - 11 = -a. Let m = a - d. Which is bigger: 1/10 or m?
m
Let u = -121/546 - -2/273. Is -1 < u?
True
Let b = 7 + -7.3. Let l = -0.52 + 0.12. Let k = b - l. Which is greater: k or -1?
k
Let a = -27 - -28. Is -3 >= a?
False
Suppose 0 = -n - 4*n + 25. Suppose 4*k - n*x = -3, -k + 9 = k + x. Suppose k*p = -1 - 2. Which is bigger: p or 1/4?
1/4
Let s = -0.8 - -3.8. Let v = 0.926 + 0.074. Which is greater: v or s?
s
Suppose 28*l - 5 = 23*l. Which is greater: l or -1/44?
l
Let o = -11/10 + 409/390. Let h(m) = -m + 7. Let u be h(7). Which is smaller: u or o?
o
Let j be (2 - 3)/((-1)/2). Are j and 4 equal?
False
Let f be (-4 - -3) + (5 - 1). Su