 -1052/15 - -70. Let m = -221/210 - 7/30. Is b >= m?
True
Suppose 6*y - 63 = -y. Suppose 13*b = y*b + 376. Suppose 6*i = 20 + b. Is 1 greater than or equal to i?
False
Let r = -11 - -10.93. Let l = -443 - -654. Let o = 216 - l. Is r != o?
True
Let d be (-8)/(-6) - (-2)/(-6). Let n = -954 - -684. Let u be ((-867)/435 + 2)/(108/n). Which is smaller: u or d?
u
Let o = -56 + 64. Suppose 9 = -o*q + 49. Suppose 70 + 45 = -q*f. Which is smaller: -24 or f?
-24
Let y = 359 + -325. Let v be (-11)/(-4) + ((-40)/(-4) - 13). Is y not equal to v?
True
Let a(x) = -x**2 + 6*x + 8. Let y be a(7). Let o be (9430/164 + -50)/((-30)/(-16)). Do y and o have the same value?
False
Let t = 3772 - 1749. Which is smaller: t or 2024?
t
Let z = -1403 - -35063/25. Let t = -86/75 - z. Is t at most 0.11?
True
Let m = -40 - -49. Suppose -6 = -3*x - m. Let v be ((-62)/(x + 3))/1. Is -31 < v?
False
Let j(g) be the first derivative of -3*g**2/2 + 129*g - 20. Let l be j(0). Suppose 0*d = -3*d + l. Are d and 0 nonequal?
True
Let v = -23960 - -23959.9. Suppose m + 4*m + 10 = 5*a, -1 = -a + 2*m. Suppose 3*u - 2*s = u, -2*u + a*s = 1. Which is greater: v or u?
u
Let a be 4/(1/((-9)/6)). Let q be (9/a + 0)/((-3)/(-28)). Let r be ((-3)/q)/(9/96). Which is smaller: 3 or r?
r
Let d(c) be the first derivative of c**3/3 + 3*c**2 - 25*c + 16. Let j be d(-9). Is j at least as big as 9/14?
True
Let p be (((-1028907)/36)/(-19))/((-645)/(-4)). Let b = 1/215 + p. Is 8 >= b?
False
Let k be 278/(-8) + ((-2)/(-2))/(-4). Let z be 10/k + 23/(-42). Suppose -2 = 2*q - 0*q. Which is smaller: z or q?
q
Let f be 0/9 + (2 - -6 - 3). Suppose 0 = 5*g - 246 - 524. Suppose -i + 34 = -x, -f*x + g = 4*i - 0*x. Which is bigger: i or 34?
i
Let n = -1/14453 - 3526505/390231. Is -9 at most as big as n?
False
Let u = 282 + -283.43. Let t = 1.33 + u. Is 18 at most t?
False
Let c = -4 - -9. Suppose -4*k = k + c. Suppose 3*i + 2*i - 4*q - 5 = 0, 5*i - 2*q - 5 = 0. Is i equal to k?
False
Let g(r) = -r**3 - 29*r**2 + 159*r + 56. Let b be g(5). Let p be 3/2*(-10)/(-354). Is b less than p?
False
Let j = 94282/5 + -18749. Let c = 1099/10 - j. Which is greater: 7 or c?
7
Let b be 5 + 1 + 4 + -4. Let o be (-236)/(-24) + 1/b. Is o at most as big as 10?
True
Let q be (4/438)/(42795/(-810)). Which is greater: q or -1?
q
Let v = -101 + 107.1. Let p = v + -6. Let s be (1*-3)/(-1) - (5 + -9). Which is bigger: p or s?
s
Let d = -328 - -691. Suppose 0 = 7*t - 8*t - d. Which is smaller: -362 or t?
t
Let f = 3980 + -4155. Which is bigger: -179 or f?
f
Let h = -8649 + 8649. Is -4/331 greater than or equal to h?
False
Let z = -10 - -8. Let a be (-6380)/(-45) - (z - -3). Let d = a + -141. Is d at least as big as 1?
False
Let s(a) = 14*a**2 + 405*a - 251. Let k be s(-29). Which is smaller: k or -19?
k
Let n = 57 + -206. Let s = 67 - n. Is s smaller than 215?
False
Let l be (-9)/6*(-28)/(-42) - (-88)/7. Which is smaller: l or 12?
l
Let v = -42 - -42. Let f be 6*2*(-4 - -3). Let k be (-254)/(-204) - (-16)/f. Which is smaller: k or v?
k
Let n be (-53682)/9 + (-4)/(-6) + -1 + 0. Which is greater: 1 or n?
1
Let x be (-50394)/(-86) + 2 + (-14 - -18). Let a = 592 - x. Which is bigger: a or 1?
1
Let u be ((-125040)/1350 + 8/36)*(-1000)/12. Which is greater: 7702 or u?
7702
Let i = 3240 - 3165. Suppose -m - 3*m = -236. Let x = m - i. Which is smaller: x or -29/2?
x
Let n = -7.2 - -5.8. Let j = 0.8 + n. Let k = 0.8 + -1.8. Do k and j have the same value?
False
Let p be (-41390)/(-20)*2/58. Let j = 143/2 - p. Let m be 10/((-200)/108) - (0 + -5). Do j and m have the same value?
False
Let b be (-1 + 1 + 4)*-12*(-15)/720. Which is bigger: b or -2/3027?
b
Let h = -34738 - -34736. Let p be (16/6)/(38/(-18)). Which is smaller: p or h?
h
Let f = -8535 + -322. Let r = f - -3020239/341. Does r = 1?
False
Let q = 12 - 15. Let o = -83162 - -414286/5. Let n = o - -302. Which is smaller: n or q?
q
Let i(k) = -k**2 - 4*k + 3. Let u be i(-7). Let n be u/(-30)*20/(-104). Which is smaller: 0 or n?
n
Let z = -1733 + 3975. Let g = -156943/70 + z. Is g >= 1?
False
Let q = 8335 + -7932. Are 410 and q equal?
False
Suppose -4 = v + 2. Let y = 4384 + -4391. Is v at most y?
False
Let a = -1.7 + -3. Let d = a + 1.8. Let q = -1 - -0.9. Is d greater than or equal to q?
False
Let b = 59.728 - -0.272. Let p = b + -32. Does 0.2 = p?
False
Let b = 32481.2846 - 32525.6. Let u = b - 0.0846. Which is bigger: -2/7 or u?
-2/7
Suppose -128*k + 6525 = -119*k. Is k at least as big as 722?
True
Let c be -7*((-2)/7 + 5 - 3). Let u be (-22)/((-720)/174 + c/(-3)). Which is bigger: 160 or u?
160
Suppose -43*r = 8*r - 25*r. Which is greater: r or 7/397?
7/397
Suppose 648 = 2*m + 4*u, -2*u = 5*m - 1438 - 134. Is 318 <= m?
False
Let f be ((-72)/45)/(66/(-90)). Suppose -4*t - 23 - 22 = -5*w, t = -5. Suppose -w*i + 11 = 1. Is i smaller than f?
True
Let j be (-111 - -1)*5/105. Let n = -2897/63 + 500/9. Let q = n + j. Which is smaller: 3 or q?
3
Let d(u) be the first derivative of u**4/4 - 6*u**3 - 10*u**2 + 16*u + 172. Let m be d(19). Is 19 != m?
True
Let a(c) = c**2 - 10*c - 10. Let o = -221 + 230. Let p be a(o). Are p and -15 equal?
False
Let d = -1.6832 + 1.8902. Do d and 1.5 have different values?
True
Suppose -n = 3*t + 14, 2*t - 3*n + 18 = 5. Let y = -413 - -407. Is y < t?
True
Suppose -2*o - 34 = 0, -141*m - 146*m + 92 = -290*m - o. Suppose -3*y = 2*y + 10. Let b be -28 + ((-4)/1)/y. Are m and b nonequal?
True
Let f = -8006.96 - -8347.393. Let b = f + 0.567. Are b and -2/3 equal?
False
Suppose -4*l = 2*i - 268, l + 62 = i - 63. Suppose 4 = 4*z, -641 = -5*h - 6*z + 10*z. Is i less than or equal to h?
True
Let a = -0.3392 + 22.3392. Is 58 greater than a?
True
Let j be (-13)/(-3) - 1876/804. Let c = 8 - 5. Suppose -c = -j*u - u. Which is smaller: -2/9 or u?
-2/9
Suppose -2*v + 23 = -0*v - 3*a, -v = -3*a - 19. Suppose 5*l = l - v. Let r = -166/29 + 814/203. Which is smaller: l or r?
r
Let m(s) = -2*s**2 - 8*s - 14. Let c = -37 - -89. Let i be 8/c + (-108)/26. Let r be m(i). Does r = -15?
False
Suppose -4*w + 3*h - 337 - 43 = 0, -3*h - 172 = 2*w. Let t = 24 + w. Let z = t - -87. Which is smaller: 20 or z?
z
Let y(r) = -3*r**2 - 18*r + 203. Let n be y(6). Are n and 181 non-equal?
True
Let f = -3 - -3. Let q be -8 - (36315/264)/(-15). Let n = q - 6/11. Which is smaller: n or f?
f
Let q be 1906/((-1)/((-3)/(-2)))*148/444. Is q at most -956?
False
Suppose 2*m - 12 = 6*m. Let j(f) = 59*f - 87. Let l be j(-27). Let a be (-2)/(-7)*l/270. Is a <= m?
False
Suppose 0*h - 4*h - 192 = 0. Let z = 386 + -381. Suppose -5*y = z*r - 9*r - 211, 5*r + 251 = 2*y. Which is smaller: h or r?
r
Let g be ((-43)/4)/((-481)/(-257)). Let x = g + -3/481. Let h = x + 6. Are h and 1 nonequal?
True
Let d = 26 - 32. Let w = -2 - d. Let z = 11 - w. Do 6 and z have different values?
True
Let k = 160 + -161. Let o be (k - -1 - 1/26)*1. Which is smaller: -1 or o?
-1
Let j = -2566 - -2608. Does 15 = j?
False
Suppose -61*x - 132 = -30*x - 43*x. Which is smaller: x or 12?
x
Suppose 0 = -s + 4*p + 2, -333 = -3*s - 5*p - 327. Let a be (-1)/(-2)*(-18)/(-7). Which is smaller: a or s?
a
Suppose 769 = 5*p + 3*s - 7*s, 0 = 2*p - 5*s - 311. Suppose 0 = 157*a - p*a. Which is bigger: 20/21 or a?
20/21
Suppose u = 2*u - 2*v - 11, -5 = 2*u + 5*v. Suppose -5*i + 5*g - u = 0, -2 = 2*i + 4*g - 0. Let t = -3/5 - -4/15. Does i = t?
False
Let m be ((-1)/1 - -1) + -12. Let c = 32924 - 32939. Which is greater: c or m?
m
Let n = -33788 - -33755. Let w = 56 + -113. Let d = -88 - w. Is d less than or equal to n?
False
Let g(v) = -v**3 - 2*v**2 + 3*v + 3. Let h be g(-3). Let j = -7274 + 7276. Suppose -j*x = -h*x. Which is smaller: x or 2/27?
x
Let z = -94 - -94. Let o be 104/(-52)*(1/(-3) - z). Which is bigger: -6.1 or o?
o
Let j be (-10)/2 + (-19575)/935 + 3. Let o = -390/17 - j. Is o greater than -1?
True
Suppose -9*c + 30 = -33. Let n(s) = 3*s + 31. Suppose 9 + 8 = -4*w + 3*q, -2*w + 2*q = 6. Let f be n(w). Is f bigger than c?
False
Let k = 2304 + -366331/159. Does 1 = k?
False
Suppose 4*w - 10*w - 91692 = 0. Let r be (-9)/(-6) + w/16. Let j = r + 952. Is -3 smaller than j?
True
Let r(m) = -77*m**2 + 19*m + 174. Let f be r(-6). Which is smaller: f or -2711?
f
Let n = 0 - -0.2. Let y = 20.29 - -1026.71. Let a = y + -1047.5. Which is smaller: a or n?
a
Sup