1/125 > v?
True
Suppose -59*y - 9 = -62*y. Suppose 4*j = -3*f - 9, 7*f = 3*f - j + 1. Let b be (f/(-15))/(6/(-18)). Is b <= y?
True
Let w(s) = 407*s - 195. Let h be w(5). Which is greater: 1841 or h?
1841
Suppose -6*r - 64 = -4*k - 2*r, 4*k - 2*r = 64. Suppose -21 + 1 = 4*l - 5*c, 4*c = k. Does 19/21 = l?
False
Let m = -7.3 + 5.3. Let l be (-7)/(-3)*(-564)/42. Which is bigger: l or m?
m
Let s be ((48/(-4))/(-2))/(-3 - -1). Let a be (s - -2) + 5 + 20. Suppose a = -8*g + 2*g. Which is smaller: -2 or g?
g
Suppose -9*l - 567 = -16*l. Let f = -74 + l. Suppose -5*r = 3*u - 9, r = 2*r + 5*u + f. Is -10/7 equal to r?
False
Let x = -30 + 33. Suppose 7*y - 4 = x*y. Let j be (2 - 5/3)/(y/(-3)). Is j at most as big as 2/11?
True
Let z(j) = -3*j**2 - 2*j**2 - 6*j - j**2 + 7*j**3 - 6*j**3 - 7. Let q be z(7). Let c be (-6)/6*2/(-208)*2. Which is smaller: c or q?
q
Let k(r) = -33*r**2 - 262*r + 11. Suppose -11*s - 192 = -104. Let o be k(s). Which is greater: 0.4 or o?
0.4
Let k(q) = 7*q + 102. Let b be (-3 - (-2 + 0)*2) + -17. Let t be k(b). Which is bigger: t or 4/7?
4/7
Let h(a) = 684*a - 1928. Let t be h(3). Are 106 and t equal?
False
Suppose 330*k + 9111 + 16630 - 661 = 0. Is -528/7 greater than or equal to k?
True
Let b = 241 + -187. Let t = -117 + b. Which is bigger: t or -65?
t
Let i = -258 + 283. Let t be (15*(0 - (-10)/i))/(-4). Which is smaller: 0.028 or t?
t
Let h(f) = -f**3 + 7*f**2 + 53*f - 42. Let c be h(20). Are -4181 and c equal?
False
Suppose 71*k - 11*k - 28*k - 208736 = 0. Which is smaller: k or 6524?
k
Suppose 5*m + 24 = 8*m. Suppose 5*s + m = 7*s. Suppose 0 = 30*c - 17*c - 39. Which is bigger: s or c?
s
Let z be 5*((-9814)/(-35) + -3). Let q = z - 76287/55. Are 9 and q unequal?
True
Let l be (-3 - -5)*(-4134)/(-212). Is -200 >= l?
False
Let n = -0.9 + 4.9. Let s = -201 - -64. Let z = s + 136. Which is greater: z or n?
n
Let r = -13 - -14. Is r less than 9/1232?
False
Let k = 16 + -10. Suppose 2*i = -0*i - 2*j + k, 2*j - 12 = -5*i. Suppose 0 = -i*d - 4*d - 54. Is d < 3?
True
Let o = 16940 - 16871. Is -5/32 < o?
True
Let x = 132620 - 132621. Suppose -10 = -0*r - 2*r + 5*a, -4*r + 4*a = -8. Which is bigger: r or x?
r
Suppose 109*n + 901920 = -131*n. Are n and -3758 equal?
True
Let p = 336 - 329. Let i(g) = -2*g + 3*g + 2 - 6. Let l be i(7). Is l less than or equal to p?
True
Suppose v = -3*q + 13, -q = -4*v + 6*v - 11. Suppose 0 = q*w, -3*w = 4*b - 0*w + 56. Let m be 3568/(-240) - 2/15. Is m < b?
True
Let n = 3 - 3.1. Let s = 0.2287 + -113.3287. Let t = s - -109. Which is smaller: t or n?
t
Let i(u) = -u**2 + 12*u - 35. Let t be i(7). Let f be (-186)/(-442) + (-11)/(-1122)*12. Is t greater than f?
False
Let o = 1340 + -1448. Which is bigger: -110 or o?
o
Let j = 87745 - 87745. Let s be (-2)/(-5) - 64/10. Let z be ((-6)/(-8))/(261/s). Which is bigger: z or j?
j
Let w be 8/((-7)/(31 - 3)). Let x be w/(-52) - 3/12*0. Is x < 1?
True
Let f be 8/7*1022/584. Which is smaller: -230 or f?
-230
Let g = -0.68 + 0.697. Let b = -0.009 + g. Let z = -30 - -29.8. Is b smaller than z?
False
Let y(t) = -16309*t**3 + 8*t**2 + 12*t - 7. Let i be y(5). Let n = i - -22462754/11. Let k = 3694 - n. Which is greater: k or -4?
k
Let w(t) = -5*t - 25. Let g be w(0). Let d be 98/g + (-144)/(-36). Does 1 = d?
False
Suppose 4*o = 2*o + 96. Let w = 2520 - 2472. Is o less than w?
False
Let y = -103 + 135. Suppose 4*z + 44 = -4*o, -4*z - 4*o + 3*o - y = 0. Let r be 3*9/(-6) - 3. Is z less than r?
False
Let k(y) = y**2 - 18*y. Let s = 0 + 6. Let v be k(s). Let w = -81 - v. Are -11 and w equal?
False
Let f be 11/(-924)*12 + 40/(-14). Are -114/55 and f non-equal?
True
Let b = 65 + -80. Let g = b - -32. Does 15 = g?
False
Let c = 190 - 188. Suppose 3*p - 3*x = 15, c*p + 3*x - 1 + 16 = 0. Which is smaller: p or 2/279?
p
Let x be 3/(48/(-2)) + (-781)/88. Let n be (20/(-3))/(12/(-18)). Let j be (1 - 2)*(x + n). Which is bigger: j or 1/39?
1/39
Let t = 20592 + -20131. Which is greater: 469 or t?
469
Let a = 0.44 - 0.59. Is 57 < a?
False
Let t(g) = -g**3 + 8*g**2 + 4*g - 56. Let q be t(6). Let j be (-30)/(-2)*q/(-12). Does j = -52?
False
Suppose 28*h = 19*h + 275*h - 9576. Which is bigger: 597/16 or h?
597/16
Suppose -3*s - 1 = f + 9, 0 = -4*f + s - 14. Let k(w) = w - 5. Let p be k(f). Let l = -2654 - -2645. Is l != p?
False
Let m be (-1 - -2)/((-686)/137 - 10/(-2)). Is -138 smaller than m?
True
Let r be 533/78 + (-1)/(-6). Suppose 0 = -l + r*l. Is -8 != l?
True
Suppose 4*r = 5*c - 10, -4 = r + 2*c + 5. Which is smaller: -182/37 or r?
r
Let u = 816063/103 - 7923. Which is bigger: u or 1?
1
Let u = 0.908 + -0.89. Let k = u + -1.018. Is k at most as big as -3/86?
True
Let y be (-2 + 34/18)/(-1). Let f = 0.0564 - 32.7564. Let n = f + 44.7. Is n at least y?
True
Let x be (-38850)/1400*(-4)/13. Is x bigger than 0.3?
True
Let i = -167 + 176. Let p be (51/21 + -1)*(27 + -20). Which is bigger: i or p?
p
Suppose -24*t + 6*t + 1584 = 0. Suppose -5*i + 5*y - 440 = 0, -3*i + 2*i - 2*y = t. Let w = i - -89. Are 22/19 and w non-equal?
True
Let x = -678 + 678. Suppose 0 = -20*h + 24*h - 5*s - 1036, -5*h + s + 1316 = x. Which is smaller: h or 265?
h
Suppose -5*j - 65 = -t, 3*j + 55 = t - 0*t. Let l be (-4)/(t/225)*2. Are -46 and l equal?
False
Let u(n) be the third derivative of -n**4/12 - 5*n**3/3 - 12*n**2. Let g be u(-4). Let v be g/(-5) - (2 - (-312)/(-220)). Is v bigger than -2/3?
True
Suppose 2*h + 5*y - 34 = h, -5*y = -4*h + 86. Let m be 1/4 + (-158)/h. Let i(v) = v**2 - 17*v - 206. Let q be i(25). Is m < q?
True
Let f = 4.01915 - 0.01915. Which is smaller: -292 or f?
-292
Let m = -15/7 + 38/21. Let w(h) = h**3 + 4*h**2 + 5*h + 15. Suppose 2*d - 4*d + 4*i = 16, 5*i = -3*d - 2. Let u be w(d). Is u smaller than m?
True
Let r = 0.00285 - 0.10285. Which is smaller: -0.3986 or r?
-0.3986
Let m(d) = -6*d**2 - 41*d + 9. Suppose -5*v - 4*i = -3*v - 2, -4*i = 3*v + 5. Let k be m(v). Is k at most 0?
False
Suppose -3*t = 6*t - 27. Let m be (((-9)/t)/3)/((-5)/(-5)). Which is smaller: 3/70 or m?
m
Let i(p) = 470*p - 499. Let a be i(3). Is 911 greater than a?
False
Let w be (10/(-15))/((-76)/24 + 3). Suppose -y + z = -3, -2*z + 4 = -w*z. Is -2/1473 not equal to y?
True
Let h(y) = y**3 - 7*y**2 - 9*y - 4. Let f be h(8). Let j = 596 + -518. Let u be (-10 - -9)/(6/j). Are u and f nonequal?
True
Let z = -85247/5 + 16930. Let o(c) = -2*c**3 + 34*c**2 + 34*c - 83. Let p be o(18). Let r = z - p. Is r greater than 46?
False
Let f(r) = 2*r**2 + 3*r + 3. Let s be f(-3). Let p be 1/(7 - (-90)/(-12)). Let u be (p/1)/(3 - -1)*-24. Is s bigger than u?
False
Let x(z) be the first derivative of -z**4/2 + 7*z**3 - 7*z**2/2 - 3*z - 36. Let d be x(10). Suppose d = -2*r + 19. Are -6 and r unequal?
True
Suppose -v = 4*v + 35. Let t be ((-69)/(-423) - 0)/(v/6993). Let a = t - -163. Do a and 0 have different values?
True
Let u be 64 + -68 + (12/2)/1. Is -4564 not equal to u?
True
Let a(u) = u**3 + 4*u**2 - u - 7. Suppose 0 = 5*z + b + 2*b - 367, -5*b + 91 = z. Let m = z - 74. Let x be a(m). Which is smaller: x or 9?
x
Let g(m) = m**2 + 68*m + 30. Let z be g(-72). Is 318 > z?
False
Let o = 21 + -59. Let v = -439353 - -439316. Which is smaller: v or o?
o
Let n = -154 - -164.3. Let s = n + -10.1. Are s and 20 non-equal?
True
Suppose -2*q - 3*l = 39, q = 5*q + 3*l + 69. Let t(r) = 6*r**2 + 91*r - 101. Let w be t(-16). Which is smaller: w or q?
w
Suppose 35 = 5*n - 5*l, -4*l - 25 = n - 7. Let g(o) = -101*o - 1. Let k be g(-6). Let h be (-451)/k + n/10. Is -1 > h?
False
Let i = -187687/73 + 2571. Let j = 93 - 94. Is i smaller than j?
False
Suppose -r = 2*r. Let s be (27/15)/9 + 164/5. Let c be -2 - (-33)/18 - s/(-54). Is r at most c?
True
Suppose 20*h - 564 = 14*h. Suppose -66 = -96*o + h*o. Which is smaller: 35 or o?
o
Let u = 8213/2 - 4106. Which is smaller: 2/115 or u?
2/115
Let b = -421 + 427. Let o(g) = 4*g + 40. Let r be o(b). Is 61 at least r?
False
Let j(b) = -2*b**2 + 7*b - 5. Let y be j(4). Let c = 174 + -122. Let g = 44 - c. Do y and g have the same value?
False
Let m = -4045 + 1268. Let z = m + 102697/37. Are 0 and z equal?
False
Let r = -1166 - -691. Let n = 472 + r. Is 7/5 > n?
True
Let g = 5794946 + -2810552538/485. Let i = 887927/97 + -9154. Let s = g + i. Is s less than or equal to -8?
False
Let x = -2633 + 3949