ve different values?
True
Let p(k) = -k**2 - 39*k + 580. Let u be p(-50). Is 36 equal to u?
False
Suppose 5*u - 4*j = 27, 2*u + j - 23 = -u. Suppose 2*d = -r - u, -3*r + 2*r + 2*d + 9 = 0. Which is smaller: r or -6?
-6
Suppose 50 = -5*i + 30. Let o be ((5 - 3) + -2)*(i + 3). Is o < -64?
False
Let p be ((-30)/6 - -4)*-2. Let k be p/(-7) + (-15)/(-28). Let o = 113 - 76. Is o <= k?
False
Let v = 43 + 348. Let h = -392.3 + v. Is -2/9 equal to h?
False
Let h(z) = z - 18. Let y be h(14). Let t be y/(17/8 + -2). Which is greater: t or -2/9?
-2/9
Let x = 7 + -3. Let m(l) = 3*l + 5. Let w(d) = 1. Let r(t) = -3*m(t) + 12*w(t). Let u be r(x). Is -39 at most as big as u?
True
Let y(d) = -50*d**3 + d**2 + 5*d - 19. Let j be y(2). Let f = j - -404. Is f greater than or equal to 1.83?
False
Suppose 2 = -3*b + w - 1, 0 = 3*w - 9. Suppose -5*h - 5*s + 20 = b, 4 = 5*h - 2*s - 2. Let g be 159/(-132) - h/8. Is -2 smaller than g?
True
Let i be (-6)/(-15)*(-1)/2. Let m = 812 + -781.9. Let s = -29.5 + m. Which is greater: i or s?
s
Let m(o) = -5*o - 24. Let x be m(-4). Let z = 95 + x. Let k be (26/6)/(9/189). Is z bigger than k?
False
Let w = 3699 - 2435. Let t = w - 11308/9. Is 8 at most t?
False
Let c be (29 - 28)*(-25)/(-1). Suppose -90 = -16*i + c*i. Are -0.29 and i nonequal?
True
Let v(k) = -18*k**3 - 10*k**3 - 16*k**3 + 45*k**3 + 0 - 2. Suppose 3*t - 2*t = 2. Let n be v(t). Which is smaller: 19/4 or n?
19/4
Let q be 128 + -3 + (-150)/(-15). Is 132 greater than or equal to q?
False
Let x be (1 + 44/(-20))/((-1)/30). Let w be -2*3/(-4)*48/x. Suppose -w*f = 50 - 62. Is f greater than or equal to 9?
False
Suppose 3*v - 9*v = -25*v + 247. Do 8.8 and v have different values?
True
Suppose -2 = 2*o + 28. Suppose -15*w = 22 - 262. Let u = w + o. Which is smaller: -4/23 or u?
-4/23
Let a be 6*25/60*(1 + (-5764)/20). Are -0.1 and a unequal?
True
Let r be (-43 - -41)/(21/12). Which is smaller: 11.7 or r?
r
Let a(s) = s**3 + 12*s**2 + 10*s - 9. Let c be a(-11). Suppose c*r + 4*d - 25 = -3, -4 = -d. Let z be ((-6)/16)/(r/12). Are -7 and z unequal?
True
Suppose -7*t + 14*t = -12*t. Suppose -5*v - 17 = d - t*d, -2*v + d = 11. Is v less than or equal to -15/4?
True
Let v(k) = -37*k**2 - 38*k**2 - 64 - 38*k**2 + 115*k**2 + 11*k. Let t be v(-9). Is t greater than or equal to -39?
True
Suppose -67528 - 3212 = 36*v. Which is smaller: v or -1966?
-1966
Let a = 1783 + -1075. Let p be 3*(-1 - a/(-700)). Does -1 = p?
False
Let r(x) be the second derivative of x**3/3 - 2*x**2 - 3*x. Let l be r(3). Suppose 7 = 2*v + t, -l*v + v + 17 = 5*t. Which is smaller: v or 3?
v
Let k be ((-252)/(-672) - 189/(-8)) + -6. Is k greater than -23?
True
Let a = 2456 - 2388.48. Let q = -0.52 + a. Let u = 65.5 - q. Which is greater: -2/5 or u?
-2/5
Let j be 2875/(-15) - (11/(-3) - -4). Let r be j/60*20/(-24). Which is smaller: r or 2?
2
Let w(y) = 1191*y + 1456. Let z be w(0). Is 2913/2 >= z?
True
Let q be 3*69/9 - -1. Let w be (1 + -16)*q/(-36). Let s = -1004 - -1010. Which is bigger: w or s?
w
Suppose -7*i + 2*i + 15 = 0. Suppose i*d + 1794 = -3*j, -3*d + 2*j = j + 1782. Let s be (-56)/d*15/(-2). Is s greater than 1?
False
Let s be -5 - -7 - (-1)/(-1). Suppose 3*x + 12 = -x, -x = h + 1. Suppose 0 = -6*l - 2 + h. Is s at least l?
True
Let x = -198 - -195. Which is greater: x or -3.46?
x
Let t(z) = -94*z + 92*z + 8 + 5. Let p be t(4). Suppose 0 = -8*n + p*n + 147. Is n bigger than 50?
False
Let g = -0.362 + 4.362. Let m(u) = -u**2 + 18*u - 29. Let s be m(16). Is g less than s?
False
Let j = 0.01901 + 144.98099. Is j bigger than -8?
True
Let f = -1361/16995 - -7/103. Let w(j) = -j**3 - 4*j**2 + 2*j + 9. Let t be w(-4). Let c be 2 + 2 + -6 + t. Is f at least c?
True
Let o = -717 - -1030. Which is bigger: 316 or o?
316
Suppose 5*k + 14386 = -6*t, k = -t - 932 - 1946. Is -2882 > k?
False
Suppose 22*q + 8 = 20*q. Let c be (q + (-30)/(-3))*20/6. Suppose 3*k = 5*r + 25, -3*r = 2*k - 7*r - c. Is k less than -1/73?
False
Suppose -32922 = -72*l + 165*l. Which is smaller: -380 or l?
-380
Let g(i) = 3*i + 4. Let v be g(-1). Let s = v - -1. Let a be (s/(-3))/(16/(-288)). Is 15 greater than a?
True
Let r = 206.8 + -77. Let m = r - 15.8. Which is greater: 0 or m?
m
Let v(u) = 3*u - 6. Let k be v(4). Suppose -4*j + 24 = -n, 0 = 4*j + n - k*n - 40. Let c = 0.2187 - 0.5187. Which is smaller: c or j?
c
Let o = -469 + 468. Let m be o*(6/(-8))/((-20)/(-17120)). Is 642 greater than m?
False
Suppose 3*j + 33 = -5*x, 0 = 6*j - 11*j - 4*x - 29. Which is bigger: j or 4/109?
4/109
Let v be 9/(-60)*(-70)/(-6615). Which is bigger: v or -1?
v
Let p = -2/271 + -267/542. Is -3.88 bigger than p?
False
Let h = 15343 - 15387. Which is smaller: h or 20?
h
Let q be (1 + -2)/((-88029)/(-220185) + 4/(-10)). Is 4892 not equal to q?
True
Let g = -1.16 - -0.945. Let w = 0.285 - g. Is -2/25 less than w?
True
Let f(l) = -3*l**2 + l - 11*l - l**2 + 130 - l**2. Let n be f(8). Which is smaller: n or -269?
n
Let p(g) = g**3 + 9*g**2 + 12*g - 116. Let w be p(-11). Is -3422/7 greater than or equal to w?
True
Let u = 401354 - 401049. Let v be (1 + 60)/((-2)/(-10)). Is u equal to v?
True
Let k be (2 - 0)/((6 - -1)/(-7)). Let g be 744/(-144) + k/(-12). Is g < 2?
True
Let v(k) = -25*k - 44. Let r be v(-6). Let q = 137 - r. Is q equal to 31?
True
Let f(u) = 7*u**2 - 7*u + 8. Suppose -5*g + 8 = -g. Let s be f(g). Is s equal to 23?
False
Let g(m) = 41*m + 3731. Let n be g(-91). Is -130.92 less than n?
True
Suppose 3*f - 24 - 180 = 0. Suppose -4*b = -4, -4*d + 123 = 4*b - 217. Let j = d - f. Which is smaller: j or 14?
14
Suppose 0 = -2*a + 8*a - 84. Let t = 20 - a. Suppose 2*y + t = -4*q, -5*q - 16 + 7 = 4*y. Is q at most -0.2?
True
Let h = 2/1041 - -4138/13533. Let t(i) = -10*i + 162. Let b be t(16). Let a be -1*((-7 - (b - 2)) + 7). Which is bigger: a or h?
h
Suppose -1486 - 4094 = -12*u. Suppose -25*k + u = 6*k. Is k bigger than 15?
False
Let l be 2165/(-60)*(-6)/560. Let s = -11/28 + l. Which is bigger: s or 1?
1
Let l = 508 - 512.6. Which is bigger: 4/9 or l?
4/9
Let z be 348/54*3 + (-2)/6. Let t be 112/(-21)*9/(-3). Is z < t?
False
Suppose -399*w = -395*w + 4*t - 856, 0 = w - 3*t - 226. Which is bigger: w or 212?
w
Suppose -3*n - 24 = 0, 24*n - 52 + 242 = -a. Which is bigger: a or 2198?
2198
Let a be (7/(-14) - 11283/(-12)) + (-39)/52. Which is greater: 929 or a?
a
Let u be (-21)/((-168)/(-16)) + 110/22. Does -369 = u?
False
Suppose -2*r - j = -205, 0 = 35*r - 33*r - 5*j - 259. Is r smaller than 97?
False
Let s(i) = -6*i - 1. Let t be s(4). Let y be -35 + (-9 + 8 - -14). Let g = y - t. Are 3 and g equal?
True
Let t be (-16)/30 - 2/(-10). Suppose 6*p + 235454 - 235400 = 0. Is t at most as big as p?
False
Let s = 223625/2266 - 2171/22. Is 0 greater than or equal to s?
False
Let i = 54 + -94. Let q be 5/2*(-1 - 45/i). Is 1 less than or equal to q?
False
Let w = -7871 + 7872. Let x(r) = r**2 - 7*r + 12. Let t be x(5). Let v be ((-30)/(-40))/((-51)/t). Which is smaller: w or v?
v
Suppose 64*r - 2036 = -1090 + 1870. Suppose -3*a + 21 = 5*y + 2, 3*y + 6 = 4*a. Let q = 42 + a. Which is smaller: q or r?
r
Let a be 951/4 - 1/(-4). Let i be ((10 + -19)/54)/(34412/5736 - 6). Are a and i nonequal?
True
Suppose -10*p + 96 = 6*p. Suppose -2*b - 11 - 9 = 0. Let d be (-12)/b*28/6. Is d bigger than p?
False
Let i = -3057 + 3238. Is i <= -2?
False
Let g = -37821 - -264745/7. Suppose -2*a + s + 4 = 0, 3*a - 4 = s - 0. Is a smaller than g?
False
Let x(q) be the third derivative of q**5/60 + q**4/8 - 31*q**3/6 - 255*q**2. Let w be x(-8). Which is smaller: w or 55/7?
55/7
Let g(k) = -k**3 + k**2 + 2*k + 1. Let c(t) = -7*t**2 + 8*t - 26. Let h(m) = -c(m) + 2*g(m). Let p be h(7). Is -245 greater than or equal to p?
True
Suppose 11 = 4*z + 3*j + 2, -25 = -5*z - j. Let o be (z + (-172)/8)/((-2)/(-24)). Are o and -185 equal?
False
Let d = -3306 - -29758/9. Is 19/7 greater than d?
True
Let w be ((-3)/149337)/((-516)/(-72) + -7). Is 1 bigger than w?
True
Let d = -20.843 - 0.537. Let h = d + 21.4. Do -13 and h have the same value?
False
Suppose -1591*v = -1615*v + 24. Is v at least 3/5953?
True
Suppose -83 + 97 = 7*m. Let n(j) = 42*j**2 - 16*j + 24. Let c be n(m). Which is bigger: c or 0?
c
Suppose -5*p + 14 + 13 = -4*h, p = 3*h + 34. Let t be (0 - 4)*(-2 - (2 + 4)). Suppose 5*n + 1