95) - (-2)/d. Is i less than or equal to 0.02?
True
Let z = -3522 + 3526. Let x be 0 + (-5 + 3)*2. Is x at most z?
True
Let j be -2229 + (-28)/(-8)*((-72)/21)/3. Is j not equal to -2237?
True
Suppose 0 = -14*h + 1240 + 146. Suppose 528 = 4*z - 3*r, 28 = z - 2*r - h. Is 136 > z?
True
Suppose 35 = 2*t + 1. Suppose t*w + 15 = 20*w. Suppose w*v = 0, 0 = 4*o - 2*v + 40 + 16. Are -12 and o unequal?
True
Suppose 353 = -2*u + 85. Let k = u + 1341/10. Let p = 25.8 + -25.7. Is p at most as big as k?
True
Let k(z) = 20*z - 2038. Let q be k(102). Which is greater: q or 282/295?
q
Suppose 5*x + 26 = -5*h + 266, 0 = 4*x + 2*h - 196. Let j = -35 + x. Suppose 3*q = 4*l + 13, -4*q + 4*l + 1 = -j. Which is smaller: 0 or q?
0
Suppose -486 = -11*q + 669. Suppose -3*w + q = 3*j, 0 = -3*j + 5*w + 25 + 88. Suppose -2*m - 10 = -3*f + 3, j = -4*m - 4*f. Is m != -12?
True
Let m = 3823 + -3813.4. Is m greater than 14?
False
Let m be (-2*(-174)/(-72))/(15/(-6)). Are 1 and m non-equal?
True
Let j = -8632.1 - 349.9. Which is bigger: j or -0.1?
-0.1
Let w(r) = 67*r**3 + 2*r + 1. Let d be w(-1). Let p = -63 - d. Suppose b - b = p*b. Which is bigger: b or 4/35?
4/35
Let r be 2/(-14) - ((-312)/28 - -9). Let f be -2*((r - -1) + 40/(-16)). Which is bigger: 70/9 or f?
70/9
Suppose -3*g = -5*r - 12 + 1, 0 = -3*r - g - 15. Let z be (r/(-3) + -1)*(4 - 6). Let n(a) = -2*a**2 - 2*a + 3. Let p be n(-5). Which is smaller: p or z?
p
Let i = -579 - -828. Let t = i + -5977/24. Suppose 0*x + 3*x = -3. Which is smaller: x or t?
x
Let b be ((263/1)/(6/(-2)))/(1232/84). Which is smaller: -5 or b?
b
Suppose 6*c = -4 + 16. Suppose -c*m = 2*x - x - 10, 5 = x + m. Is -40/41 >= x?
False
Let x(g) = 3*g**2 + 74*g + 48. Let n be x(-24). Let y be (-39)/41 + 1 - n. Which is smaller: y or -1?
-1
Let h = -1478 + 19212/13. Suppose -33 = -4*y - 9. Let n be (5/(45/y))/3. Does n = h?
False
Let p = 211 + -786. Let a be (-4)/20*30/4 + 315284/552. Let q = a + p. Is q less than or equal to -4?
True
Let b be (1 - 429/77) + 4. Is 175 <= b?
False
Let y(f) be the first derivative of -2*f**3/3 - 6*f**2 - 9*f + 128. Let o be y(-5). Which is smaller: o or -1/57?
-1/57
Let d = 4494 - 3447. Is 1047 at most as big as d?
True
Let b(k) = k**3 + 15*k**2 + 22*k + 7. Let w be b(-13). Suppose 58*r = w*r. Which is smaller: r or 1/16?
r
Let h be 2/7 + ((-640)/(-35))/(-1). Let k be 2/3*(h*1)/(-6). Suppose 0 = -3*f - 0*y - k*y, 17 = -4*f + 3*y. Is f smaller than -1?
True
Suppose 0 = -145*x + 168*x - 2392. Is x at most 103?
False
Let d = 486 - 518. Which is greater: 14 or d?
14
Let x(p) = -140*p + 2436. Let m be x(16). Which is smaller: 187 or m?
187
Let b = -4750 - -3543. Which is bigger: -1204 or b?
-1204
Let v = 4053 - 4052. Which is bigger: -4/2349 or v?
v
Let j(o) = -3*o**2 + 57*o - 51. Let q be j(18). Which is greater: q or -349?
q
Suppose 17 + 1 = -6*k. Suppose 9*f + 990 = 4*f. Let h be 5/3*f/(-440). Which is greater: k or h?
h
Let s be (-4)/(-20) - (1344/(-80) - -17). Which is greater: -2/9611 or s?
s
Let o be 631*(10/(-15))/((-10)/(-15)). Is -632 greater than o?
False
Suppose -35*r + 2 = 532*r + 2. Is r <= 1/18341?
True
Let a(n) = -n**3 + 10*n**2 - 6*n - 80. Let u be a(8). Is 16/833 not equal to u?
True
Let l(f) = f**3 + 2*f**2 + 8*f - 6. Let s be l(0). Which is greater: -172/35 or s?
-172/35
Let q = 118 + -115. Let l = 1/61 + 117/305. Is q smaller than l?
False
Let r = -6131 + 6136. Let k = -5.94 + -0.06. Is r smaller than k?
False
Suppose -12*r + 15 = -21. Suppose -r*w - 90 + 0 = 0. Which is greater: -342/11 or w?
w
Let h = 0.22 + 1.43. Let b = 0.45 - h. Which is greater: 15 or b?
15
Suppose 2*w + 4*k + 2 + 12 = 0, 0 = -k - 5. Let l = 37 - 32. Suppose -l*u = 5*s - 5, -w*u - 5*s + 5 = -2*u. Is -6/13 != u?
True
Let u be (35/30)/(-7)*-6 + (-406 - 27). Which is greater: u or -426?
-426
Let j = 0 - -2. Let z = 212.9 - 212.979. Is z greater than or equal to j?
False
Let q = -1698.3 + 1694.3. Is 350.5 >= q?
True
Let j(f) = f**3 + 20*f**2 + 14*f - 38. Let g be j(-19). Suppose 461 = 15*h - 394. Is h less than g?
False
Suppose 3*p - 212 = -194. Let m(u) = -u**3 + 6*u**2 - 2*u + 8. Let h be m(p). Suppose -2*l + 3*l + 4*w + 12 = 0, 4*l - 3*w - 9 = 0. Is l at least h?
True
Suppose 62*d - 150*d = 139128. Is 0.2 bigger than d?
True
Let g(d) = 11*d + 669. Let c be g(-55). Let j = -4 + 5. Let a be j/(-4) - 32/c. Is 4 at least as big as a?
True
Let o(l) = -3*l**2 - 43*l + 7. Let w be o(-14). Suppose -27*u - 60 = -w*u. Is u less than -8?
True
Let c be ((-41)/(-60))/(3/8). Let w = -372/29 - -1628/145. Let z = c + w. Which is greater: 1/7 or z?
z
Let x = 172236 + -685399/4. Let w = x + -880. Suppose 0 = 2*s + 2*s - 28. Which is greater: s or w?
s
Let a be (-684)/(-1881) - (-29)/11. Is 783 not equal to a?
True
Suppose -w - 4*w = 3*j - 97, -5*j + 71 = 3*w. Let x be -102*(-1 - 2/(-3)). Suppose 3*r = -3*d + 14 + x, 4*d - r - 69 = 0. Is d greater than w?
False
Let u be (12/176)/((-37240)/(-805312)). Let t = 2/2695 - u. Is t at least 0?
False
Let d be 50752/(-1872) - 10/(-9). Let s(k) = 14*k**3 + k**2 - 1. Let o be s(-1). Let n = -41 - o. Which is bigger: n or d?
d
Suppose -579*b + 589*b + 2650 = 0. Let m be (2 - 533/2) + 4/(-8). Is m greater than b?
False
Let o = -19729/21 + 656489/546. Suppose 4*s = -4, 3*s + 585 = 3*q - 207. Let d = q - o. Do d and 1 have different values?
True
Let s be (-33)/(15/18315*-11). Are 3664 and s non-equal?
True
Let p = -1816 + 3662. Suppose 12*k = 614 + p. Suppose 11*m - 16*m = k. Does -40 = m?
False
Let h = 0.041 - 0.044. Let r = h + 23.003. Let u = -32 + r. Is u smaller than 1?
True
Let h = -516.4 + 516.0623. Which is greater: h or -2/5?
h
Let l = 0.79 - 8.89. Is l smaller than 5?
True
Let n be (-2)/(22 + -22 + 8). Which is smaller: n or -80?
-80
Let w = 32547 + -32547.1. Is w greater than or equal to 9108?
False
Let o(r) = r**3 + 50*r**2 - 118*r - 1042. Let a be o(-52). Which is greater: 56 or a?
56
Let x = -2779 - -2661.1. Let k = -118 - x. Is -393 at least as big as k?
False
Let f be -1 + (-10)/(-7) - -5*377/(-5460). Is f equal to -36?
False
Let k = 23 - 15. Let d be k/(-10)*5/(-10). Let t = 97 - 86. Is d smaller than t?
True
Let c = -9871 - -12698. Which is bigger: c or 2828?
2828
Suppose -3*q - 3 = -3*l, l - 1 = -3*q - 0. Suppose 2 + q = 2*f - 4*x, 5*f - 5*x = 0. Which is bigger: 4/17 or f?
4/17
Let p(n) = -43*n - 1103. Let j be p(-21). Is j smaller than -202?
False
Suppose 7*z - 1740 = 17*z. Let v = z + 190. Which is bigger: 52/3 or v?
52/3
Let g = 2474301/17 - 145479. Is g greater than 67?
True
Let m = -34237/3 - -11412. Let b be (15120/2523)/(-3) + 2. Is b <= m?
False
Suppose -42071 + 8436 = -5*x. Let l = x + -1136869/169. Which is bigger: 0 or l?
0
Suppose -3*i + 3*z + 3 = -0*i, 2*i + 10 = -z. Let g = i - -2. Let q = -2516 + 27670/11. Is g at least q?
False
Let h = -1766 - -1780. Which is smaller: h or 10?
10
Let i be (-1)/(-2) - 159/6. Let j(c) = -19 - 3*c - 10*c + 29*c**2 - 31*c**2. Let m be j(-7). Is i <= m?
True
Let d = 34 + -35. Let b(y) = y**2 + 10*y - 9. Suppose 8 = -3*g + 5*n, -5*n + 19 + 11 = -5*g. Let f be b(g). Is d bigger than f?
False
Let h(l) = 0*l**3 + 15*l**2 - 1 + 15*l + 6 - l**3. Suppose -2*m - 18 + 94 = 4*a, 0 = -a + 4*m - 8. Let t be h(a). Which is smaller: t or -49/5?
t
Let w = -4732 + 4732.1. Which is bigger: -2746 or w?
w
Let a = 34348333/37386 - -10151/558. Let x = a + -937. Is x at least 1?
False
Let r = -0.21337 + 375.21337. Are r and -1 unequal?
True
Let z = 2.3 + -17.3. Let p = -2317 + 2342. Let d = p + z. Which is smaller: 2/3 or d?
2/3
Let c be (-7)/30*(21/14 + -4). Suppose -13 = -y + 27. Let n = -39 + y. Does n = c?
False
Let j(o) = o**3 - 18*o**2 + 12*o - 16. Let k be j(17). Let n be (k/404)/(1 + 0/(-1)). Let u = 2 + 10. Which is smaller: n or u?
n
Let g = -1892 + 1892.28. Is 4.2 not equal to g?
True
Let y = 16.8 - 16.2. Which is smaller: -0.265 or y?
-0.265
Let f(x) = 4*x + 15. Let b be f(-4). Are -1/16276 and b unequal?
True
Let b = 2683 + -2970. Is b bigger than -287?
False
Let o = 0.02446 - -542.97554. Which is bigger: 1 or o?
o
Let p = 0.3 - -0.7. Let y = 14.5206 + -7.8206. Is p less than or equal to y?
True
Let y = 101985232/2847 - 35822. Which is bigger: y or 1?
1
Let g(w) = 3*w - 45. Let f be g(17). Suppose -f*m = 20 + 70. Suppose 0 = a + 3*c + 29, -c + 9 = a + 28