-equal?
True
Let y(i) = 0*i + 4*i - 4*i + 2*i + 4. Let a be y(5). Let s be a/(-10) - 8/(-20). Are s and 1 non-equal?
True
Let b = 2.033 - -13.967. Is b equal to -0.14?
False
Let r = 2/941 + 46099/4705. Is 10 <= r?
False
Let j = -1 + 10. Let p be (39 + 6)*(3/(-9) - -1). Let z = 38 - p. Is z smaller than j?
True
Let o = 0.19 - 0.09. Which is smaller: 0.87 or o?
o
Let q(s) = -s**3 - 10*s**2 + 18*s - 26. Let x be q(-11). Let a = x + 148. Is 44 > a?
False
Let d = 142.6 - 142.7. Let q = -14.9 - -14. Let y = d + q. Which is greater: -14 or y?
y
Suppose -820 = -14*g + 132. Are 68 and g nonequal?
False
Let n(w) = w**2 - 3*w + 3. Let z be n(2). Let t be (-4)/(42 + (-64)/8). Which is bigger: t or z?
z
Suppose 0 = 4*p + 3*j + 19, 5*j - 3 = -2*p + 4*p. Let i be 0 + 13*(-12)/p. Let s = i + -112/3. Do s and 1 have the same value?
False
Let v be 371/21 - -5 - 7. Which is bigger: v or 15?
v
Let k be ((-1)/2)/(99/720). Is -4 > k?
False
Let j be 3/4*(1 - 17). Let u be (j/(-39))/(0 - -2). Let k be (18/162)/(1/9). Which is bigger: k or u?
k
Let i = 32.8 - 30. Let o = i - 2.87. Which is bigger: o or 1?
1
Suppose -4*b = 2*f + 124, -2*f + 119 = -3*b + 33. Suppose -4*c = -r - 15, 2*r - 2*c = -2*r - 88. Let o = r - b. Is o smaller than 7?
False
Suppose 0 = -2*v + l, l = 2*v - 3*v + 3. Let a = 965/14338 - 8/107. Is a bigger than v?
False
Let h(s) = -s**3 - 3*s**2 + 6*s - 7. Let k be h(-5). Let b(w) = -w + 2*w - 13 + 1. Let t be b(k). Which is smaller: -2/7 or t?
-2/7
Let x be -4 + 0 - 2*-1. Let f(v) = -8*v + 3. Suppose 2*j = -28 + 30. Let a be f(j). Which is bigger: a or x?
x
Let g = -187.6 - -178.54. Does g = 1?
False
Suppose n - 32 = 5*n. Let w = n - -13. Suppose 0 = -w*s + 5*l, -2 = s + 2*l + 4. Is -3 at least as big as s?
False
Let i = 8 + -7. Let n be (268/(-272))/((-9)/64). Let s = -62/9 + n. Does s = i?
False
Let c = 452205/14 + -32286. Which is smaller: c or 15?
c
Let t be 15/2 + (-80)/32. Suppose -3*q + 9 = -n, t*q = -4*n + 7*q + 4. Which is smaller: n or 4?
n
Suppose m - 2*m = 10. Suppose -80 = -11*b - 36. Let s be (3 - b)/(3/30). Is s at most m?
True
Let t be (-9)/5*(-30)/(-27)*-3. Which is greater: t or -2?
t
Let z(j) = j**3 + 4*j**2 - 3*j + 7. Let q be z(-5). Let u be 1/(-4) + q/36. Which is bigger: 8 or u?
8
Suppose -3*f = 4*j + 1268, 4*j + 15 - 19 = 0. Which is smaller: -421 or f?
f
Let k be (-18 + -4)/11*3. Which is smaller: -0.21 or k?
k
Let j = 1164 - 1087. Do j and 78 have the same value?
False
Suppose -2*r - 3 = u, 0 = -3*u - r + 6. Let g be (50/(-15) + u)*-3. Does g = -1/3?
False
Suppose 0*t = t - x - 69, -t = -2*x - 64. Which is bigger: t or 75?
75
Let m = -1479/322 - -150/23. Is m < 1?
False
Suppose 4*v - 45 = -4*l - 17, -5*l = -3*v - 59. Suppose -4*q = -4*t - 20, 3*t - l = -2*q - 2*t. Which is greater: q or 4?
q
Let l(j) = 10*j - 3. Let c be l(-3). Let v be (c/6)/(2/(-4)). Which is bigger: v or 10?
v
Let o = -58 + 49. Let w = o - -8.9. Is -20 at least as big as w?
False
Let s(h) = h**2 - 13*h + 50. Let v be s(5). Is v at most as big as 6?
False
Suppose -3*s = -5*q - 6, 4*q = 5*s - s - 8. Let m be (-5 - 9/(-15))/(36/(-15)). Which is greater: m or s?
s
Let a(l) = l - 1. Suppose -32 = 5*g - 3*r, -r + 16 = 3*r. Let z(w) = 3*w - 4. Let o(m) = g*a(m) + z(m). Let h be o(0). Which is smaller: 9/10 or h?
h
Let m = 0 - -0.01. Let f be 18/60*8/6. Which is greater: f or m?
f
Suppose 2*c - 4*t + 10 = 0, 11 - 5 = 3*t. Which is smaller: c or 2/201?
c
Suppose -2*n - 4 = -4*n. Suppose 0 = n*d + 4 + 6. Which is greater: -3 or d?
-3
Suppose b = r + 211 + 175, 5*b + r - 1912 = 0. Is b smaller than 382?
False
Let a = 72796/2044447 + -30/863. Is -1 >= a?
False
Let d be 3/(-12) - (-773)/(-8)*6. Let o = 19723/34 + d. Which is bigger: o or 0?
o
Let o = 284/3 - 932/9. Is o at most as big as -9?
False
Suppose 3*r = 2*t + 24, 178 = r - 5*t + 170. Suppose -4*y - 13 - 11 = 0. Is r > y?
True
Let j(v) = -v**2 - 3*v - 2. Let t be j(-2). Let o(u) = -u - 3. Let b be o(-8). Suppose b*r = 15*r + 10. Which is smaller: r or t?
r
Suppose 4*w = -a + 8, 0 = 2*a + 3*a - w + 2. Let y(m) = m**3 - m**2 - m + 37. Let k be y(a). Is 36 less than k?
True
Suppose 3*n - 3*k + 6 = 0, -3*n - 14 = -0*n + k. Let y be 2 + -2 + 4/(-1). Let o be ((-1)/n)/((-1)/y). Is 2/11 at most o?
True
Let u = -0.58 - 0.22. Let b(j) be the third derivative of j**5/60 + j**4/8 + j**3/6 + 3*j**2. Let s be b(-3). Is u greater than s?
False
Let b = -26 + 30. Suppose -7 = 3*j - b. Do j and 3 have the same value?
False
Let b = 8.6 - -2.4. Let w = -230.4 + 241.31. Let v = b - w. Is 0 != v?
True
Suppose 18*a = 15*a + 6. Let f(c) = -c**2 + c + 1. Let r be f(a). Is r bigger than -3?
True
Let p = 18 - 7. Let x(r) = r + 24. Let b be x(-13). Let w = p - b. Which is greater: w or -1/17?
w
Suppose 4*k - 4*r + 12 = 0, -3*r + 3 + 9 = 0. Let d be (-4)/4 + (42 - k). Let h be d/(-51) - 8/(-12). Are 2 and h non-equal?
True
Let u = 3.0341 - 0.0341. Let m = -2.9 - 1.1. Which is bigger: m or u?
u
Let d be (-3)/(48/8)*2. Let h = 7.7 + -8. Let t = -0.1 - h. Which is greater: d or t?
t
Let u be (2/4)/(5/40). Suppose 2*n - 2 = -l, -l + u = 2. Let q(v) = -v - 9. Let r be q(-8). Is n <= r?
False
Let s(t) = t - 4. Let b be s(9). Suppose 0*x + 4*x + 40 = 2*m, b*m + x = 67. Which is smaller: m or 13?
13
Let s be -1 + 37/(-3)*-3. Suppose 0 = 3*v - s + 6. Suppose -3*c = -c - v. Is 6 at most c?
False
Let u(w) = -w**2 + 3*w. Let v be 183/21 + 2/7. Let n = v + -6. Let i be u(n). Does 1 = i?
False
Let f be (-6)/8*40/(-135). Suppose 0 = 4*j + 16, -2*j = i - 0*i. Suppose 0 = 5*k - 2*x + 5*x - i, k + 4*x - 5 = 0. Which is greater: f or k?
k
Let u be (-116)/14 - 8/(-28). Let b = -4 - u. Suppose 4*d = 3*s - 38, 10 - 38 = -3*s + 2*d. Which is smaller: s or b?
b
Suppose -4*d = -5*c - 0*c - 8, 2*d - 4 = 3*c. Suppose -2*n + d*o = 2*n, n + 5*o = 11. Is n greater than or equal to -1/105?
True
Let s(h) = -18*h**2 + h + 5. Let y be s(2). Which is smaller: -67 or y?
-67
Let b = -1 + 1. Let d be (-21 - -35)/(4/2). Let m(r) = -r**2 + 9*r - 15. Let p be m(d). Is b less than p?
False
Suppose -4 = 2*v - 4*w - 0, -v - 2*w + 6 = 0. Suppose -3*x + x = 0. Suppose x = p + p + v. Does p = -2/7?
False
Let r be 0/(4/2) + -1. Let j(v) be the third derivative of -v**4/12 - v**3/6 - 9*v**2 + v. Let q be j(r). Which is bigger: q or -1?
q
Let y be 1/2*(-3 - 21/(-7)). Let r be 33/51 + y + -1. Is r equal to -1?
False
Let m(g) = -g**2 - 6*g - 1. Let s be (-1)/2 - 115/(-10). Let l = s + -17. Let c be m(l). Do c and -1 have the same value?
True
Suppose -3*d = -0*u + u + 76, 3*d = -3*u - 84. Let c be 60/105*-1*2/d. Which is greater: -1 or c?
c
Let h(b) = -b - 3. Let y be 1 + (-5)/((-25)/(-5)). Let c be h(y). Which is smaller: c or -7?
-7
Suppose -i + 12 = 2*i, -3*b + 4 = -5*i. Let v be -172 - -3*b/(-6). Let q be ((-33)/v)/((-2)/8). Which is smaller: -1 or q?
-1
Let y(s) = -3*s**2 + 7*s + 9. Let l be y(-1). Which is smaller: -2/2917 or l?
l
Suppose -779 = 7*u + 103. Let c be (-5)/9*(-2248)/(-10). Let l = c - u. Which is greater: l or 1?
l
Let c = -0.53 - 1.27. Let x = c + 7.3. Are x and 0 nonequal?
True
Suppose 0 = -4*n - 2*n + 18. Suppose 2*y + 10 = 4*l, -2 = 2*y + n*l + 22. Which is smaller: y or 2/3?
y
Let o(t) = -t**3 + 14*t**2 + 12*t - 12. Let a be o(-4). Does 229 = a?
False
Let c = -14.4 - -9.6. Let u = -6.6 - c. Is 2 > u?
True
Let j = -9 - -9. Suppose 0 = -4*t - 16, -4*b - t + 0 - 12 = j. Let d be 4 - 64/11 - 0. Are d and b equal?
False
Suppose -403 = 3*i + 320. Let t = -4339/18 - i. Is -1 less than t?
True
Suppose -4*d = -6*d + 6. Let s(r) = -r**2 + 5*r + 1. Let j be s(4). Let x = j + 0. Which is greater: x or d?
x
Let p = -2.12 - 2.88. Which is bigger: 10 or p?
10
Let k be (-94*3/12)/(9/18). Which is smaller: -45 or k?
k
Let k = -14.6 - -13.6. Which is smaller: -2/317 or k?
k
Let q = -155.1 - -175.1. Let k = 688/7 - 98. Is k less than or equal to q?
True
Let a be ((-48)/(-28))/((-2)/7). Let b(q) = q - 22. Let g be b(15). Is a >= g?
True
Let m = 837 + -847. Which is bigger: m or -7?
-7
Suppose -10*d + 1392 = 202. Which is smaller: d or -4?
-4
Let i = -3887 + 11416/3. Let r = i - -10048/123. Is r at most 1?
True
Suppose -16*y = 104 - 8. Suppose 6 - 18 = 4*f. Which is bigger: f or y?
f
Let c(d) be the second derivative of d**5/20 + 5*d**4/12 - d**3/2 + d**2/2 + 10*d. Let v be c(-6). I