e 3/68 and m equal?
False
Let o = -946 - -27436/29. Let b be (-23)/(-65) + (-10)/65. Which is bigger: b or o?
b
Let j = 284 - 287. Let s be 5/3*(j + 6). Suppose 0 = 5*r + v - 4, -2*v + 3*v - 1 = -2*r. Is s at most r?
False
Let n = 8.2 + -6.8. Let k = 59.6 + n. Are k and 0 nonequal?
True
Let w be (-15)/20 + (-63)/(-4). Suppose 7*r = 4*r - o + w, -5*r + 2*o + 25 = 0. Suppose -4*s - 12 = -5*g + g, -r*g = -4*s - 14. Is s != 2/63?
True
Suppose -8 = 4*s + x, 2*s + 5*x = -8 - 14. Let q be -6*(1 - 18/16) - 243304/325856. Which is bigger: q or s?
q
Suppose 2*b - 4*a = 10, -4*b + 4*a + a + 17 = 0. Suppose -3*t - 96 = b. Let r = t - -35. Which is bigger: r or 1?
r
Let l = 90 + 59. Let v = l - 310. Is v < 0?
True
Suppose -58 = 2*q + 5*r, 2*q = -3*r - 83 + 25. Let f be 2/((15 + -14)*(1 + 31/(-29))). Is q < f?
False
Let q = -66738 + 66787. Let h be 288/2 + (-2)/(-1). Let o = h - 96. Is q equal to o?
False
Let x be 2/(11*(-4)/(-12694)). Does 2878/5 = x?
False
Suppose -3*t - u + 14 = -t, 4*u - 21 = -3*t. Suppose -8*o = -t*o - 1823. Let q = -195058/107 + o. Which is bigger: -1 or q?
q
Let f = -8 + 14. Let k be ((-480)/(-576))/(10/f). Is 0 >= k?
False
Let z be 1*(-1)/((-1)/12). Suppose -7*i + 6 = -6*i - y, -i = -3*y - z. Let m = 7 - 3. Is i bigger than m?
False
Let f(q) = 2*q**2 - 5*q - 5. Let z be f(7). Let l(o) = 25*o + 0*o**2 - 348 + o**2 + 382. Let t be l(-26). Which is smaller: z or t?
z
Suppose -l + 24107 = 2*m, 3*m + 3*l = 30966 + 5187. Are 12057 and m unequal?
True
Let h be ((-63)/2*376/(-141))/(-2). Is h greater than -39?
False
Suppose 0 = 79*t + 101*t - 21*t - 159. Is -7/514 <= t?
True
Let z(o) = -o**2 + 458*o + 39317. Let v be z(-74). Let n = -10 + -35. Which is smaller: v or n?
v
Let b(r) = -30*r - 144. Let s be b(-6). Suppose -5*i - 59 = s. Which is greater: -11 or i?
-11
Let i be (8832/(-1288))/(1732/(-14)). Is 0 >= i?
False
Suppose 2*j + 5*y = y + 8, 5*y = 4*j - 29. Suppose 3*b - 2*t - 14 = 0, 5*b = j*b - 5*t + 4. Which is bigger: b or 2?
b
Let y = 0 - -1. Let t be ((-4)/(-10))/(-99*(-2)/10). Let z = t + 524/3465. Does z = y?
False
Let o = -753.8 + 675. Let t = 79 + o. Which is smaller: 2/63 or t?
2/63
Let p = -3.258 - -3.758. Which is greater: p or -1.4?
p
Let f be 6 + (1 - 2/((-8)/(-12))). Suppose f*z - 3 = -l, 0 = 4*l - l - 4*z - 9. Which is bigger: 5/3 or l?
l
Let s be (-24)/(-18) + ((-3572)/(-3))/(-2). Is s less than -7?
True
Suppose -2*i = -g + 253, -4*g = 4*i - 0*g + 512. Let f = -38 - i. Let r = -703/8 + f. Does -0.2 = r?
False
Let s be 2860/(-26) - 2/(-1). Let w be (-183)/(-1332) + 9/s. Let b(m) = -m**3 - m**2 + 2*m - 1. Let r be b(1). Which is smaller: r or w?
r
Let b = 219 - 222. Is 83 <= b?
False
Let u be (2/6*-1)/(2/(-6)). Let o be 28119/6669 - -1*1. Let c = 46/9 - o. Is u < c?
False
Suppose 13951*f - 14003*f + 11076 = 0. Let y = -104 - -316. Is f bigger than y?
True
Let z be (-4)/(-18) + (-114)/1242. Let g = -17795 + 17794. Which is greater: z or g?
z
Let w = -119 + 126.5. Let d = w + 5.5. Which is greater: 2 or d?
d
Let c = 61 - 60. Let w be c*4/(-18) + (-212)/612. Let s = w - 30/17. Which is greater: s or -3?
s
Let i = -1117 - -1119. Let a be -6*4/(-8) + -49. Let x be (a/230)/(i/(-18) + 0). Which is smaller: x or 2?
x
Let k(u) = u**3 - 53*u**2 - 88*u + 3672. Let n be k(53). Which is greater: -15 or n?
-15
Let r = 42 + -42. Suppose -26 = -5*c - 4*v - 2, r = c + 3*v - 7. Let j be ((-30)/(-36) + -1)/(c/(-9)). Do 0 and j have different values?
True
Let o(d) = -7*d**2 - 91*d + 338. Let v be o(-16). Which is bigger: -2/8227 or v?
v
Suppose -v + 90 = 2*v + 2*l, 5*l = -15. Is -13 < v?
True
Suppose 0 = -r - 2*j + 6, 4*r - 6 = 2*j - 4*j. Let x be (-4)/26 - (-32354)/(-21567) - (-5)/3. Is r <= x?
True
Suppose -4*b - 21 = 5*h, -h + 5*b = 2*h - 17. Let t = -2/3 - h. Let z = 40.9 + -41. Is z != t?
True
Let l be (-2 - (10 + (4 - 11)))*3. Let f = -6732/13 - -518. Which is smaller: l or f?
l
Let j = 5 + 14. Suppose -4*r + 16 = 4*z, 3*r - 4*z = -12 + 3. Suppose 0 = p - 4*v - j, -3*v - 16 = -r. Is p smaller than -1/13?
True
Suppose 10*r - 6*r - 344 = 0. Let l = -94 + r. Let i be 27/(-6) + ((-18)/l)/(-3). Which is greater: i or -0.1?
-0.1
Let y = -89.51 + 89. Let l = 3.81 + y. Let j = -3.6 + l. Is 4 not equal to j?
True
Let c = 44832 + -29006313/647. Which is smaller: c or 1?
c
Let c = 21016 + -21015. Is 40/1507 bigger than c?
False
Let l = -396.9 + 397. Is l at most as big as -0.206?
False
Suppose 0 = 9*n + 1 - 217. Let b(k) = n*k - 8 - 15*k - 10*k. Let w be b(-10). Is 1 > w?
False
Let k(w) be the first derivative of -w**4/4 + 4*w**3/3 - w**2 + 2*w - 3. Let h be k(3). Suppose h*f + 2*y - 1 = 4, 2*y = 0. Which is greater: f or 4/19?
f
Let f(n) = 5*n. Let w be f(-1). Let u(k) = -6*k - 9. Let m be u(-3). Suppose -7*v = -m*v - 4. Which is smaller: v or w?
w
Let l(h) = 52*h**2 + 7*h - 9. Let t be l(6). Let a = 115152/805 - 235759201/115115. Let z = a + t. Is -1 at most as big as z?
True
Let d be (2858/8)/(390/(-416)). Let j = d + 381. Is j less than 12?
True
Suppose 9*d - 1023 - 192 = 0. Let a be -6*2/30 + 1374/10. Which is smaller: d or a?
d
Let f = -123.948 + 124. Let x = f - 0.014. Let w = x - -0.062. Which is smaller: -1/29 or w?
-1/29
Let o = 7908 + -7339.95. Let l = o + -568. Is 8 > l?
True
Suppose 20*d = 21*d - 2. Let g be 1/d + 0/6. Let k = 55 + -54. Which is bigger: g or k?
k
Let a(s) = s**2 + 10*s - 1. Let m be a(-10). Let v be (-1)/((1 - 0)/m). Let d be (-4 + -1)*(-7)/(595/(-8)). Do v and d have the same value?
False
Let h = 44 + -49. Let b = h - 0. Suppose 0 = 4*g - f + 19, -2*g - f - 5 = -0. Which is bigger: b or g?
g
Let q = -10.789 + 10.589. Is 78 greater than q?
True
Let b = 282 + -283. Is 11/65 > b?
True
Let w(b) be the second derivative of 0 - 13/2*b**2 - b - 1/4*b**4 - 4*b**3. Let r be w(-7). Do 8 and r have the same value?
True
Let i be (-180)/135*(-6)/(-4)*473/(-10). Is 96 less than i?
False
Let p = -255 - -253. Let h be (-36)/6 + (-8)/p. Is 25 > h?
True
Let y(u) = 15*u**2 - 76*u + 1288. Let z be y(28). Which is bigger: 10921 or z?
10921
Let s = 1/8155 + 16297/106015. Which is smaller: s or 80?
s
Let i = 11651 - 12654. Which is greater: i or -1012?
i
Let a be (-8)/6*(-79305)/(-34). Which is greater: -3109 or a?
-3109
Suppose -16 = 4*r, -4*r - 815 = -2*k + 57. Let g = k + -280. Which is greater: g or 149?
149
Let f be 12/54 - (-2048)/18. Suppose -a - 4*m = -135, -2*a - m + 1875 - 1640 = 0. Is f greater than or equal to a?
False
Let t(v) = v**3 + 21*v**2 - 50*v - 120. Let u be t(-21). Which is bigger: 929 or u?
u
Let v = -55.5 + 78. Let g = v - 22.419. Which is smaller: g or 0?
0
Let x be 0 + -2*(-2 - (-600)/298). Let n = x - 5207/298. Let r = 3677/210 + n. Which is smaller: r or 1?
r
Suppose 180 = 4*p - 2*p + 2*i, -i + 260 = 3*p. Let f be (-29)/((-290)/100) + (-272)/28. Which is smaller: p or f?
f
Let u = -685/3 - -230. Let j(v) = v**3 + 9*v**2 + 9*v + 11. Suppose 5*f + 5*k + 8 = -7, 0 = f - 5*k + 33. Let w be j(f). Are w and u unequal?
True
Suppose -6*d = 5*c - d + 10, 5*c - 5*d = 40. Let y be c/26*88/(-33). Is y bigger than 1?
False
Let i = 1387 - 1388. Are i and -45/1087 nonequal?
True
Let b be 3554951/1727 - 6/(-11). Is b at most 2059?
True
Let t be ((-2)/(-8))/(2/4). Suppose -10*v = -2163 + 2153. Which is smaller: v or t?
t
Let d be ((-21)/9 - (-10)/(-15)) + 2. Let o be 4/21*3 + 40338/(-68558). Which is bigger: o or d?
o
Suppose 2*y + 21*y - 1625 = -102*y. Which is smaller: 47/4 or y?
47/4
Let l be 12/9*81/(-6). Let a(s) = -468*s + 915. Let m be a(2). Is m greater than l?
False
Let m(s) = -25 + 36*s**2 - 16*s**2 + 15*s - 21*s**2 - 20. Let t be m(10). Suppose 0 = 3*u - 5*u - t*q + 25, 0 = u - 2*q - 8. Is 1 at most u?
True
Let k be 1/((-9)/12*2). Let b = -0.97 + 58.97. Let o = -54 + b. Which is smaller: o or k?
k
Let y(s) = 6*s**2 + 4*s - s**2 - 6*s**2. Let b be y(2). Let j = 51242/9609 + 2/3203. Is j not equal to b?
True
Let d be -92 - ((-2)/9 - (-224)/36). Is -119 bigger than d?
False
Let l = 7525 + -5665. Is 1861 smaller than l?
False
Suppose 0*k + 4*k = 232. Let a = -33 + k. Let v = a + -25. Which is smaller: -2 or v?
-2
Let x be (4/3 - 0)/(3435510/(-1035)). Is x greater than or equal to 0?
False
Let c be 8/(-63)*1000/(-60). Let o = 34/27 - c. Which is smaller: o or -2/3?
o
Let f = 0.5 + -0.3. Let c = -152 + 158. Let g be c