e -4 - j/(-1) - -15. Suppose -4*d + x + 40 = 0, -5*d + 18 = 2*x - 45. Is d < z?
False
Let f be -1*(-4)/468*24/(-104). Which is bigger: f or 1?
1
Let g = -40 - -44. Let u(n) = -n**3 + 3*n**2 + 5*n - 4. Let z be u(g). Is z at most as big as -3?
False
Let q = -0.3 - -0.2. Let m = 65 + -81. Is q <= m?
False
Let k = 33 + -13. Let y = 24 - k. Let o = 0.6 - 0.3. Is o <= y?
True
Let j(d) = -d**3 - 4*d**2 - 2*d - 2. Let c be j(-4). Let m = -1 + c. Let i = 12 - 6. Which is greater: i or m?
i
Let j = -10 - -12. Which is smaller: j or -0.72?
-0.72
Let o = -1569 + -513. Let t = -18718/9 - o. Are t and 3 unequal?
True
Let o(d) = d**2 - 3*d - 7. Let m be (-41)/(-6) + (4 - (-115)/(-30)). Let s be o(m). Is s at least as big as 19?
True
Suppose 0 = -363*o + 357*o. Are -1/1020 and o equal?
False
Suppose 5*h + 79 = -176. Is h not equal to -49?
True
Let m = 37 + -21. Let y = 0.1268 + -19.1268. Let o = m + y. Which is smaller: o or 1/4?
o
Suppose -18*t + 13*t - 2 = -2*g, 0 = 3*t + 2*g + 14. Is -1 >= t?
True
Let s be 10/(1/(2/(-2))). Let i be (-7)/35 + (-2)/s. Do i and -4/7 have the same value?
False
Suppose 14 = -15*b + 8*b. Let d = -1 - -1. Which is bigger: b or d?
d
Let k be 71 - 0*(-2)/(-4). Let z = k + -215/3. Is -0.2 >= z?
True
Let s(q) = -2*q**2 + 6*q - 4. Let p be s(4). Let i = -3130 + 3120. Is i smaller than p?
False
Let s = 2518574 + -208648745121/82844. Let l = -3/556 + s. Are -1 and l equal?
False
Suppose 365*w = 370*w - 70. Suppose 20 = 2*g + 5*s, -19 = -2*g + 5*s + 1. Let v = g + 4. Is w <= v?
True
Let r(j) = -25 + 11 + 4*j - 1 - 13. Let t be r(7). Do -1/71 and t have different values?
True
Suppose 4*k = 3*j - 920, 3*j - 460 = 2*k + j. Is -230 <= k?
True
Suppose -20*m - 24 = -14*m. Which is greater: m or 0.35?
0.35
Let c = 0.023 + -3.323. Let k = -2.4 - c. Let x = -247/4 - -62. Is k less than x?
False
Let f be (-2)/(-1*(-1)/(-2)). Let a(p) = -p**2 - 14*p - 29. Let v be a(-3). Is f at most as big as v?
True
Let v(o) = 3*o**3 + 21*o**2 + 11*o - 18. Let q be v(-6). Let t = 0 - -3. Suppose 0 = t*k - 7*k - q. Is 0 less than k?
False
Let j = 310.98 - 311. Do j and 27 have the same value?
False
Suppose -5*s - x + 33 = 0, -2*s + 4*x - x + 20 = 0. Suppose s*d - 5*d - 2 = 0. Let v be 5/(20/8)*d. Is 2 not equal to v?
False
Let z be 1/(-2) - (-34)/4. Suppose h = -2 + z. Let v = -7 + h. Which is greater: v or 0.1?
0.1
Let y(h) = -8*h - 16. Let w be y(-3). Suppose w = 4*i + 2*j, i - 2*j + j - 2 = 0. Is i equal to 10/13?
False
Suppose 57*h + 5043 = -30. Are -80 and h non-equal?
True
Let p = -0.003 + -110.997. Let n = p + 110.9. Is -0.21 at most n?
True
Let z = 308 - 308. Is z > -450?
True
Let l(t) = -t**3 - 6*t**2 + 4*t + 3. Let g be l(-5). Let w be (-175)/g + (-2)/12. Suppose 5*u - 4*u - w = 0. Is 6 at least as big as u?
True
Let p(i) = 86*i - 118. Let m be p(-4). Which is smaller: -463 or m?
-463
Let a be ((-10)/(-15))/(5/(-30)). Is -81 smaller than a?
True
Suppose 2*w = 6*w + o, 0 = 2*w + 3*o. Let d = 63 - 68. Which is smaller: w or d?
d
Let o = -19286/165 - -1296/11. Let b = o - 3/5. Let l = 16.6797 - 1.6797. Which is smaller: l or b?
b
Suppose -d + 18 + 3 = 0. Let c be -3 - -1 - (19 - d). Which is smaller: 1 or c?
c
Let r be (0 - 1)/((-2)/4). Let y be 4*(-3 + r)*(-76)/16. Is y at most 19?
True
Let w(p) = p**2 + p + 2. Let b be w(-3). Let m(t) = 3*t**2 - 3*t - 12. Let k be m(-2). Which is smaller: k or b?
k
Let b = 23 - 2. Suppose -6*c + c + 110 = 0. Which is smaller: b or c?
b
Let v be 148*(-1 - 7796/(-7272)). Let f = 2/909 + v. Which is bigger: 10 or f?
f
Let f be ((-6)/(-15))/(1/(-5)). Let y be (-14)/(-21)*-3 + 4. Which is bigger: y or f?
y
Let g = -4 - -2. Let i = -2.11 - g. Let q = 0.01 + i. Which is smaller: 1/3 or q?
q
Let n(y) = -2*y - 6. Let f be n(-4). Let a = f - -1. Which is smaller: a or 4?
a
Let x = -26 - -15. Let u = x + 37. Does u = 0?
False
Let l be -9 - (-7 - (3 + 1)). Which is greater: l or -60?
l
Let w = 80.9 + -80. Which is smaller: -1 or w?
-1
Let o(y) = -2*y. Let i be 6/4*36/(-27). Let h be o(i). Let r be 2/h - (-28)/(-40). Which is greater: r or -1?
r
Let g(x) = x. Let d be g(5). Let t = 8 - d. Let v be (-9)/48*(-1)/t. Which is smaller: v or 0.1?
v
Let c = -5505 - -71613/13. Which is bigger: 5 or c?
5
Suppose -f + 6*f - 5 = 5*c, 0 = -4*c + f - 1. Let r = -940/7 - -134. Which is bigger: r or c?
c
Let u = -36 + 10. Let c = -53 + 15. Let m = c - u. Which is smaller: m or -11?
m
Suppose -4*d + 3*d = -544. Which is smaller: d or 545?
d
Let i = -170489/14570 - -2/1457. Which is smaller: i or -13?
-13
Suppose -57*x = -87*x. Let v = 1.2 - -2.1. Is x equal to v?
False
Let p = 6566 - 53293/8. Let h = p - -96. Let y = h + -37/56. Is 0 at least y?
True
Let x(k) be the first derivative of 2*k**3/3 - 19*k**2/2 + 7*k + 19. Let g be x(9). Suppose 0 = -u + 2*u. Which is bigger: u or g?
u
Let o = 102 - 105. Let g = -37 - -36. Which is bigger: o or g?
g
Suppose 5*k - k = -40. Let o = k - -7. Let a be (21/(-35))/(1*o). Is a at most as big as 1?
True
Let o(w) = 7*w + 9. Let b be o(0). Let j be -3*2*(-6)/4. Is b != j?
False
Let i be 1225/644 - (-2 + 4). Let k = 8/23 + i. Let h = 14/25 + -24/25. Do h and k have the same value?
False
Let f = -36 - -26. Let m be ((-32)/20)/(4/f). Suppose -5*v = -m*i - 17, -i - 2*i + 2*v = 18. Is i less than -2/3?
True
Suppose 3*c = -k + 111 - 104, 2*c + 10 = 3*k. Which is bigger: -0.184 or c?
c
Let f = -6.4 + 6.8. Let a be (3 - (-50)/(-14))*-7. Which is smaller: a or f?
f
Let w be ((-16)/39)/(6/(-81)). Is 6 at least w?
True
Let l(d) be the first derivative of d**4/4 - 2*d**3 - 5*d**2/2 - 9*d - 10. Let m be l(7). Let o = 2 - -4. Is o less than m?
False
Let k be ((-306)/(-14) + 4)/(-1). Let n = k + 193/7. Let c be (1 + -2)/((-1)/2). Is n greater than c?
False
Let q = 10.93 + -11.63. Which is greater: -3/59 or q?
-3/59
Suppose -8 = -4*m - 7*y + 3*y, -2*y + 6 = 3*m. Suppose 4*i - 4*l + m*l = -12, i + l - 3 = 0. Which is bigger: i or 2/11?
2/11
Suppose -3 = o - 0*o. Let w be (-4)/o*(-18)/(-156). Let l = 58/39 - w. Is l < 0?
False
Let m = 35 - 35.1. Let s = -18.1 - m. Which is greater: 0 or s?
0
Let r = 143/6 - 2657/114. Suppose 0 = -2111*x + 2110*x. Which is bigger: r or x?
r
Let f be (-2)/13 + 930/130. Let c be (f/(105/50))/(2/(-6)). Is c at least -6?
False
Let h(l) = 19*l**2 + l. Let s be h(1). Let a(i) = -i + 22. Let d be a(3). Which is greater: s or d?
s
Suppose 8*w + 126 - 94 = 0. Let s(h) = h + 7. Let o be s(-5). Suppose -3*c = o*y + 18, -y + 8 = -5*c + 4. Which is smaller: y or w?
y
Suppose 5*x - 3 = 22. Suppose 3*v - x*v = -38. Suppose 4*b - 5*p + v = 0, 7 + 0 = -4*b + p. Which is smaller: b or -1/3?
b
Let q(y) = -y**2 + 9*y + 34. Let u be q(13). Let s(w) = w**3 - 3*w**2 - 5*w + 2. Let d be s(3). Let x = d - u. Which is smaller: -0.1 or x?
-0.1
Let h be (-69594)/(-928) + 1 + 3. Let d = -3565/29 + h. Let g = 44 + d. Which is greater: g or 0?
g
Suppose -28 = -3*m - 4*d + 58, -5*m + 138 = 4*d. Is m != 22?
True
Let c(f) = -f**3 + 8*f**2 - 3*f - 10. Let h be c(7). Suppose 0 = -2*x + 2*t - 4, -t + 4*t + h = -5*x. Let s be (0/((-4)/(-4)))/x. Is s smaller than 0?
False
Suppose 2*j - 5*t = 30, -3*t - 20 = 2*t. Suppose l = -4*l - 5*g - 50, -5 = j*l - 4*g. Is -52/9 at least as big as l?
False
Let m be (12/(-9))/((-56)/(-4326)). Do -104 and m have the same value?
False
Let h = -32 - 4. Let v be 6/(-15) - h/15. Suppose v*i + i + 18 = 0. Which is smaller: i or -5?
i
Let f = 10.73 - 10.63. Let l = 8 + -3. Suppose -3*x + l*k = -31, 4*k - 29 + 2 = -5*x. Is x >= f?
True
Let f = -87.6 + 91. Let j = f + -3.3. Is -12 >= j?
False
Suppose 0*d + 4*d = 8. Suppose -d*a = a + 9. Let i = a - 1. Is i less than -4?
False
Suppose 4*d + 24 = -28. Let f = d - -11. Does f = -3/4?
False
Let s(u) = 5*u**3 + 11*u**2 - 2*u**3 - u - 4*u**3 + 12. Let j be s(11). Let h be 28/(-4)*(0 + j). Is h bigger than -7?
False
Let p = -302.7 + 303. Suppose -g + 4*z + 28 = 0, -3*z + 2*z = g - 13. Which is smaller: p or g?
p
Suppose 0 = -9*k - 166 + 283. Do k and 7 have the same value?
False
Let j = -74 + 114. Let c(t) = -10*t**2 - 9*t - 1. Let o be c(-2). Let q = o + j. Is q smaller than 17?
False
Suppose -x - 75 = -3*i + 4*i, -5*x - 4*i - 377 = 0. Let g = -53 - x. Is g smaller than 25?
True
Let i = -11 - -17. Let y = 3.9 - i. Let x = 2.2 + y. Are 2/17 and x equal?
False
Supp