5/d*(-6)/1040. Is 1 at most as big as v?
False
Let n = -308469 + 44728198/145. Let r = 56/29 - n. Suppose 40 = -8*b + 3*b. Which is bigger: r or b?
r
Let r(d) = d**2 - 9*d. Let k be (-14)/(-10) + -1 + (-96)/(-10). Suppose -k*t = -13*t + 27. Let v be r(t). Which is bigger: v or -1?
v
Let c = 13355 - 13355.0693. Is 0.1 at most c?
False
Let q = -239.8 + 239.7. Let z = 12.248 + -0.148. Let y = z - 13. Which is bigger: y or q?
q
Suppose 209*g - 278*g - 1794 = 0. Is 17 at most as big as g?
False
Let w = 591 + -525. Suppose 15 = -w*i + 15. Is 6/125 less than or equal to i?
False
Suppose -41*r = -15*r - 520. Let h(m) = m - 1. Let n(a) = a**2 - 9*a - 26. Let l(t) = 6*h(t) - n(t). Let g be l(r). Which is greater: -79 or g?
-79
Suppose -5*q + 29 = 2*b, -5*q + 15*b - 20*b = -35. Let z(d) = 2*d**2 - 18*d + 13. Let x be z(q). Which is smaller: x or -25?
x
Let i(o) = -o - 6. Let p be i(-8). Suppose -v - 20 = -p*v. Let t(l) = 2*l**2 - 41*l + 24. Let m be t(v). Is 1 >= m?
False
Let f(o) = -24*o + 823. Let j be f(12). Is j at least as big as 1?
True
Let q = 271 + -269. Suppose -q*f = -6*f + 64. Which is bigger: 17 or f?
17
Let b = 77.024 - 0.024. Let t = -1594 + 1516.6. Let v = t + b. Which is greater: 0 or v?
0
Suppose 0 = 20*q - 25*q + 10. Suppose m + 3*x + 29 = -3*m, 21 = -m + q*x. Let k be ((-3)/(-12) - (-9)/12)*-8. Which is greater: k or m?
k
Let m(v) = -82*v + 2133. Let j be m(26). Which is smaller: j or 2/18083?
2/18083
Let r = 442 + -275. Suppose 105 = -8*n - r. Which is greater: n or -32?
-32
Suppose 7*t - 2*t = -2*w - 11, -3*w = -3*t - 15. Suppose 0 = -5*z - 3*n - 484, w*n + 100 = -z + 3*n. Which is greater: -97 or z?
-97
Suppose -3*w - 7*q + 123 = -10*q, 4*w - 5*q = 161. Let y be (66/(-8))/(101/(-1616))*(-3)/(-9). Is w less than or equal to y?
True
Let a = 234857707/4388 - 214091/4. Which is smaller: a or 0?
a
Let g(j) = -j**2 + 24*j - 36. Suppose -u + 2*r = -22, u - 3*r = 11 + 13. Let c be g(u). Which is smaller: c or 1?
1
Let q = 71 + -70. Suppose 113*b + 4*h + 2716 = 109*b, -2*b - 5*h = 1337. Which is greater: q or b?
q
Let z be -1*(5 + -14 + (-30)/(-5)). Let f be ((-3)/(-9) + 6/(-27))*z. Which is greater: f or 135?
135
Let w = 986 + -412. Let d = w - 617.9. Let l = -43 - d. Which is smaller: 1 or l?
l
Suppose -5 = -5*g - 50. Let a be ((-72)/(-20) + -4)*10. Which is greater: g or a?
a
Let u = -1326/29 - -331695/7279. Is u less than or equal to -1?
False
Suppose -x + 5*j = -25 - 7, -46 = -3*x + 5*j. Suppose 0 = -3*k + x*k + 5*d - 81, 2*d = -k + 21. Let b = 1.99 + 0.01. Do b and k have different values?
True
Let x = 444 + -252. Let f be (-1)/(-2)*x/(-36). Is f < -2?
True
Let w be 4/24 - 5/12. Suppose -2605 - 3674 = -38*f - 1491. Is f less than w?
False
Let n be (-4)/(-5) + 42/10 + -85. Is -78 >= n?
True
Let h = -4877921/262 + 18618. Do 3 and h have the same value?
False
Suppose 5*g - 245 = f, 2*g + 4*f - 90 = 6*f. Suppose 549 = -47*i + g*i. Let m be (2/1)/(i + 0). Is 0 smaller than m?
True
Let c(d) = 59*d - 184. Suppose 5*v = -0*x - 3*x + 5, 4*x - 60 = 4*v. Let p be c(x). Which is smaller: 407 or p?
p
Let z be 6 - (2 + 0 + -2). Let v be 56/(-6)*(-20)/((-40)/z). Which is smaller: v or -31?
-31
Suppose 0 = -21*l - 1454 + 278. Is -744/13 less than l?
True
Let r be ((5 - 4)*-1 - -6) + -4. Let i be r/11 + (-5)/(-10)*6. Which is smaller: 2 or i?
2
Let p = 1/32267 - 3549471/3258967. Is p greater than or equal to 0?
False
Let q be (2 - (3 - 26))*1/1. Let o be (-14)/(-10) + 15/q. Suppose -o*k - 1 = c - 7*k, -3*c - k = -29. Is c greater than or equal to 2/3?
True
Suppose 3*l = 7*l - 1324. Let p = -663/2 + l. Which is smaller: p or 0.79?
p
Suppose -2*c + 5*g + 102 = 0, 3*c - g = -c + 186. Let b be c*(1 + 1) + -1. Is b equal to 92?
False
Let m be 749/10 - -1 - 136/(-1360). Which is bigger: -8 or m?
m
Let h(m) be the third derivative of -m**5/60 + m**4/2 - 7*m**3/6 + 22*m**2. Let f be h(9). Suppose -3*j - 44 = -3*w + 82, 0 = -4*j - f. Is w at most 37?
True
Let z(k) = k**3 + 27*k**2 + 27*k + 36. Suppose 0 = 4*o + 109 - 457. Let m = 61 - o. Let i be z(m). Which is smaller: 11 or i?
i
Suppose -77 = 5*s + 18. Let p = 18 + s. Does -23 = p?
False
Let n(y) = y**3 - 4*y**2 - y + 4. Let x be n(4). Let v = -510014/613 + 832. Is v bigger than x?
True
Let v(w) = -w**3 - 40*w**2 + 310*w + 279. Let d be v(-46). Is -1287 smaller than d?
True
Let f(p) = -2*p**2 + 7*p + 48. Let d be f(0). Is 42 greater than or equal to d?
False
Suppose -98 = -2*n + 4*n. Let v be (-870*15/135)/(-1 + 3). Do v and n have the same value?
False
Let v be 185/15 - 44/33. Let f be 3/(-4)*(-134)/9. Let r = v - f. Which is bigger: r or -5?
r
Let q be 6/(786/(-5))*1349032/(-10). Let o = 5149 - q. Is o less than 1?
True
Let n be 46 - -2*(-3)/(-2). Let s = -46 + n. Suppose 0 = -32*u + 53*u. Is s > u?
True
Suppose -5875*a + 5877*a = 6. Is a < 261?
True
Suppose 780*f - 2630 = 785*f. Which is smaller: f or -524?
f
Let q be -10 + -125 + 6 + -18. Is -1626/11 != q?
True
Let r = 1.735 - 2.035. Let w = -9.91 - -10. Let s = -7.91 - w. Is r at least as big as s?
True
Let d = 7.40727 - 0.16827. Let m = 0.039 - d. Let f = m + 6.2. Is 30 bigger than f?
True
Let m = 7.68 + -14.68. Let o = -64 - -61. Which is greater: m or o?
o
Suppose -c = -u - 0*c + 129, 0 = 4*u + 5*c - 516. Let f(b) = b**3 + 6*b**2 - 6*b + 19. Let z be f(-7). Suppose -z*o = -9*o - u. Is o at least 44?
False
Let b = -39.6 + -112.4. Let v = 152.4 + b. Is v < -84?
False
Let n(y) = 61*y + 5. Let c be n(6). Let a = c + -4087/11. Let s be (-11 - (-275)/22)/(6/(-8)). Is a > s?
True
Suppose -88*f + 41*f - 1086 = -50*f. Which is bigger: 2895/8 or f?
f
Let r = -2396 + 3086. Is 690 equal to r?
True
Suppose -4*z + 67 = r, -3*r = 2*z - 0*r - 21. Let d be (-1066)/70 - z/15. Which is smaller: d or -15?
d
Suppose 3*u - n + 28 = 0, 10*n = 5*u + 13*n + 28. Let w be (2/u)/((-26)/(-104)) - -1. Is 1/596 smaller than w?
False
Let o = 42 - 39. Suppose -15*k + 12*k = o. Let c = -16056/31 + 518. Are k and c equal?
False
Let a(r) = -r**2 - 6*r - 9. Let d be a(-6). Let k(j) = j**3 - 23*j**2 + 73*j + 48. Let o be k(19). Is d at most as big as o?
True
Let y be ((-4)/8*2)/(5/(-40)). Let k be 3 - (120/45)/(6/y). Which is smaller: k or -1?
-1
Suppose 3*r - 4*u + 9 = 44, -2*u + 8 = 0. Suppose 182 + 770 = r*p. Is 56 < p?
False
Suppose 31*o - 32*o + 4*t - 15 = 0, -22 = -2*o - 5*t. Which is smaller: -2.8225 or o?
-2.8225
Let f = 1.691 - -0.189. Let n = -1.78 + f. Is -22/9 greater than or equal to n?
False
Let r(b) = 6*b + 1. Let j be r(-4). Let t = 11800 - 11827. Do j and t have different values?
True
Let a = -2309 + 2133. Which is smaller: -217 or a?
-217
Let w be (-322)/(-9) + (-1)/(18/(-4)). Suppose -u = -2*k + 3*k - 10, w = 4*u + 2*k. Let r(d) = d - 8. Let g be r(u). Which is smaller: g or -1?
-1
Let b be (6 - -1) + -7*(-12)/28. Suppose 0 = -b*r - r + 1749. Is 317/2 less than or equal to r?
True
Let y be (-3)/(-13)*(20 - -1). Suppose 411*h + 786*h - 6810 = 62*h. Which is greater: y or h?
h
Let s = 1110 - 278614/251. Suppose -35*g = -142*g + 73*g. Is g at least as big as s?
True
Let r(i) = i**3 - 79*i**2 - 157*i - 418. Let m be r(81). Let a(t) = -14*t**3 + 1. Let g be a(1). Do m and g have the same value?
True
Suppose m + 4 = -d, -2*d = -0*d - 2*m + 8. Let w be 4 - 5 - 2*d. Let s be (-4)/(-3)*((-42)/44)/w. Which is bigger: -3 or s?
s
Suppose -508*y = -939*y - 148695. Let o be ((-69)/(-2))/((-2)/20). Is y greater than or equal to o?
True
Let t = -44 - -95. Let u = 11 - t. Let r = -40.52 - u. Is -0.1 < r?
False
Let d be -635 - (3 + 0 + 11). Which is greater: d or 4/7?
4/7
Let c(v) = v**2 - 42*v - 358. Let a be c(50). Suppose -3*q = -18 + 6. Suppose 3*d = q*d - 41. Does d = a?
False
Suppose 0 = u - i - 17, u + 3 = -3*i + 4. Let x = u + -12. Let y be 1*(1/(-1)*x + 4). Is y >= 3?
True
Let o(w) = w**2 + 19*w + 3. Let g be o(-16). Let l = -46 - g. Which is greater: 4/41 or l?
4/41
Let w be -1 + (1/(-4))/((-3)/282). Let i = 0.0765 - 0.3765. Is w greater than i?
True
Let g = 9473 - 9517.7. Which is greater: -1/2 or g?
-1/2
Suppose -4*t + 9*t = 50. Let z be (3 + -1 - -7) + (-57)/(-57). Are t and z unequal?
False
Let x = 10681045/13818 - -13835/282. Let i = x - 822. Which is smaller: -1 or i?
-1
Let t(p) = 15*p**2 + p - 1. Let k be t(1). Suppose 5*c + 25 = 5*a, 6*a - a - 22 = 2*c. Which is g