1?
True
Let j = 2.1 + -2. Is 0 equal to j?
False
Let f = -87967/91196 - -1/3257. Let u be (-2*9/28)/3. Let y = f - u. Is 2/5 less than or equal to y?
False
Let n be 0 + (-1 - 3) + 1. Is n at least -8?
True
Let c = -347/4 + 87. Which is smaller: c or 9/7?
c
Let c = 4 + -3. Let d = 3.3 - 0.3. Are c and d unequal?
True
Let w be (-31)/(-5) - 33/165. Is w bigger than 8?
False
Let o = 19.02 - 19. Is o less than 1?
True
Suppose 295 = 5*o + 5*p, -60 = -o - 3*p + 1. Which is smaller: o or 57?
57
Let d be (1 - 4) + 71/25. Is d at least as big as 0?
False
Let u = -3 - -10/3. Which is smaller: 13/3 or u?
u
Suppose 0 = -2*a + 6*a - 112. Suppose 2*p + 4*o = -o + 28, -2*o + 8 = 0. Suppose -3*i + 8*i + y + a = 0, p*i + 32 = 4*y. Do i and -6 have different values?
False
Let n be (-214)/1170 + 4 + (-57)/15. Which is bigger: -1 or n?
n
Let f(t) = t - 4. Let b be f(8). Suppose -5*u = -3*j + 32, b*j - 2*u - 32 = 2*u. Which is bigger: 5 or j?
5
Let k = -9 - -17. Do 8 and k have the same value?
True
Suppose -2*u = -1 + 9. Is u less than -2?
True
Let n = -4.8 - -5. Let s = n - 0.2. Which is greater: -0.1 or s?
s
Suppose 6*n - n = 80. Which is bigger: 17 or n?
17
Let l(b) = -13*b**3 - b**2 - b + 1. Let u be l(1). Let s = u - -11. Suppose -3*w + 4*n = 24, 3*w - n = 4*w + 1. Which is greater: w or s?
s
Suppose -6*u - 4 = -7*u. Which is greater: u or 6?
6
Let w = -513 - -6665/13. Is w at least -1/5?
False
Let m(l) = -l + 4. Let d be m(3). Let b = 2 - d. Let u be -1 + 1 + (b - -1). Which is smaller: u or 0?
0
Let k = 67 - 66. Which is greater: k or -1/5?
k
Let p = -9 + 14. Let c be (-60)/16*9/p. Let y = 89/12 + c. Is 2 > y?
True
Let w = -15/2 + 137/18. Let a = -3 - -5. Suppose u + u = a. Is w at least u?
False
Let y = 32 - 36. Which is smaller: y or -11/4?
y
Let v = -18 - -19. Which is bigger: v or 6?
6
Let u = 16 + -9. Let c = u - 9. Let t be (-6)/(-9)*3/5. Which is smaller: c or t?
c
Let d be 10/20*4/(-9). Are d and -1/4 equal?
False
Let o(i) = -i**2 + 4*i - 1. Let u be o(2). Let z = -10/3 + u. Suppose l = -4*l. Which is bigger: z or l?
l
Let f(a) = -2*a - 2. Let b be f(-3). Suppose -h = h + b. Let v be h/(-3)*(-45)/(-100). Do v and 1 have different values?
True
Let j be -2 + (3 - 0 - -4) + -4. Which is greater: j or -2/37?
j
Let w = 0.06 - -0.08. Let u = 8.86 + w. Is u smaller than 0?
False
Let s be (3/(-12))/((-3)/(-6)). Let o = -0.8 + 13.8. Let u = o - 21. Which is smaller: u or s?
u
Let j(v) be the second derivative of -v**5/20 + v**4/3 - 5*v**3/6 + 2*v**2 + 2*v. Let s be j(3). Suppose -4 = 4*n - 0. Are n and s unequal?
True
Let p be (-20)/(-30) + 64/(-6). Let c = p + 8. Which is smaller: -4/7 or c?
c
Suppose -5*f - 5*x - 9 = 6, -f = 2*x + 6. Is -2/7 at least f?
False
Let p(q) = 6*q. Let o be p(1). Suppose -h + 15 = 2*h. Which is greater: h or o?
o
Suppose -4*u + 755 = u. Let p = -1357/9 + u. Let a = 89 + -89. Do a and p have the same value?
False
Suppose 0 = -0*t - 2*t - 4*s - 8, 4*s = -4. Let f = -2 - t. Which is smaller: f or -2/23?
-2/23
Let m = 24 - 23. Which is smaller: m or 7/4?
m
Let k = 0.14 - -1.16. Do 1 and k have the same value?
False
Let w = -85 - -83. Which is smaller: -3 or w?
-3
Let b be (5*-1)/(-1) - (-836)/(-176). Suppose 5*w = -4*v + 25, -w - 12 = 2*w - 3*v. Let f be (-1 - (-3 + w))*0. Is b equal to f?
False
Suppose -j - 2*w = -10, -4*j - 4*w = -w - 15. Which is bigger: 1/5 or j?
1/5
Let l be (-3 + 3 - 0)/(-1). Is 1/2 greater than or equal to l?
True
Let t be (2 + 21/(-9))/(14/(-72)). Which is bigger: 2 or t?
2
Let b = 78 - 232/3. Suppose -q = -4 - 0. Let v = q + -3. Are b and v nonequal?
True
Let a = 0.23 + -2.03. Let x = a + 2. Let i = 1.2 - x. Which is smaller: -0.2 or i?
-0.2
Let y(m) = -4*m**2 - 2*m - 1. Let j be y(-1). Which is smaller: -3/2 or j?
j
Let s = -55 - -29. Let g = 0.1 - 0.1. Which is smaller: s or g?
s
Let x = -0.53 + -0.17. Let a = x - 0.3. Let z = a - -1.3. Which is smaller: z or -0.1?
-0.1
Let l = 2 + -6. Let h = l + 1. Is -3 > h?
False
Let f(i) = -i**3 + 5*i**2 - 6*i + 4. Let d be f(4). Let z be ((-494)/d)/((-15)/(-24)). Let l = z + -197. Is 0 bigger than l?
False
Let v = 8/11 + 39/22. Let b = 54 + -50. Which is smaller: b or v?
v
Let w(s) = -s**2 + 8*s - 15. Let u be w(11). Let d be u/12 + 4/(-2). Which is smaller: d or -5?
d
Suppose 0 = d - 3*d - 10. Let n = d + 6. Which is smaller: n or -1/3?
-1/3
Let n = -3/8 + 1/24. Let f be (108/(-30) + 3)/(-2). Is f equal to n?
False
Let w = 1/47 + 44/141. Let t = 1 - 3. Let d be 5/(-4)*t/(-10). Are d and w non-equal?
True
Let f = 36 + -38. Which is smaller: -3 or f?
-3
Suppose 26 = -4*q + 2*t, 2*t + 1 = q - 0*q. Let v = 12 + q. Is 4 less than or equal to v?
False
Suppose 0*c + 12 = 2*c. Let k be (-3)/(-2)*c/(-9). Is -4/3 equal to k?
False
Let y = -0.06 - -0.86. Let b = 0.9 - y. Is 1 less than b?
False
Let l be (2 + 0)*6/36. Is l smaller than -0.01?
False
Let k be (0/(-1)*1)/(2*1). Let s be (-3)/13*(-4)/(-6). Which is greater: k or s?
k
Let u be ((-24)/10)/(2/(-5)). Suppose 0 = -3*l + u*l - 3. Is -2/23 <= l?
True
Let r = -6 + 6. Suppose g = -r*g. Which is bigger: g or 3/5?
3/5
Let w = -0.03 + 2.03. Let k = w + -2.02. Let s = k - -1.02. Which is greater: s or 2/3?
s
Let a(m) = m**3 - 4*m**2 - 9*m + 3. Let j be a(6). Let g be j/35*(1 - 2). Let h = -5 - -3. Which is bigger: g or h?
g
Suppose -2*y - 4 = 4*t + 2, -t = -3*y + 12. Which is smaller: t or -1?
t
Let s(m) = m**2 + 3*m - 2. Let y be s(-4). Let d be 6/5 + 1 - y. Is d != 0?
True
Suppose 4*m + 5*r + 20 = -0*r, -3*m + 8 = -2*r. Is 2/9 != m?
True
Let g = 6.26 - 0.26. Let b be 9/4 - (-4)/(-2). Which is greater: g or b?
g
Let w be (0 - -2) + (-1 - 0). Let l be 5*4/100*5. Do l and w have the same value?
True
Let u be (-10)/(-3)*(-24)/16. Is -1 at least as big as u?
True
Let h be 5/9 - (-4)/(-6). Let j = -72 + 74. Do h and j have different values?
True
Let r = -113/1020 - 2/51. Are r and -1 nonequal?
True
Suppose 7*d - 5*d = -6. Is d equal to -2?
False
Let i = 0.04 - 13.04. Let p = 0.9 - 0.8. Is p greater than or equal to i?
True
Let q be (-8)/(-12)*78/4. Let u be 0 - -2 - ((-36)/4 + -2). Is u smaller than q?
False
Let m(p) = -p + 10. Let n be m(8). Let v = n - -1. Do 3/2 and v have different values?
True
Let t be ((-15)/(-2))/((-2)/(-4)). Suppose 3*m = 7*m - 16. Suppose -m*o - f = 3, -4*o - 3*f + t = -8*f. Which is smaller: 2 or o?
o
Let o = -6 + 8. Suppose 6*h = -o*d + 3*h + 6, -5*h = -3*d - 10. Let c be (-12)/45*6/(-4). Which is smaller: c or d?
d
Let u = -2062 - -8187/4. Which is smaller: u or -14?
u
Suppose -3 = -3*i + 3. Suppose 4 = -y - i*s + 6, 4*y - 2*s - 38 = 0. Is y smaller than 9?
True
Suppose -2*s + 6 = 4*l, -2*l - 2*s + 4 - 6 = 0. Suppose -2*v + l + 2 = 0. Let g be ((-2)/v)/(2 - 0). Do 0 and g have the same value?
False
Let k = 11.23 + -0.23. Which is bigger: k or 2?
k
Suppose 0 = 3*t - s + 23, 5*t - 5*s = 4*t - 17. Is -5 at least t?
True
Let f(y) = -y**3 - 8*y**2 - 7*y - 2. Let c(r) = r**3 - 11*r**2 - 7. Let d be c(11). Let j be f(d). Which is greater: j or -2/3?
-2/3
Let p = -10 - -47/5. Suppose -3*q + 15 = -2*q + 5*z, 3*q = -4*z + 12. Do p and q have the same value?
False
Let g = -10 - -9. Let m be (-2)/(-22)*(1 - g). Are 0 and m equal?
False
Let o = -10 + 9.98. Let v = 1.02 + o. Which is smaller: 4/7 or v?
4/7
Let y be (-1977)/63 + 2/(-7). Let c = -683/21 - y. Suppose 0 = 3*i - 4*h - 9, 0 = 2*i - 3*i - 2*h - 7. Do c and i have the same value?
False
Let u = 16 + -7. Let v = -5 + u. Suppose 0 - 14 = -2*n - 4*d, v*n - 3*d + 5 = 0. Is n at least as big as 3?
False
Let r be 1/2*2 - 56/(-21). Are r and 4 unequal?
True
Let s = -31 - -157/5. Does s = 2?
False
Suppose 2*k + 10 = 7*k. Let i = -3 + k. Is -7/5 < i?
True
Let q(n) = -n**2 + 3*n - 2. Let a be q(2). Which is smaller: -1/2 or a?
-1/2
Suppose d - 9 = j - 52, -5*d - 230 = -2*j. Is d greater than -47?
False
Let p = 35 - 33. Let k = 141 - 277/2. Which is smaller: p or k?
p
Let r = -22.93 + 23. Which is smaller: 0.1 or r?
r
Let l = -166 - -128. Which is smaller: -39 or l?
-39
Let h = 4 + -6. Let s be (-3 - (h - -1)) + 3. Which is smaller: 8/7 or s?
s
Let f = -81 - -315. Let v be (-15)/f - 3/18. Is 1 at most as big as v?
False
Suppose -3*h - 9 = 0, x = 3*h + 4 + 6. Suppose 2*p + 0*p = 0. Let o be p - (-16)/(-9) - -2. Is x >= o?
True
Suppose -5*j + 9 = r - 2, -2*j - 16 = -3