= -2*j - 2*i - 12, 5*j + i + 3 = 0. Let l be (207/115)/((-6)/20). Let o be (8/l)/((-8)/6). Is o not equal to j?
True
Let v be (-15 + -1)/(28/3038). Which is greater: -1737 or v?
v
Let r(y) = -y**3 - 5*y**2 + 2*y + 12. Let w be r(-5). Suppose 2*v - 16 = -w*v, 3*v = 2*f + 2. Suppose 2*m + 5*l - 16 = -m, -f*m + 4*l = -39. Is 8 < m?
False
Let i be -5 + ((-2)/6 - (-125)/15). Suppose -i*l - 5*o - 4 - 11 = 0, 3*l + 2*o + 6 = 0. Do -2/543 and l have the same value?
False
Suppose -14 + 12 = -2*h, k - 4*h = -12. Let w(z) = z**2 + 15*z + 55. Let p be w(k). Which is smaller: -22/19 or p?
-22/19
Let l = -624.9864 + 625. Let k = l - -40.9864. Are k and -2 unequal?
True
Let x = -224 - 595. Is x less than -817?
True
Suppose -4*g = -3*z + 8*z - 41, 3*g + 13 = 5*z. Let v(n) be the first derivative of -n**4/4 + 2*n**3 - 5*n**2 + 7*n - 6. Let o be v(g). Is o not equal to -5?
True
Suppose 3*k - 4*m + 3 = 8, -4*m + 9 = -k. Let q be ((-21607)/(-102))/(-41) - (-11 + 0). Which is smaller: q or k?
q
Let z be 7722/273*21*4/12. Is z > 205?
False
Let x = 10609/1824 + -185/32. Which is greater: x or -12?
x
Let m(f) = -18*f**2 - f - 77. Let w be m(6). Is -731 less than w?
False
Let f be (-6)/(-13) - 4946256/126672. Is f greater than -40?
True
Let p be 12/(-52) - (-6404665)/(-4420). Is p < -1448?
True
Suppose 5655 = 25*t + 6*t - 176*t. Does t = -40?
False
Let x(f) = f**2 - f + 4. Let l be x(3). Let p(d) = -22*d - 284. Let z be p(-13). Suppose -49 = 3*s - 8*s - q, -3*q + 30 = z*s. Is l greater than or equal to s?
True
Let z(o) = -o + 36. Let i be z(-39). Suppose 88*l - i*l = -1690. Which is smaller: -131 or l?
-131
Let w = 615 + -620. Let t be (3 + w)/(5 + -42). Are t and -5 equal?
False
Let g = 2/2939 - -105790/20573. Suppose -33 = -p + 37. Let c = p - 66. Are g and c equal?
False
Let k = -211 + 163. Let p be 18/(-9) + 1/(k/(-100)). Is -8 > p?
False
Suppose 8*l - 43*l + 2100 = 25*l. Which is smaller: 26 or l?
26
Let m = 0.5 - -8.5. Let o = 2103 - 2113. Which is smaller: o or m?
o
Suppose -242*f + 239*f + 5*d = 149, -6*f - 103 = 5*d. Let n = 11 + -36. Is n bigger than f?
True
Let l = 572/7 - 82. Let c = -10 - -8. Let h = c - -7. Which is smaller: l or h?
l
Let a = -724 + 684. Suppose -b - 3*x - 26 = x, 38 = -5*b + 3*x. Let m be b/a*(0 - -4). Which is smaller: m or 1/6?
1/6
Suppose -2*r = -3*r + 14. Suppose -15 = -5*g + 2*g, n + 2*g - r = 0. Suppose c + 5*b = 7, -n*c + c + 85 = -b. Which is smaller: 26 or c?
26
Let d = -1.9 - 10.1. Let k = -598 + 301. Let h = k + 296. Which is smaller: h or d?
d
Let c(k) = k + 10. Let o be c(-16). Let i be 2/(-65)*199 - 248/310. Which is bigger: o or i?
o
Suppose -2*j + 2*u = -3*u - 19, -2*u - 25 = 5*j. Let c be (-2 - -2) + j - -3. Let o be 56/357*(2 - 5). Are o and c equal?
False
Let d be 1443/722 - (1 - -1). Suppose 0 = 4720*f - 4717*f - z + 3, z - 7 = -f. Which is smaller: d or f?
d
Let z be ((-12)/(-61212))/(-13 - -12). Which is bigger: z or 1?
1
Let s = -160615/1628721 - 11/4833. Is 1 less than s?
False
Suppose 0 = 10*y - 12*y + 74. Suppose 212 - y = 25*x. Which is smaller: 98/13 or x?
x
Let d(h) = 6*h**3 - 102*h**2 - 68*h + 88. Let i be d(18). Suppose 5*x - 2110 = 1930. Is x not equal to i?
False
Let w be 5 + 13/(52/(-36)) - -1638. Is 1634 greater than w?
False
Let n = -213 + 214. Let k = -60 + n. Is k greater than or equal to -60?
True
Let y be 2/4*(23 - 11). Suppose y*x = 57 + 69. Is x >= 26?
False
Suppose -730 = -2*g + f, 5*g - 3*f = 2*g + 1101. Suppose 5*z - 4*d = g, -d = 5*z - 0*d - 378. Let i be 15/z - 1/5. Which is greater: i or -1?
i
Let o = 0.13791 - 12.13791. Which is greater: o or -472?
o
Let n = -383 - -377. Let d be (n - (-60)/8)/(-210). Is 0 > d?
True
Let w = -95126 - -2187373/23. Is -22 greater than w?
True
Let t(z) = z**3 - 8*z**2 - 7*z - 13. Let k be t(9). Suppose u - 1 = -2*n, -3*n + k*u + 0*u - 5 = 0. Which is smaller: n or -38/27?
-38/27
Let n = 62 + -65. Let x be (-3)/(6/(-7)) - n. Let a = -17 - -25. Is a at most x?
False
Let x be (3551 + ((-196)/(-112))/(3/(-12)))*1. Is x at least 3541?
True
Let r be 1/(3/((-6)/8)). Let f = -269 + 395. Suppose l - 3*l = -3*t - f, -3*t - 123 = -3*l. Is r less than t?
False
Let y(k) = -4*k**2 + 2*k + 42. Let b be y(0). Let c be 2/21 + (-988)/b. Which is smaller: c or -23?
c
Let a = 2.64 - 2.5. Let w = a + -0.05. Let o = w + -0.01. Do 3/7 and o have the same value?
False
Suppose -2*x + 16 = 4*h - 0, -x - 4*h + 2 = 0. Suppose -9*b = -x*b + 200. Let a be (-2)/21*(-70)/b. Are a and -1 non-equal?
True
Let l be 1*10/15*105. Let o = -90 + l. Is -20 greater than o?
False
Let r be (-50)/(-8)*(1 - 5). Let h be 852/(-30) + (17 - (-498)/(-30)). Is h at most r?
True
Suppose -3*c = -5*t - 59 - 82, -5*t = -7*t. Is 50 at most as big as c?
False
Let o be (40/(-180))/((-4)/30) + 9 + -10. Is 10062 != o?
True
Let f = 13.0589 + -0.0589. Let a = -3.6 + -0.4. Let r = a - -3.9. Is r smaller than f?
True
Let p = -25 - -4. Let b be (-1276)/(-396) + 1 + (-22)/18. Let m be (-2)/b - (-232)/(-12). Which is smaller: m or p?
p
Suppose -70*b + 34 = 454. Which is smaller: b or 73?
b
Let u(g) = 38*g - 80. Suppose 26*d = 67 + 11. Let i be u(d). Which is smaller: 35 or i?
i
Suppose 17*z = 12*z + 125. Suppose -8*p + 3*p + z = 0. Let y(d) = -d**2 + 5*d + 1. Let f be y(p). Which is smaller: 20/11 or f?
f
Let u = -4358.08 + 4447. Let p = u - 89. Let i = 0.4 + -0.3. Is p > i?
False
Let h = -3738 - -3737. Which is bigger: h or -2/37217?
-2/37217
Let b = 4852 - 4836. Is 136 bigger than b?
True
Let b = 97131256/2665 + -36447. Which is smaller: 0.1 or b?
b
Let k = -224207/4 - -3923846715/70004. Is -1 not equal to k?
True
Suppose -50*h + 46 = -30*h - 43*h. Does h = 2/1057?
False
Let d = 4821 + -8116. Is -3297 at least d?
False
Let r be 9/36 + 0 + 334/72. Let d(w) = 3*w**2 + 33*w + 6. Let v be d(-11). Are v and r equal?
False
Let f = 2 - 13. Let q = -39 + 41.5. Let u = q - 4.5. Which is smaller: u or f?
f
Let g = -53 - -57. Let z be 6/4 + (-6)/g. Let r be 27/(15/(-5)) - (0 + z). Which is smaller: r or -38/5?
r
Let x = -13.8 + -0.6. Let l = 0.011 - 14.011. Let g = x - l. Which is bigger: g or -1?
g
Suppose -4*q = -20, 272 + 975 = -4*d - 5*q. Let p = d - -234. Is -82 >= p?
True
Let c(b) = -b**2 + 2*b + 1. Let z(y) = -y**3 - 5*y**2 - y + 8. Let g(o) = 2*c(o) + z(o). Let j be g(-8). Is 55 < j?
False
Let c = 86 + -40. Suppose 2*w + 5*n + c = 0, 2*w + 51 = -4*n + 5. Is w bigger than -122/5?
True
Suppose 33*i + 3726 = -36*i - 0*i. Is i greater than or equal to -57?
True
Let i(s) = 32*s - 215. Let z be i(7). Suppose -4*g = 3*j + 68, z + 25 = -2*g - 2*j. Let l be 94/9*(-3)/2. Is g greater than or equal to l?
False
Let s = 7 + 10. Let j = -1837 + 1837.11. Do s and j have the same value?
False
Let j = -21.59 - -39.59. Which is smaller: -85 or j?
-85
Let t be 0/(-1) + 0 + 642/642. Which is smaller: 38/91 or t?
38/91
Let t(p) = -24*p**2 + 118*p + 798. Let z be t(-7). Which is smaller: z or -1207?
-1207
Let w(i) = 4*i + 4. Let r be w(-12). Let g be 5*1/(-2)*r/55. Suppose -5*h - 4*m + 20 = 0, -g*m + 5*m = 15. Which is bigger: h or -6/11?
h
Let o(y) = -832*y - 14024. Let w be o(-26). Which is smaller: 7610 or w?
w
Let y(w) = 27*w + 302. Let u be y(-11). Let k = 39/170 + -1/34. Which is smaller: u or k?
k
Let s = 284/15 - 7669/405. Which is smaller: -1 or s?
-1
Suppose -15*i = -18*i - 30. Let f be (-1189)/205 - (-2)/i. Which is smaller: f or -4?
f
Let g be (-225)/(-1177) - (3*-7 - (-36 - 2608/(-176))). Let y = 1 + -1. Are g and y nonequal?
True
Let h = -32.472 + 31.9. Let x = -0.472 - h. Are -12.5 and x equal?
False
Suppose -5*b - 10 = -s, -6*s + 4*s = -5*b - 15. Let o be (19/4 + -5)*(1 - 35/45). Do b and o have the same value?
False
Let c be (9/54 - (-1)/(-6))/1. Suppose 5*b = 3*q + 4, b + 0*b - 2 = c. Suppose 3*l - 1 - q = -4*w, 3*l + 3*w = 6. Which is greater: 2 or l?
l
Let a be -3 - (-384)/((-12)/(-4)). Suppose -138*y + a*y = -546. Is -4 != y?
True
Let w = -16.384 + 16.384. Is w bigger than -2465?
True
Let u be ((273/6)/(-7) - 3) + -2. Let d = 65 + -54. Let g = d + u. Which is greater: -4 or g?
g
Let l = -312 + 304. Let k be (-252)/72*l/7 + -43. Which is smaller: k or -46?
-46
Let n be ((-18)/10 - -2)/1 + (-73602)/(-7290). Are 11 and n unequal?
True
Let l(t) = -3*t**3 - 17*t**2 + 7*t + 14. Let q be l(-6). Let p be 1/17*((-13)/q)/(-13). Whi