19/6?
False
Let j = 7956 + -8372. Which is smaller: -429 or j?
-429
Let i(q) = -202 - 3*q + 188 - q. Let c be i(-5). Let v be (1 - 4) + (-396)/(-52). Which is smaller: v or c?
v
Let x be 1/(-4 + (-84)/(-20)). Suppose -2*v + 3 = -x*v. Let a = 2102 + -300588/143. Which is bigger: a or v?
a
Let x(a) = 6*a + 2*a**2 - 3*a**2 - 25*a - 1. Let g be (19/(-1))/(14 + -13). Let j be x(g). Is j at most as big as 1/21?
True
Let x be (1 - 3)*(0 - 1). Suppose r + 4*z = 12, -r = x*r - 3*z - 21. Let a be (-3 - 5)*(-12)/r. Is 14 greater than a?
True
Suppose -6*i - 4*m + 3 = -7*i, 5*i - 80 = m. Let x(q) = 2*q - 32. Let k be x(i). Suppose -3*z - 5*h + 7 = 0, -6*h + k*h = z. Is z > 4?
False
Suppose 278*a - 48 = 274*a. Suppose -4*h + 2 - 18 = -2*s, -s = 3*h + a. Is 4/31 equal to s?
False
Let n be (-8)/18 - 1780/(-36). Let l be 14/(-35) - 1679/(-35). Which is bigger: l or n?
n
Let z be (-1*(-348)/16)/(-1 - 206/16). Is 2/5 smaller than z?
False
Let q = 2552 - 2553. Which is bigger: 3/173 or q?
3/173
Let z = 22653.1 + -22653. Suppose -4*t - 2*r - 64 = 2*r, 0 = -5*t + 3*r - 112. Let p be -1 - -1 - t/75. Does p = z?
False
Let w = 183391/130100 - 141/100. Are 1 and w non-equal?
True
Let s = 0.69 + -0.554. Let d = s + 0.164. Let y = -41/100 - -4/25. Is y <= d?
True
Suppose 18*q - 169 = 47. Suppose -14*h = -q*h + 6, -5*h - 432 = s. Is s greater than -417?
False
Let c = 213/10 - 2103/110. Let d(p) = -2*p**3 + 11*p**2 + 8*p - 9. Let k be d(6). Is k equal to c?
False
Let v be -39 + 40 - ((-107)/(-35) - 1). Which is smaller: v or -2?
-2
Suppose -5*x = 88*g - 87*g - 16742, -2*g + 2*x + 33388 = 0. Which is bigger: g or 16703?
16703
Let l = -386 - -380. Let t(b) = -b**2 + 38*b + 8. Let i be t(l). Is i >= -256?
True
Let f be 1 + -2 - (-1)/1. Let i = -217 - -199. Let g be 6/i*(-2)/86. Is f equal to g?
False
Let d = -51 - -57. Let r be (-2545)/(-3675) - 2/d. Let n = r - -2/49. Which is smaller: -4/7 or n?
-4/7
Let q = -6/533 - -1785/16523. Let l = -122.9 + 122.6. Is l >= q?
False
Let i = 1172 + -1171.9157. Is 0 < i?
True
Suppose -3*i - 9 = -3. Suppose 4*a + 30 = -3*o, 4*a - 9 = 2*o + 11. Let x be (i/(-10))/(o/(-50)). Are 2/3 and x equal?
False
Let o be 14/8*(0 + 3 + 1). Suppose 349 = o*x - 477. Suppose -5*r - x = -303. Is r bigger than 37?
False
Suppose -565 = -50*c + 1264 + 2271. Suppose -4*p - 5*k = -356, 3*p - k + 0*k - 248 = 0. Is p equal to c?
False
Let t be ((-8)/(-10) - 1)/((-70)/175). Is t greater than -8/221?
True
Let l = -1617.049 + 1617. Which is smaller: l or -2/13?
-2/13
Let s be (-3876)/(-19) + 29 - (5 + -1). Is 232 <= s?
False
Let z = -27859/14 - -1990. Let q = -3 + 15. Which is smaller: z or q?
z
Let b = -19 - -12. Let j = 3 - 1. Suppose 0 = -j*r - v + 1, 3*v - 28 + 9 = 2*r. Do r and b have different values?
True
Let p = 0.03011 + -0.23011. Which is smaller: -0.12 or p?
p
Let t = 5264 + -5306. Which is smaller: 12 or t?
t
Let s be (-1876)/21*(-30)/(-20). Let f = s + 143. Is f at most as big as 18?
True
Suppose -4*r = 3*k - 18, -3*r + 20 = -5*k + 4*k. Suppose 0 = -4*j - 5*n - r, -4*j + 2*n = 6*n + 4. Which is bigger: 10/33 or j?
j
Let m be (-13082)/2046 + (8/6)/(-4). Is 2 bigger than m?
True
Suppose 1 = g - b + 5, 7 = -3*g + 2*b. Suppose -373*p = -367*p + 1824. Let k be 0 - ((-8)/2)/p. Is k less than or equal to g?
True
Suppose -8 = -4*w, 2*h - 1025 = 2*w - 309. Let n be h/(-5) + -4 + 7. Which is bigger: n or -281/4?
n
Let n = 29 - 245. Let v be (0 + -1 + 4)/((-117)/n). Is v != 5?
True
Let d = -50 + 28. Let a(b) = -56*b + 394. Let l be a(7). Which is bigger: d or l?
l
Let r(d) = 203*d + 5628. Let w be r(-28). Let x(h) = -10*h - 6. Suppose -3*k + 13 = -2. Let y be x(k). Is y greater than or equal to w?
True
Suppose -a + j + 7 = 0, -53 = -5*a - 524*j + 526*j. Is -191 less than a?
True
Let h = 796.7 - -7.3. Let b = h + -804.77. Is b at most as big as 2/3?
True
Let c(p) = 3*p + 0 + 14 - 3*p - p. Let o be c(2). Is 81/7 <= o?
True
Let n = 222 - 223. Let d be (0*2/(-16))/(1 - n). Let p = -219/88 + 26/11. Which is smaller: d or p?
p
Let w = 1225 - 2605/2. Let y = -4138/21 - -1937/7. Let m = y + w. Which is greater: 3 or m?
3
Let x be 3/2 - (-11 + 644/56). Which is smaller: 1/7066 or x?
1/7066
Let s be (-23 + 70338/3059)/((-12)/7). Which is smaller: s or -1?
-1
Let f = 4300 + -4306. Is 1/4 less than f?
False
Let h be (-11)/(231/(-9))*14. Let v be (25/(-12825))/(-2 - (-9)/h). Is 0 greater than v?
False
Let j be 21/4 - 2/8. Let y = -104550 - -104560. Is j less than or equal to y?
True
Let i be (4/6*3)/(-5). Suppose 14*c = 8*c + 36. Suppose 2*k = 2*f + c, 2*k - 6*k - 2*f = 0. Is i equal to k?
False
Suppose -d + 320 = d - 4*m, 0 = -4*d - 5*m + 627. Let r = d - 66. Do r and 91 have the same value?
False
Let i be 2/(0 + (-2)/9). Let y = 24 - i. Let o be (y/9)/((-35)/(-21)). Are 2 and o nonequal?
True
Let y = 13 - -6. Let s = -231 - -236. Let w be (-6)/(s/10*4). Is y <= w?
False
Let u be (-64776)/(-40635) - 304/190. Are u and 0 nonequal?
True
Suppose 6*q - 7*q = -5. Suppose 0 = -q*c + 136 + 4. Let n be (4/(-2))/(-2*c/(-12)). Is n < 0?
True
Let g(o) be the first derivative of -o**3/3 - 3*o**2 + 42*o - 15. Let b be g(-10). Let z be 36/9 - (b - 272/(-138)). Do z and 1 have the same value?
False
Let n(a) = -a**3 + 7*a**2 + 20*a - 4. Let u be n(12). Let y be (u/4 + -3)/2. Which is greater: 0 or y?
0
Let p(r) = 2*r + 6. Let k be p(-3). Let j(i) = -50*i**3 - 14 - i - 6 + 51*i**3. Let f be j(k). Is f at most -23?
False
Suppose 0 = 23*v - 28*v + 10. Suppose -w - v*a - 26 = -2*w, -5*w = 2*a - 106. Suppose -3*l = -0*l - 3*r - 54, -l - 3*r = -34. Is l at most as big as w?
True
Let o(i) = i**2 + 4*i + 3. Let x(d) = -d**3 - 9*d**2 - 9*d - 10. Let z be x(-8). Let b be o(z). Let f = -1310/7 + 17028/91. Is b at most as big as f?
True
Let p(m) = -4*m + 161. Let a be p(0). Let y = 295/2 - a. Are y and -13 unequal?
True
Suppose 12*y = -y - 52. Let i be y/5 - (-2)/3. Is 0.09 < i?
False
Let i = -173 - -313. Suppose -6*x + 484 = -i. Suppose -2*g = 2*g - x. Which is greater: 25 or g?
g
Let d be 9/((-162)/(-4)) - (-106409156)/13599. Let u = d + -7825. Let g = 217571/58929 + u. Are g and 4 unequal?
True
Let k = 654 + -356. Let p = k + -297.825. Which is greater: 1/4 or p?
1/4
Let m be 21216/(-468)*((-1)/(-15))/((-4)/(-5526)). Which is smaller: m or -4175?
m
Let j be 30026*(22/(-4) - -5) - -3. Let q = 585350/39 + j. Is q equal to -1?
False
Let p = -8058 + 8058.05. Is p at most 3.73?
True
Let j = -595.3 - -595.3. Let y = 0.239 + 304.761. Which is greater: y or j?
y
Suppose -3*j = -4*m - 8 - 10, -4*j + 11 = -m. Suppose -12 = -o - j. Which is bigger: 11 or o?
11
Suppose y - 2 = -0*y. Let i = -77493 + 77493.043. Which is smaller: i or y?
i
Let q = 81.2 + -79. Let i = q - 5.2. Is i bigger than 2/35?
False
Let w be 3/(-1*21/(-161)). Suppose w = -4*z - 17. Which is smaller: z or -12?
-12
Let q be 0 + (4 - 6) - (-18 - 0). Suppose -k - q = -9*k. Let j be (3 - 80/25)*k*1. Which is greater: j or -4?
j
Suppose 4*h - 4*j = 5*h - 20, 4*j = -3*h + 20. Let l be 0 + (-2)/(-6)*(0 + h). Let r be 4/(-4)*(2 - l) - 33. Is -33 < r?
False
Suppose 7*h - 575 = 972. Is h > 221?
False
Suppose -h + 73 = 74. Let b = 134 + -1207/9. Is b smaller than h?
False
Let g = -813582 - -813582. Suppose 89 = -5*b - 2*r, -3*r + 60 = -4*b + r. Which is smaller: g or b?
b
Let p = 19662412/213 + -92312. Which is greater: p or 1?
1
Let x = 3740192/3477 + -20438/19. Let q(c) = -c**3 + 7*c**2 - 6*c. Let s = 17 - 11. Let u be q(s). Are u and x nonequal?
True
Suppose -3*c - u + 8904 = 0, -2879 = -4*c - 2*u + 8995. Are c and 2967 nonequal?
False
Let j = -4 + 7. Let v be (2/(-6))/(j/9). Let u be ((-63)/(-70))/((-12)/10) + 0. Are v and u unequal?
True
Suppose -3*r + 161 = -2*j, 5*r + 4*j = 95 + 188. Let s be 30*r/20*-2. Is -165 at least s?
True
Let u be (-1 + 134/5)/(8/40). Let r be -2 + u/18 + (-155)/31. Is -9 at most r?
True
Suppose 0 = -29*i - 252*i + 462245. Are 1644 and i unequal?
True
Let q(f) be the second derivative of f**3/2 - 3*f**2 - 41*f. Let c be q(3). Suppose 4*o - 3*r + 23 = 0, -c*r - r = o + 1. Which is bigger: -4 or o?
-4
Suppose -3*s + 5*p = 70, -2*s - p = 3*p + 10. Let x = 0.505 + 15.495. Is x smaller than s?
False
Suppose 4*q + 777 = -z, -3*q - 2358 = 8*z - 5*z. Is -789 <= z?
True
Let f = 5897/38 - 931/6. Let a = -6 + 7. Is f at most a?
Tr