 m = 1568 + -1567. Let q = -3/97 - 55/1358. Do q and m have the same value?
False
Suppose -4*y - 8 = 2*m + m, 5*m + 4 = -2*y. Let g be ((-20)/30)/(y/6). Suppose -5*u = -5*q - 31 - 24, -5*q = -g*u + 40. Is -4 smaller than q?
False
Let b = -1.2 - -4. Let q = b - 2.69. Let g = q + -3.11. Does 2 = g?
False
Suppose -f - 12 = -3*s + 2*f, -4*s = 2*f + 14. Let i(l) = -l**3 + 3*l**2 + l - 1. Let n be i(s). Is n equal to 7?
False
Let l(h) = h**3 - 13*h - 4. Let z be l(4). Suppose 2*y = -2 - z, -4*v + 13 = -5*y. Let s = 0 - 3. Is s equal to v?
True
Suppose y + 4*y = -205. Let w = -47 - y. Is w at least -6?
True
Let v = -120 - -77. Let n = 41 + v. Is n at most as big as -2?
True
Let s = 197 + -195.16. Which is greater: -1/3 or s?
s
Suppose -3*w + 2 = -r, 3*r - 14 = 3*w - 4*w. Let x = -12 + r. Which is smaller: x or -2?
x
Let s = -75804 - -3031849/40. Let k = 52/5 + s. Which is greater: 2 or k?
k
Let p = 715 - 711. Which is smaller: 5 or p?
p
Let k = 4 + -17. Is k at most as big as -13?
True
Suppose 5*l + h - 10 = 0, -4*l + 2*h = 7*h + 13. Suppose -3*y - 3*d + 14 = d, 2*y + 24 = 4*d. Let a be 56/49 - (l + y). Which is smaller: 0 or a?
0
Let u be 2 + -1 + 2 - -1. Let p = -49 - -79. Let c be (-2 - 1)*p/(-18). Does u = c?
False
Let p be (8/(-3))/((-4)/(-24)). Let g be p/56 + (-27)/28. Let w = -3 - -3. Which is greater: g or w?
w
Let a be -37*2/(-70) + 24/(-28). Is a >= 7?
False
Suppose 3*w = 4*w + 2. Let l = 0.28 - 20.28. Let u = -20.1 - l. Are w and u unequal?
True
Let o = -6 - -5. Let s = 4 + -192. Let t be s/(-330) + 9/(-15). Is t greater than o?
True
Let k(q) = -q**2 - 7*q - 5. Let o be k(-6). Let c be (3 + (2 - 4))*12/69. Is c at least o?
False
Let u = -217/8 + 373/8. Are 21 and u nonequal?
True
Let n = -35 - -112. Let y = 35 - n. Let r be y/(-4) - 5/(-10). Is r less than 12?
True
Let h be (-1)/(66/400)*(-36)/16. Let w = h - 1233/88. Which is bigger: w or -1?
w
Let w = -244 - -244.09. Is -0.04 not equal to w?
True
Let x = 5.32 - 1.32. Is -19 <= x?
True
Suppose -3*p + 82 = -2*r + 3*r, 3*p - 107 = 4*r. Let m = p + -20. Which is smaller: m or 11?
m
Let d(v) = -6*v + 47. Let i be d(5). Is i <= 18?
True
Let w = -0.376 - -0.276. Which is bigger: 604 or w?
604
Let k be (-6)/27 - (-94)/18. Suppose 0 = 5*f + 5*o + 35, -k*f = 3*o - o + 23. Let c = 2 - f. Which is bigger: 4 or c?
c
Let g = -16 - -26. Let i be (g/(-30))/(1/(-54)). Let h be i/(-8)*10/(-15). Which is smaller: h or 3?
h
Let m = 69 - -19. Which is bigger: m or 1?
m
Let a = -31997303/96 + 333319. Let r = a + -41/3. Is r less than or equal to -1?
False
Suppose 11*v + 15 = -4*v. Is -68 < v?
True
Let m be (275/10 - -10)*-6. Is -224 >= m?
True
Let f = 0.19 + -1.79. Let b = f - 1.5. Let h = b + 3. Which is greater: h or -1/6?
h
Suppose 5*w - 7740 = 5*a, w - 4*a + 6224 = 5*w. Let b = 13954/9 - w. Which is greater: b or -1?
-1
Let q = -109 + 108. Let u = 9 + -9.6. Which is smaller: q or u?
q
Suppose -4*n = 9 - 21. Suppose 14 = -f - 3*w, 3*w = -n*f + 4*w - 12. Which is greater: f or -7/2?
-7/2
Let h = -58/3 - -12. Let p = h - -10. Is p less than -2?
False
Let f = 94/21 + -3562/777. Which is smaller: -1 or f?
-1
Let v = 6.9 - 6.84. Let m = -0.24 - v. Do 3 and m have different values?
True
Let w be 1/3 + (-16)/30. Let v = w + -3/85. Let r(n) = n + 4. Let h be r(-3). Is h greater than or equal to v?
True
Let b be (165/44)/(-1 - (-94)/16). Are b and 1 unequal?
True
Suppose 2*b = -5*m - 185, -3*m = -2*m + 5*b + 14. Let x = -81 - m. Is x greater than or equal to -42?
True
Let u = -230 + 204. Is -27 greater than u?
False
Suppose 4*u + 40 = 3*h, -4*u + 2*h - 39 - 1 = 0. Which is bigger: u or -2?
-2
Let c be (-21)/12 + (621/(-36))/(-23). Which is smaller: 2/97 or c?
c
Suppose -t - 5 = -0, 4*t + 78 = -2*r. Which is smaller: r or -30?
-30
Let a be 2/1*(-18)/(-4). Let o = -16 - a. Let v = -24 - o. Which is bigger: 3/17 or v?
v
Let x be (6829/30)/((-40)/(-210)). Let k = x - 1195. Is 1 greater than or equal to k?
True
Let i be (4 + -2 + -1)*14. Suppose -2*j = 2*p - i - 6, 3*j = 3*p - 18. Is 9 bigger than p?
True
Suppose 15*q + 4 = 19*q. Which is greater: -2/35 or q?
q
Let s = 192.68 - 187. Let d = s - -2.28. Let a = 8 - d. Does -0.2 = a?
False
Let v = 61/15 + -11/3. Suppose -5*x + 17 = -3. Suppose -3 = -x*l - 7. Is v != l?
True
Suppose 4*a = -2*f + 7*f - 220, 5*f + 4*a - 260 = 0. Let r = 62 - f. Which is smaller: r or 17?
r
Let k(m) be the first derivative of -m**2/2 - 3*m + 6. Let f be k(-7). Suppose b = f*b - 15. Which is greater: b or 6?
6
Let q = -189155977/944835 + 2/188967. Which is smaller: q or -199?
q
Suppose 0 = 5*d - 2*d + 1545. Let p be 6/(-18) + d/3. Let l = p - -2576/15. Which is greater: -1 or l?
l
Let c(n) = 10*n - 67. Let i be c(7). Suppose -g = -2*b + 5*b, -i*g - b - 8 = 0. Suppose -7*s + 1 = -9*s - 3*f, 5 = -5*s - 5*f. Is s > g?
True
Suppose -3 - 1 = f - 4*t, -5*f + 5 = 5*t. Let k be (27 + 3 + f)*4/(-10). Is k not equal to -13?
True
Let c be ((-20)/5)/(130/105). Which is greater: -3 or c?
-3
Suppose 0 = -6*z + 92 - 86. Which is smaller: z or -39/5?
-39/5
Let a = -8054 + 12262. Let l = -685906/163 + a. Which is bigger: 1 or l?
1
Let c = -77935 + 387671/5. Let t = -394 - c. Which is smaller: 6 or t?
6
Let r be ((-7)/(-2))/(4/8). Let s = -14 + r. Let o be (-2)/s - 2/7. Are -2/5 and o equal?
False
Let f(j) = -j**2 - 8*j + 182. Let m be f(-18). Let u = -717/88 + 102/11. Is m greater than u?
True
Let n be 2*1/(-26)*-2. Let h = -34 + 34. Do n and h have the same value?
False
Let w(p) = -2*p**2 - 8*p + 8. Let n be w(-6). Which is greater: -122/7 or n?
n
Let k be 32 - (-4 + 4)/(-1). Let d = k - 16. Let w = -19 + d. Is w bigger than -4?
True
Suppose -11*u = -8*u + 36. Let k = 14 + u. Suppose a = k*a. Are 1 and a equal?
False
Suppose -2 - 12 = -7*j. Let v(b) = -11*b**2 - b**3 + 1 - j + b**2. Let h be v(-10). Which is bigger: h or 1?
1
Let o(l) = 2*l - 7. Suppose 0 = -0*r - r + 5*r. Let a be o(r). Let v = -2 - 3. Which is greater: v or a?
v
Let j = 276 - 4138/15. Let v(q) = -q**2 + 7. Let w be v(0). Suppose -w*a = -2*a. Is a at least as big as j?
False
Suppose 3*v + 134 = -5*h, -17*h - 5*v = -16*h + 18. Is h > -26?
False
Let x(v) = -2*v + 54. Let p be x(26). Suppose z - 4*z + 2 = i, -z + p = -i. Which is smaller: 4 or i?
i
Let l = -190 - -189.54. Which is smaller: 6 or l?
l
Let r be ((-8)/3)/((-93)/(-9) + -11). Suppose 4 + 0 = h. Suppose f - h = s, f - 5*s = -2*f + 22. Which is smaller: r or f?
f
Let z be -3 + 2*21/14. Which is smaller: z or -1/390?
-1/390
Let b(r) = r**2 - 2*r - 2. Let g be b(3). Suppose -3*o + 68 = 3*i + 8, 5*o - 20 = 0. Suppose i*w = 13*w - 51. Which is smaller: g or w?
w
Let p = 0 - 0. Let g be 12/(-18) - (-718)/330. Let j = 21/11 - g. Which is smaller: p or j?
p
Let v = 3217/105 - 152/5. Is 1 > v?
True
Let c(g) = -g**2 - 10*g + 13. Let m be c(-14). Let o = m + 24. Let l = o + 19. Are -2/77 and l non-equal?
True
Let h(k) = k - 21. Let d be h(-17). Let q = d - -38. Is q smaller than -1/74?
False
Let z be (-7)/(-2)*(-12)/(-21). Suppose 0 = 4*t - 6 + z. Is 16 bigger than t?
True
Let r be -10*(-12)/(-2 + 5). Suppose -q + 5*n = -19, 12 = 4*q + 4*n - r. Let b = q + -15. Which is smaller: b or -2/7?
b
Let n(k) = k**2 - 32*k + 125. Let z be n(25). Which is bigger: 1/3 or z?
1/3
Let b(r) = 2*r**2 - 7*r + 3. Let l be b(3). Which is smaller: 15 or l?
l
Let r be 2 + 1 + (-1 - -9). Suppose 8*j - r*j = 0. Let v be (-29)/13 + 0 + 2. Is v < j?
True
Suppose z = -0*m + 4*m + 8, 5*z + 10 = -5*m. Let r be z + 3 - -6 - 0. Let n be 8/(-45) - 2/r. Which is smaller: 3/5 or n?
n
Let h be (-3)/(-1 + 10/2). Let z = -17/12 - h. Let b be -1 - (-2)/4 - -1. Which is smaller: z or b?
z
Let b(t) be the first derivative of t**3/3 - 9*t**2/2 + 4*t + 3. Let z be b(8). Suppose -i - 3*y = -5*i - 11, 0 = -y - 3. Which is greater: z or i?
z
Let v = 0.699 - 0.259. Which is smaller: v or -2/9?
-2/9
Let q = 14/1363 + -767411/4089. Let h = -184 - q. Which is bigger: 4 or h?
4
Let k be ((-3)/(-5))/((-3)/2). Let n = 1659/4 + -180823/436. Which is smaller: n or k?
k
Let b(k) = -4*k - 16. Let l be b(-2). Is -10 < l?
True
Let q = -12 - 0.8. Let g = -14 - q. Let j = g - -0.2. Which is smaller: j or 0?
j
Let l = -5 + 8. Let d be 207/(-1449) - (8/(-7) + 1). Suppose -4*i - 4*n + 4 = 0, -3*i + 5*n = -d*n - l. Is 3/8 bigger than i?
False
Suppose f