lse
Let u = -255 + 253. Are u and -2/67 equal?
False
Let i = -60 + 59.9. Let q(p) = 2*p - 2*p + 3*p**2 + 0*p. Let j be q(-1). Which is greater: i or j?
j
Let d(r) = -3. Let p(n) = -n - 7. Let q(u) = -5*d(u) + 2*p(u). Let o = 2 + -1. Let l be q(o). Which is bigger: l or -7/6?
l
Let k be -2 + 3*3/3. Let w be k + 291/(-72) + 3/1. Let f = 6 + -5. Which is greater: f or w?
f
Let y be (3 - 1) + 9 + -5 + -169. Which is bigger: y or 0.1?
0.1
Let n(j) = 2*j**2 - 5*j + 15. Let f be n(4). Suppose 0 = -4*q + f - 23. Which is bigger: q or -2/125?
q
Let p = 990 - 1028. Is -35 at least as big as p?
True
Let g be (-11389)/(-3003) + (3 - 7). Let c = g - -1/39. Is 0.2 >= c?
True
Let l = -1638 + 36029/22. Let v be (-87)/66 - 6/4. Let x = v - l. Are x and -3 nonequal?
True
Let g = -761/19415 + 1/353. Let v = -0.8 - -0.8. Which is greater: v or g?
v
Let z = -130167/332 - -1569/4. Do 1 and z have different values?
True
Let n = 27 + 1. Suppose -4*h = -2*d - n, -5*d - 9 = -4*d - h. Are -5 and d equal?
False
Let t = -17 + 17. Suppose z - h - 3 = 0, t*z + 5*z + 2*h = 36. Suppose p - v + 10 = z*p, 4*v = 4*p + 16. Which is smaller: p or 6/11?
6/11
Suppose 0 = 2*l + 2*c + 28, -61 = 4*l + c + 4. Which is smaller: -14 or l?
l
Let d = 1366 - 934. Which is smaller: 431 or d?
431
Suppose 2*g - 102 = -106. Is g <= -7/8?
True
Suppose -16*h - 3*y + 255 = -15*h, -2*h - 3*y + 495 = 0. Which is greater: 477/2 or h?
h
Let u(y) be the third derivative of y**4/8 - 4*y**3/3 + 14*y**2. Let g be u(-5). Is -24 equal to g?
False
Let o(d) = -d**2 + 11*d + 42. Suppose -j + 22 = -2*h, -2*j + 5*j = 4*h + 58. Let c be o(j). Which is smaller: c or 1/57?
c
Let a be 5*((-6669)/(-45) - 11). Which is smaller: 685 or a?
685
Let i = -5/4 + 27/20. Suppose 26 = -24*w + 2. Which is bigger: i or w?
i
Let c = 199 + -131. Suppose 2*o - z - c = 0, -o + z - 3*z + 34 = 0. Are 34 and o nonequal?
False
Let f be (-15)/3*4/(-5). Suppose -7 = f*b + 9. Let w be b + 14*1/3. Which is greater: w or -4?
w
Suppose i - 5*s = -i + 21, 0 = 3*s + 9. Suppose m - 29 = i*t + t, -3*m + 2*t + 47 = 0. Suppose 10*d = m*d + 39. Which is greater: -14 or d?
d
Let i(t) = t**3 + 3*t**2 + 2*t - 2. Let b be i(-2). Let j be 4 + 28 + -4 - b. Let h be (-35)/j*(-4)/7. Is 4 at most as big as h?
False
Suppose -2*o - 3*o = -2*o. Let f = -1271/9 - -141. Which is smaller: o or f?
f
Let j be ((-2)/(-5))/(4/40) - 5. Is j at least 9/25?
False
Let r(x) = x - 6. Let g be r(6). Let h be (-2 - 102/(-237))*-7 + -11. Do g and h have different values?
True
Suppose 30*u - 65 = 25*u. Suppose -u = -4*c + 3*j, -4 + 2 = -2*j. Is c > 4?
False
Let i(p) = -p**3 + 7*p**2 - p + 9. Let w be i(7). Suppose -4*v - w = 2. Is v bigger than -1?
False
Let g = 26.047 + -0.047. Do g and 8 have the same value?
False
Let t = 95 + -95. Let z be (0 - -2) + -3 + t/(-4). Is 3 at most as big as z?
False
Let j = -241.4 + 276. Let c = 34 - j. Is c at least as big as 0.1?
False
Suppose 481*p + 1746 = 499*p. Do p and 96 have the same value?
False
Let n be 1/(-3) - 14/(-15). Let l = -12597 + 87988/7. Let q = 27 + l. Which is smaller: q or n?
q
Let r = 85 - 128. Let h = 41 + r. Which is bigger: -30/11 or h?
h
Let k(n) = n**2 + 7*n - 1. Let o be k(-9). Let d(q) = -q**3 + 12*q**2 - 10*q + 5. Let z be d(11). Is z greater than or equal to o?
False
Let w be (4 - -2)*2/(-4). Let t be (170/66 + w)/((-2)/3). Which is bigger: 1 or t?
1
Let h = 929.966 + -930. Which is smaller: 4 or h?
h
Let h be 21/28*(-8)/15. Let o(b) = -b**2 - 4*b - 1. Let l be o(-4). Let p be 63/(-140) - l/5. Is p less than h?
False
Let p be 8/(-44) - ((-39)/11)/3. Let n = -4 + 8. Suppose v = n*v - 3. Are v and p non-equal?
False
Suppose -10 = 2*y - 4*q, -5*y + 31 = 2*q + 2*q. Suppose -c - 1 = d, -c - 3*d = -4*c - 3. Which is smaller: y or c?
c
Let w(q) = -q**3 + 10*q**2 - q + 14. Let o be w(10). Let s be 3/(-6) + 2/o. Which is greater: s or -9/8?
s
Let j be (-32)/(-24) - (-1)/(-3). Is j smaller than 5/34?
False
Let p be 516/(-99) + (3 - 0 - -2). Is p < 1?
True
Let j = 165/4 - 41. Let i = -23.78 + 24. Let p = i + -4.22. Is j < p?
False
Suppose 0 = -27*a + 18*a + 9. Are 3/94 and a nonequal?
True
Let x(f) = -f**3 + 4*f**2 + 7*f. Let b be x(5). Suppose q + b = 2*n, 4*n = 3*n + 4*q - 2. Suppose 13 = -n*l - 5. Is -1 less than or equal to l?
False
Let s(z) be the first derivative of -z**5/30 + 25*z**4/24 - z**3/3 + 10. Let d(y) be the third derivative of s(y). Let u be d(6). Which is bigger: 2/33 or u?
u
Let n = -122 - -119. Which is smaller: -3/10 or n?
n
Let l = -61.22 - -60. Let b = l + 1.22. Which is smaller: b or -117?
-117
Let z = -1.366 - -731.366. Which is smaller: 2 or z?
2
Suppose -170 - 136 = -2*u + 4*l, 2*l = 2*u - 304. Is u > 151?
False
Suppose -3*h - 42 = -12. Let x = -6 - h. Suppose -3*q - 11 = 4*k, -2*q = -3*q + x*k + 7. Are -7/3 and q non-equal?
True
Let p(k) = -3*k - 24. Let d be p(-9). Suppose 3*a - 15 = -d*l, -a + 15 = 2*a + 5*l. Is 6 != a?
True
Let a = 389.34 - 393. Let n = a + 0.06. Is 0 at least n?
True
Let c = 7719/8 + -963. Which is smaller: 1 or c?
1
Let g = 1277/756 - 35/27. Is -1 < g?
True
Let z be 2488/(-133) - ((-10)/35 + 0). Which is bigger: -19 or z?
z
Let l = 2584 + -2579. Are l and -65 nonequal?
True
Let z = 1428 + -1427.7. Let j(m) = -m. Let g be j(2). Is g < z?
True
Suppose -1 = i - 3. Suppose -4 = i*k + 86. Are k and -46 nonequal?
True
Let r = -9/7 - 8/21. Let d = 14617 - 14619. Which is bigger: d or r?
r
Let j = 1.01 - 1.11. Let r = -10.26 - -0.26. Let i = r + 10.21. Is j at least as big as i?
False
Let j = -18 + 6. Let p = j + 12.1. Which is smaller: 0.2 or p?
p
Let l be 39/(-26) - (-1477)/982. Is l less than -1?
False
Let n(b) = -37*b + 13. Let d be n(-11). Suppose -3*q + 0*q = -d. Let y = 698/5 - q. Are 1 and y equal?
False
Suppose -588 = -26*o + 14*o. Which is bigger: -2 or o?
o
Let y = -2667 + 1857. Which is smaller: y or -809?
y
Let m(y) = y**2 + 13*y + 19. Let b be m(-12). Suppose -3*g + b = -10*g. Which is bigger: g or -3/28?
-3/28
Suppose -m + 1140 = 29*m. Which is bigger: 1 or m?
m
Suppose 0 = -87*l + 88*l. Which is smaller: l or 2/2895?
l
Let b = -47 + 50. Suppose y + 2 = -b*k + 6*k, 0 = 3*k - 5*y + 2. Is k <= 1/17?
False
Let p(b) = -11*b**2 - 11*b - 52. Let j be p(-3). Are -128 and j nonequal?
True
Let d(q) = 2*q**3 - 23*q**2 - 25*q + 5. Let f be d(12). Which is smaller: -155 or f?
-155
Let d be (-55)/(-198)*-6*(-1 - 224). Which is greater: 376 or d?
376
Let i = -759 + 758.5. Let y = 65/7 + -67/7. Are y and i equal?
False
Let s = 110 + -53. Let q = s - 57. Is 11 at least as big as q?
True
Suppose q + 3*t - 212 = -3*q, -4*q - 4*t + 208 = 0. Suppose -5*a + 279 = -2*x, 3*a + 4*x + x = 186. Is q > a?
False
Let s = 169 - 169.154. Is 0 smaller than s?
False
Suppose 5*m + 400 = i, 80 = -m - 5*i - 0*i. Which is bigger: -78 or m?
-78
Suppose f = -4*m - 28 + 26, -4*m + 4 = -2*f. Which is smaller: m or -1/938?
-1/938
Let r = -5 + 3. Let d(g) = -g**2 - 15*g - 18. Let a be ((-8)/(-10))/((-4)/70). Let y be d(a). Is r less than or equal to y?
False
Let x(n) = -4*n + 29. Let w be x(5). Suppose w*h - 15*h = 36. Which is greater: 3 or h?
3
Let j = 2/21861 + -9427/633969. Is j >= 0?
False
Let v = -2.6 - -2.7. Let r = -3.9 - v. Let y = 4 - 10/3. Is r < y?
True
Suppose 5*t - 27 + 8 = 3*z, 33 = -z - 5*t. Let c be (2/3)/((-7)/42). Let f be z/104 - (-2)/c. Which is greater: -2 or f?
f
Let p be (819/52 + -16)*4. Let k = 32843/51 - 644. Which is bigger: p or k?
k
Let s = -21.7 + 26. Let j = -4.3 + s. Is j at least 5?
False
Suppose 16*p - 3*p = -20449. Which is smaller: -1574 or p?
-1574
Let x = 8783/3 + -2896. Do x and 31 have the same value?
False
Suppose -82*l = -83*l + 7. Which is smaller: l or 6?
6
Suppose -5*g - 4*g - 2745 = 0. Which is bigger: -303 or g?
-303
Let z be (-9)/36 - ((-31)/28 - 0). Let h = 1 - 1. Which is smaller: h or z?
h
Let q be ((-3)/5)/(70/25 - 3). Suppose 0 = n + q*d + 8, 0*d = 3*d. Which is bigger: n or -7?
-7
Let i be 212/(-32) + 5 - -2. Which is smaller: i or -0.1?
-0.1
Suppose 6*j - 2*j - 4864 = 2*n, 3*j + 3*n - 3648 = 0. Is 1217 not equal to j?
True
Suppose -2*n - 1110 = -7*n. Suppose l = 7*l - n. Suppose 0 = -4*b + 27 + l. Is 17 at least b?
True
Let t(b) = b**2 - b - 2. Let s be t(2). Let p = 80 - 77. Suppose 0 = m - d - s - 5, p*d = 2*m - 14. Is m not equal to -6/13?
True
Sup