- (-48)/112. Let d(z) = 21*z - 125. Let w be d(p). Which is bigger: 105 or w?
w
Let x = 32 + -31. Let a be 2/4*(x + 3). Let c be (-1)/a + 2/(-16) + 1. Is -1 at least c?
False
Let n = 56377473/106190 - 18582/35. Which is smaller: 1 or n?
n
Suppose -6*b + 3426 = 37*b + 8801. Let v = 0.7 - 0.7. Which is bigger: b or v?
v
Suppose 6*r + 3*u + 3 = 5*r, -5*r + 3 = -3*u. Suppose r = -d - 18 + 17. Let c be (12/(-15))/(((-22)/(-10))/d). Is 1 <= c?
False
Let a = -1.1 - -1.2. Let p = 1.9 + a. Let q(s) = -19*s - 63. Let j be q(-3). Is j smaller than p?
True
Let b(a) = 3*a**3 - 5*a**2 - 2*a - 14. Let u be b(6). Let c = u - 457. Which is greater: c or -20?
c
Let y = 1153 + -1215. Is y greater than -62?
False
Let c(t) = -24*t + 2216. Let b be c(-17). Is 2626 at most as big as b?
False
Let g be 4/27*3*(-8830)/20. Let w = 196 + g. Are w and 0 equal?
False
Let a be (14 - 9)*(28/49 - 1). Is -9/4 >= a?
False
Suppose -5*f - 2*c = 2*c + 48, -5*c - 35 = 0. Let b = 0.35 + 1.35. Which is smaller: f or b?
f
Suppose 0 = 6*b - 2*b. Let l be 6 - 3 - (((-1023)/42)/(-11) + 1). Which is greater: l or b?
b
Let m(j) = 11109*j**2 + 21*j - 8. Let s be m(-1). Is 11081 at most as big as s?
False
Let j be 3370/(-185)*3/1122. Let a = -1/187 + j. Which is smaller: 1 or a?
a
Suppose 8*k - 158 - 162 = 40. Which is smaller: -6/19 or k?
-6/19
Let k be (((-35)/7)/(-10))/((-2)/(-4)). Let r be -4 - ((-8302)/(-296))/(-7). Which is bigger: k or r?
k
Suppose y = 5*v + 23, 0 = -3*y - 2*v + 53 - 1. Suppose 4*f + y - 6 = 0. Is f <= -12?
False
Let t(a) = -2*a + 15. Let b be t(6). Let m be (-5 - -4 - -3)*(b + -34). Is -435/7 at most m?
True
Let j be -1834*((-42)/12)/7. Do 1 and j have the same value?
False
Let c = -3 + 2. Let r be 12/8*606 - -5 - -2. Let j = r + -870. Is j less than c?
False
Let t = -145 + -116. Let b be 58/t + (-2)/((-18)/(-133)). Let p be (-95)/b + 2/3. Is p greater than 0.1?
True
Suppose 3*x + 50 = 56. Let z be x/((-20)/235)*1*2. Is z less than -46?
True
Suppose 0 = 2*s - 5*t + 97, s + 40 = 3*t - 6. Let n = -59 - s. Let u be (-1570)/(-18) - -1*n/(-9). Is u less than 87?
False
Let s = -194 + 206. Suppose -4*j = 2*y - s, -5*j = 9*y - 5*y - 18. Do j and -8 have the same value?
False
Let w = 10588 - 10573. Is w not equal to 0.201?
True
Let j = -20133/22 - -25547897/27918. Which is bigger: j or -1?
j
Suppose 22*w - 26 = 9*w. Suppose -w = -544*o + 546*o. Which is greater: -3/286 or o?
-3/286
Let n be -1*((-2 - -2) + 1). Suppose 5*s = -2*v + 733, -3*v + 1445 = v + 3*s. Let m = 2510/7 - v. Is m smaller than n?
False
Let i = 3168 - 1783. Is 1386 at most as big as i?
False
Let v = -212/5 + 42. Let q = 61 - 4574/75. Is v not equal to q?
True
Let r(w) = -3*w + 30. Let c(p) be the first derivative of p**2 - 20*p - 24. Let b(h) = 7*c(h) + 5*r(h). Let m be b(0). Which is greater: -2 or m?
m
Let m = 4 - 12. Let o be 2/m - (-4)/(5840/2483865). Let k = o - 1701. Is k <= 0?
False
Let u be 1*(8/6)/(240/900). Does 14 = u?
False
Let u = 18717729211285/239778 - 546439224/7. Let m = 2/1557 + u. Is m equal to 0?
False
Suppose 0 = n + 9 - 16. Suppose -g - n*g - 896 = 0. Let i = g + 1571/14. Do 1 and i have the same value?
False
Let b = -327 + 259. Let c = -0.073 + 77.073. Let u = b + c. Is u smaller than 1/4?
False
Suppose -c + 99 = -4. Let w = c + -411/4. Which is smaller: -1 or w?
-1
Suppose 14 + 10 = -3*r. Let p be 4/(74832/(-230756)) + 3. Let g = p - -2/1559. Which is greater: r or g?
r
Let p be 3 - 1*(2 - -4). Let y = 21 + 5. Suppose -5*q = y + 24. Which is smaller: q or p?
q
Let f = 0.07 - -22.93. Let l = 3408 + -3414. Is f != l?
True
Let c be -1 - -2 - (-16)/(-20). Let a = -2102.8 - -2106.1. Is c > a?
False
Let c be (-8254)/10 - (4 + (-88)/20). Let q be (-6)/4 + c/30. Is q != -4?
True
Let i be 3/5 + 6723/45. Let z = 102 - i. Let x be 10/6 - 1 - 160/z. Which is bigger: x or -4?
x
Let n = -74030 - -74040. Let g = 4/4243 + 394559/42430. Which is bigger: n or g?
n
Let r = 223.11 + -191.13. Do -2 and r have different values?
True
Let a(j) = -10*j - 441. Let k be a(57). Which is smaller: 1/4 or k?
k
Let s(n) = n**2 + 10*n - 8. Let h be s(-9). Let j = 160 - 175. Which is smaller: j or h?
h
Suppose -4*i = -5 - 7. Suppose 0 = i*t + 16 - 1, -2*n - 3 = 5*t. Suppose 0 = 5*z + 14 + n, 5*u - 5 = z. Which is greater: u or -1/8?
u
Let p be ((-2)/(-45) + (-20291)/(-8865))/((-14)/(-6)). Which is bigger: p or -3/131?
p
Let f be (-3)/3 - ((-20)/(-5) - 2). Let c be 5 - ((-28)/f - 2). Is -3 less than or equal to c?
True
Suppose -2*a + a - 170 = 0. Let s = -123 - a. Which is bigger: s or 46?
s
Let o = -252 - -121. Let i = 131 + o. Let u = i + 82. Which is bigger: u or 81?
u
Let i = -5.1 + 3.1. Let d = 0 + i. Suppose -j - 10 + 28 = 0. Are j and d equal?
False
Let d = 328 - 336. Let x be 4*(-10)/d - (-1 + 112). Is -105 less than or equal to x?
False
Let o be (-4 + -228)/(28/182). Is -1507 less than or equal to o?
False
Let c = -0.446 - -1.446. Is c at most -256?
False
Let k = 34 + -14. Let r be (-12)/(-5)*(-30)/k. Let q = 941/260 + r. Is q less than 1?
True
Let r(c) be the second derivative of 4*c**3/3 + 28*c**2 - 17*c. Let j be r(-10). Let d = -83 + 60. Is j at least as big as d?
False
Let s(i) = 2*i**3 - 13*i**2 + 11*i + 2. Let m be s(11). Suppose 0 = -16*u + m + 2148. Which is bigger: 209 or u?
u
Let x(h) = h**3 - 5*h**2 - 6*h - 2. Let y be x(6). Suppose -4*u + 5*k = 98, 4*u = -3*k - 76 - 70. Do y and u have the same value?
False
Suppose 100*c = -160368 + 69362 - 71894. Which is smaller: -1630 or c?
-1630
Let l = -16392 - -13744. Which is smaller: 0 or l?
l
Let n = -59.074 - -59.0643. Let y = 2 - 3. Is n bigger than y?
True
Let x = 2957 + -2799. Which is smaller: x or 164?
x
Let y be 8/(-6) + 16280/33. Suppose 2*h - 504 = -y. Which is smaller: 7 or h?
h
Suppose -22*i + 2202 = -4552. Which is bigger: i or 303?
i
Let i be (-8)/(-36) - 4/18. Suppose -11*f = 4*f - 45. Suppose 2*g + 13 = -f*p, -5*p - 8 = -3*g - 4*p. Is g equal to i?
False
Let l = -103 - -85. Let r be (-6)/16 + (4 - (-561)/(-168)). Is r greater than or equal to l?
True
Let f be ((156/102)/((-330)/(-60)))/((-2)/3). Which is smaller: 0 or f?
f
Let l = 13.7 - -115.3. Let w = -130 + l. Which is smaller: -116 or w?
-116
Let i = 186 - 112. Let z = -120 + i. Let f be (-14)/(-245)*-5 + 668/(-14). Which is bigger: z or f?
z
Let s = 16 + -28. Let p = 2392 - 2389. Let f be (s/580)/(p/(-15)). Which is greater: 0 or f?
f
Let b be ((-21)/(-6) - 3)*4. Suppose 3*v - b*v = t - 1, -1 = -5*v - t. Let q = -1226/5 + 246. Which is bigger: v or q?
q
Let r(k) = -k**3 - 8*k**2 - 17*k - 20. Let u be r(-6). Let h = -34 + u. Is h greater than -15?
False
Let k = -39408 + 4571289/116. Is 1 < k?
False
Let h = -5 - -1. Let w = -0.798 + 0.86. Let p = w - 0.462. Which is smaller: p or h?
h
Let m = -4.81 - -1.56. Let c = -3.05 - m. Which is smaller: c or 65?
c
Let y be 783/15*6/36*20. Let x = 176 - y. Is -16/17 at most as big as x?
True
Let r(p) = -59*p + 19. Let h be r(2). Let z = h - -104. Which is smaller: z or 16/3?
z
Let j be 2/(-3)*31190/(-130). Let g = j + -160. Suppose 0 = -i - 2*b - 7, b - 10 = -2*i + 3*b. Is g less than i?
True
Let n(x) = -4*x + 3*x + 37 + 37 + 6*x - 31. Let d be n(-7). Is 81/10 at most d?
False
Let n be (-2 - ((-33)/24 - 2)) + (-333)/888. Are -3/304 and n unequal?
True
Let l(a) be the third derivative of -1/12*a**4 + 0*a - 8*a**2 - 2*a**3 + 0. Let u be l(-6). Which is smaller: 2.5 or u?
u
Let r(w) = -9*w + 1 + 5*w**2 + 3 - 6*w**2 + 2*w. Let x be r(-6). Suppose -2*a - 56 - x = 0. Is a at least -33?
True
Suppose -43*n - 1352 = -17*n. Let w = -65 + 12. Is n < w?
False
Let t = -114 + 1024/9. Let d(p) = p + 1. Let s(o) = -8*o - 55. Let l(u) = 5*d(u) + s(u). Let w be l(-15). Is w <= t?
True
Let z(a) = 6*a. Let m(c) = -5*c. Let b(q) = 5*m(q) + 4*z(q). Suppose -219*j = -221*j - 2. Let r be b(j). Which is smaller: 3/5 or r?
3/5
Let f = -4446 + 5339648/1201. Is f less than or equal to 0?
False
Let t(c) = -4*c + 22. Let s be t(-7). Suppose 5*g - s + 260 = 0. Let l be (-50)/(-156) - g/(-273). Which is smaller: -4 or l?
-4
Let h be 14 - (2 + 3) - -381. Is 1563/4 less than or equal to h?
False
Let n(q) = 5*q + 20. Let g be n(-7). Let p be ((-40)/g + -4)*(-18)/4. Suppose p*b + 3 = -45. Is b bigger than -25/3?
True
Suppose 34*z - 1765 + 4451 = 0. Do z and -98 have different va