1575)*45/(-6). Which is greater: -3 or r?
r
Let o(x) be the first derivative of x**3/3 - 11*x**2/2 + 30*x + 41. Let i be o(4). Which is greater: i or 5/4?
i
Let q(m) = m**2 + 8*m + 13. Suppose -b = 2*a - 3*a - 4, -4*a = 2*b + 28. Let p be q(a). Do p and -2/115 have the same value?
False
Suppose 0 = 3*d + 2*g - 7, -g = 4*d + 4*g - 21. Let t be 1344/1358 + d + 0. Do t and -1 have different values?
True
Let f be (-4)/(-26) - 111/(-39). Suppose x = f*c - 4, -3*x = -c - 4*x - 4. Let v be ((-4)/(-7))/(20/14). Which is smaller: v or c?
c
Let a(h) = -h**2 - 10*h + 12. Let j be a(-11). Let d be (-33)/(-22)*2*j. Suppose 0*p - 37 = -2*p + d*b, -2*p + 5*b + 43 = 0. Is p at least 14?
True
Let z(h) = -2*h**2 - 34*h + 165. Let q be z(-21). Is q < -47/23?
True
Let t = 37 + -25. Let d be (t/(-18))/((-2)/33). Let c = d + -10. Which is greater: c or 4/9?
c
Let k = 41 + -44. Which is smaller: -4 or k?
-4
Let h = 0.584 + 0.016. Let v = h + 0.4. Does -2 = v?
False
Let l be (16/(-12) + 2)*117/26. Which is greater: 4 or l?
4
Let o be (-5)/10 + 2/4. Which is bigger: o or -3/59?
o
Let f = 5.6 - -8.4. Let r = -110 + 123.8. Let g = f - r. Is -0.1 < g?
True
Suppose 4*s = -18 + 14. Let x be (15/(-1275))/(0 - s). Is x <= 1?
True
Let m = -28 - -27. Let d be 7/(-42) + m/(-6). Let l be 4/(-200) + 0 + 0. Which is smaller: l or d?
l
Let z = 1/14 - 4/7. Let k = -72 - -195. Let d = k + -124. Does z = d?
False
Suppose -9 = -3*a, -2*d - 3*a - 50 = 1. Does d = 0.3?
False
Suppose f - 508 = -i + 322, -i + 820 = -4*f. Let o = -5778/7 + i. Which is bigger: 4 or o?
4
Let d = -275 + 309. Is 34 > d?
False
Let q = -3.2 + 4.2. Which is bigger: q or 2/9?
q
Let n = -54.8 - 1.2. Let i = n - -51. Is i bigger than -0.4?
False
Let u = -1.9 + 2. Let g be (6 + -51)*2/3. Let x be g/(-105) - (-8)/21. Is u != x?
True
Let s = -1.2 + 1.1. Let x = 693 - 691.7. Which is greater: x or s?
x
Suppose -j - 685 = -4*z - 146, 5*z - 678 = -3*j. Is z less than 4?
False
Let h = 1.21 - 0.7. Let j = h - 0.21. Which is smaller: j or -2?
-2
Suppose -2*o - 4*o = 6. Let l be 3/2*-2*o. Is l equal to 10/3?
False
Let p(i) = 7*i + 1. Suppose 12*s - 5 = 7*s. Let m be p(s). Let h = 4 + -5. Does h = m?
False
Let g = 244.996 + 0.004. Is g smaller than -1?
False
Let c = -797239663334/903 + 882878735. Let y = 1284/7 + c. Let q = 27/215 + y. Which is smaller: q or 0?
0
Suppose 5*i - 4*i + 5 = 0, 3*i + 42 = -3*o. Let t be o/(-14)*(-56)/(-48). Let g(z) = -z - 11. Let f be g(-12). Which is bigger: t or f?
f
Suppose 4*v + 8 = -5*d - 3, 0 = 2*d + 2*v + 6. Let j(r) = 4*r**2 - r. Let f be j(d). Suppose 0 = -g + f*g. Which is greater: 1/5 or g?
1/5
Suppose -23*k - 830 - 3908 = 0. Is -206 less than or equal to k?
True
Suppose -5*c + 2*c - 15 = 0. Suppose -25 = -5*i + 25. Let j = i - 14. Does j = c?
False
Let g be (2480/(-372))/(22/(-3)). Is g != 0.7?
True
Let i = 49568247/1247 - 39750. Is -1 <= i?
True
Let c be ((-2)/(-4))/(-1)*2. Let m = -5570 + 5562. Which is greater: m or c?
c
Let c(v) = v**3 - 5*v**2 + 3*v - 7. Let k be -4*4/(-16) + 1. Let z = k - -3. Let i be c(z). Which is smaller: 9 or i?
i
Suppose -3 - 7 = -2*l, 0 = 3*c - 3*l + 141. Let r be (-5 - -9)*c/(-8). Does r = 21?
True
Let j(r) = -2*r**3 - 14*r**2 + 3*r - 1. Let k be j(-8). Which is smaller: k or 105?
k
Let m(h) = 30*h + 615. Let j be m(-19). Is 57 at least as big as j?
True
Let d = 2574336616/2987199 + 2/157221. Let l = d - 862. Which is smaller: l or 1?
l
Let h be (-4963)/(-42)*12/(-8). Are -177 and h equal?
False
Let t = -233 - -413. Is t at most as big as 180?
True
Let g(v) = 2*v + 37. Let i be g(-15). Let f(r) = -r**2 + 8*r - 12. Let y be f(5). Suppose y + 11 = 2*s. Does s = i?
True
Let z(s) = 7*s + 42. Let r be z(-15). Let n = r - -49. Which is greater: -13 or n?
-13
Let n be -1685 - (-5 - (-5 + -3)). Which is greater: n or -1689?
n
Let p(k) = 6*k**2 + 2*k. Let i be p(0). Suppose -17 = -3*j + 1. Suppose 0 + 9 = 5*v - 3*d, -3*v + j = -2*d. Is i >= v?
True
Let f = -1112/3 - -371. Is 220 equal to f?
False
Let t be 7 + (-3 - -1 - -1). Suppose 2*i + 4*i = -156. Let q = -20 - i. Do q and t have the same value?
True
Let l = -394.91 + 395. Which is bigger: -12 or l?
l
Let s(n) = -n**3 + 15*n**2 + 11*n + 31. Let x be s(16). Which is bigger: x or -47?
-47
Let u = 623 - 590. Does 67/2 = u?
False
Let k(w) = -w**2 + 4*w + 14. Let a be k(11). Let v be (-5)/(-7) - 18/a. Which is bigger: v or -2/15?
v
Let p be 5/(-2 - -7) - (-178)/(-182). Is -0.2 <= p?
True
Let i = -98 - -98.081. Let q = -4.919 - i. Is q at least -2?
False
Let n = 11.5 - -47.5. Let o = -60 + n. Is 0.043 at least o?
True
Let s be (10/(-90))/((76/24)/19). Let d = 0.03 - 3.03. Is s smaller than d?
False
Suppose -6*k + 9 = -4*o - 11*k, -3*o - 24 = -2*k. Suppose -2*l - 3*a + 4*a - 3 = 0, -a - 17 = 3*l. Is l <= o?
False
Suppose -2*d + 224208 = -110*d. Is -2075 smaller than d?
False
Suppose 4*w - 8 = 0, 2*w - 37 = 5*i + 172. Which is bigger: i or -38?
-38
Let t(h) = -53*h + 582. Let d be t(36). Are d and -1326 equal?
True
Let r(u) = u**2 + 24*u + 34. Let d be r(0). Suppose 2*s = -2*x + s + 62, 2*x - 4*s - 82 = 0. Which is bigger: x or d?
d
Let t be 0 - -2 - 89*1. Let v = 523/6 + t. Let f = 70 - 139/2. Is v smaller than f?
True
Let d = 406.2 + -405. Which is greater: -16 or d?
d
Let f = -446 - -351.85. Let l = f - -94. Is 2/5 at least as big as l?
True
Let a be (-56)/234 + (-18)/81. Suppose 7 = -5*o - f, 14 = -5*o - 4*f + 1. Is a < o?
False
Let h(b) = b**3 + 54*b**2 + 106*b + 105. Let w be h(-52). Is w >= -0.5?
True
Suppose 2*i + 28 = 2*x + 34, 2*x - 3*i + 8 = 0. Let s = -49/6 + 74/9. Which is smaller: s or x?
x
Let w = 940/17 + -40811/731. Is w smaller than 0?
True
Suppose 5*o - 4*v - 4 = 0, 5*v - 2*v + 3 = 0. Let c be (104/1092)/((-4)/2). Is o at least as big as c?
True
Let j = -3 - -2. Let d(k) = -24*k. Let b be d(-10). Let v be 6/45 + (-332)/b. Which is smaller: v or j?
v
Suppose 2*x + 2*f = 332, -272 - 266 = -3*x + 5*f. Is x at least as big as 168?
True
Let t(v) = -4*v. Let k be t(-2). Let f = 620 + -617. Which is bigger: k or f?
k
Let x = 327.9 - 362. Let s = x - -35. Is 3 < s?
False
Let l = 235.07 - 236. Is -0.1 less than or equal to l?
False
Let c = -0.083 + 0.083. Is -1 less than or equal to c?
True
Let x = 30 + -47. Let b be ((-2)/15)/(x/5). Suppose 2 + 0 = -2*y. Is b at most y?
False
Let v be (4/(-3))/((-2)/3). Suppose -3*y = -v*t + 3*t - 16, 4*y - 36 = -5*t. Suppose 5*s + y*g = -13, 0 = -s + 3*s - 2*g - 2. Which is greater: -2 or s?
s
Suppose -3*f - 4*c + 18 = 0, 0 = 3*f - 5*c - 64 + 19. Let q be ((-5)/f)/((-2)/140). Let t be 14/4*5/q. Which is smaller: t or 2?
t
Suppose 35 = -16*s + 21*s. Suppose 4*j = s*j. Suppose 2*w + 2*w - 2*n + 2 = j, 0 = w - 3*n + 3. Which is greater: w or -2/9?
w
Suppose 0 = 3*t - 10 - 2. Suppose 21 = 4*o + n - 4, 3*n = t*o - 21. Let z be o*2*(-1)/16. Do 1/2 and z have the same value?
False
Let l be ((-22)/(-4) - 6)/(14/(-148)). Is 0.2 > l?
False
Let c(v) = v**3 - 8*v**2 + 9. Let k be (-2)/6 - 1/(-3). Suppose -4*q + 38 - 6 = k. Let z be c(q). Which is greater: 15/2 or z?
z
Suppose 4*t + 5 + 17 = -2*n, 2*t = -3*n - 45. Let d = n - -10. Which is bigger: -6 or d?
-6
Let q = 4.052 - 0.352. Are q and -3 equal?
False
Let b be (0 + -1)*29 + 4. Let y = 24 + b. Is y less than 4/15?
True
Let o(n) = 23*n**2 + 2*n - 2. Let i be o(1). Let p = i - 163/7. Which is bigger: p or 8?
8
Suppose m - 2*m = -27. Suppose -11*q = -12*q + 27. Is q greater than m?
False
Let y be (-3 - (-11)/3)*60/250. Which is smaller: y or 1?
y
Let w(o) = o**3 - 7*o**2 - 7*o - 3. Let s be w(8). Suppose -s*m + 1 = 6. Which is smaller: -1/10 or m?
m
Let b(u) = 4*u**3 - u**2. Let m be b(1). Suppose -m*d - 2*d = 10, 3*h + d + 62 = 0. Let q = -28 - h. Which is greater: -7 or q?
-7
Let s = -12013/34 + 321479/238. Let j = s + -999. Which is smaller: j or -3?
-3
Suppose 2*c + 10*c - 5076 = 0. Are 423 and c non-equal?
False
Let v = 354 - 353.97. Which is bigger: -0.7 or v?
v
Let y = 670 - 667. Let r = 464 - 2306/5. Which is smaller: r or y?
r
Let a = 0.07 + -0.07. Suppose -4*z + 4 = 0, 327 = 2*k - 0*k - 3*z. Let g be (-5)/(k/18)*1. Are g and a nonequal?
True
Suppose 0 = 26*c - 22*c. Which is bigger: c or 10/47?
10/47
Let n(j) = j**2 + 8*j - 10. Let w be n(-9). Let m = 0 - w. Let x be m*1/(-21)*-3. Is -1 greater than or equal to x?
False
