 y and 3/16 non-equal?
True
Let x be (((-6)/8)/1)/((-16842)/(-336) + -52). Does -629 = x?
False
Suppose 0 = -90*a - 12147 - 178473. Is -2117 less than a?
False
Suppose 4*a + 12 = 4. Let g be 4/10 + (-34)/155. Let i = g + -2026/2635. Is i != a?
True
Let a = -1.7769 - -0.0089. Let w = -0.232 + a. Does w = 205?
False
Let w = 117195 + -2695920/23. Which is greater: -18 or w?
-18
Let a = -13543 - -13518. Let s(l) = 29*l. Let u be s(-1). Are a and u non-equal?
True
Let a be 78/(90/(-15)) - -17. Let d(q) = -q + 3. Let v be d(0). Suppose 4*n + n + 10 = 0, v = 5*f - a*n. Is -1/6 at least f?
True
Let h = -860 - -862.086. Let w = 2.05 - h. Do w and 4 have the same value?
False
Let y be -14 - (-15 - -7 - -8). Which is smaller: -89/6 or y?
-89/6
Let f = 868 + -858. Suppose -59 - 81 = -f*s. Is s less than or equal to -2?
False
Let q be 4 - 1 - 5/(-39)*-15. Let r(w) = w**2 - 6*w. Let j be r(6). Suppose j = -3*v - x, 2*v + x = -2*x. Is v less than or equal to q?
True
Let h be (-171)/(-19) - (-119)/(-13) - 5706/(-1092). Are -0.4 and h non-equal?
True
Let x = 153322/85222431 + -16/10269. Is -1 equal to x?
False
Let n be (-6)/((-56)/(-19) - 3). Suppose -h + c - 24 = 0, 0 = 4*h + 2*c - 0*c + n. Do h and -30 have the same value?
False
Let k(a) = a**3 + 5*a**2 - 5*a + 14. Let g be k(-6). Suppose g*u - 150 = -2*u. Let n = -14 + u. Is 9/13 bigger than n?
False
Suppose -5*n - 2*c + 26 = -3*c, 0 = 4*n + c - 19. Let d = n + -63. Which is greater: -176/3 or d?
d
Let j = 628.9214 - 628.5. Is j smaller than -1?
False
Let l be (-9)/(-3)*(1 - (-12)/(-18)). Is -6/1795 smaller than l?
True
Let i(q) = 1135*q + 6806. Let x be i(-6). Is 430 at least as big as x?
True
Let i = -39.02 - -38.86. Which is greater: i or -0.15?
-0.15
Suppose 2*z = -3*j + 22, 0 = 3*z - 3 - 12. Let v(d) = d**3 + d**2 + d + 1. Let a be v(0). Suppose 0 = -j*g - a - 31. Is -10 less than or equal to g?
True
Let m be ((-420)/(-245))/((-4)/126). Let b be (6/m)/(4 + 38/(-9)). Are 3/10 and b nonequal?
True
Let t(y) = y + 3. Let v be t(-10). Let u be 10/v*30/12. Let o(q) = -15*q + 131. Let b be o(9). Is u bigger than b?
True
Let d be 7 - (0/2)/3. Let n = 18240 + -72947/4. Which is smaller: d or n?
n
Let v(o) = -o**3 + 5*o**2 + 7*o + 7. Let r be v(6). Suppose -6 = 3*u - 48. Let k be 3/(-2)*(-6 + u - 18). Which is greater: r or k?
k
Let b be 16/(-28) - (-260177)/537054. Let x = -1/1346 + b. Are -1 and x equal?
False
Let y = 15475 + -15475.1. Is y less than or equal to -107.2?
False
Let o = -1627.8166 + 1628. Let m = -0.0234 + o. Suppose -5*p = -4*h + 13, -p + 1 = -0*p + h. Is m equal to p?
False
Suppose 187*m - 140481 = 5*m - 115*m. Which is greater: m or -1/3?
m
Suppose 0 = g + 2*g - 192. Suppose -4*x = 2*d - g, -2*d - x + 28 = -d. Suppose -27*q = -d*q + 3. Which is smaller: q or -8/15?
q
Let m = -1562 + 1561. Which is smaller: 360 or m?
m
Let z be (-15304)/60*20/24 + -5. Which is smaller: -218 or z?
-218
Let h(i) = i**3 - 10*i**2 + 6*i + 1. Let w be h(12). Let l = 264 - w. Are -97 and l nonequal?
False
Let x be (-4 - 0) + (-748)/(-34). Suppose -x = 2*h - 2*o, 2*h + 3*h + 51 = 3*o. Is h != -16?
True
Suppose -3*v + 4 = 19. Suppose 2*x - 28 = 4*i, -2*x = i - 2 - 6. Let n = v + x. Is n greater than 1/92?
True
Let b = 79733/40950 - 35/18. Which is smaller: 0 or b?
0
Suppose -t = -r - 1, -3*t - 661*r = -659*r + 22. Let l be 136614/(-270) + 2/(-9). Let a = l + 503. Is a smaller than t?
False
Let w = 11520 - 34559/3. Does 1290 = w?
False
Let r(t) = -162*t + 5036. Let d be r(31). Which is bigger: -106 or d?
d
Let c = 155730 - 3114609/20. Suppose -2*r = -0*r - 2. Is r at most c?
False
Let k = 3729 + -3638. Do k and 88 have different values?
True
Let m = -47/2 + 37. Let s(i) = -6*i - 26. Let q be s(-6). Let j(y) = y**3 - 7*y**2 - 34*y + 55. Let u be j(q). Is u > m?
True
Let h be (-35)/28 - -30*18/432. Let b = 907/2 + -40361/89. Are h and b equal?
False
Let l = 28406 + -28232. Which is greater: 701/4 or l?
701/4
Suppose 39*t + 2775 = -36*t. Is -35 not equal to t?
True
Let b = -68 - -60.1. Let m = 4.9 + b. Which is greater: m or -0.04?
-0.04
Let m be 45/15 + -12 - (3 + 194/(-13)). Let r be (4/(-3))/(4/(-6)). Which is smaller: m or r?
r
Suppose 10*a + 5*v = 13*a - 8, 2 = 3*a + v. Is a smaller than 2/365?
False
Let u be 20/3*24/(-48)*18/(-308). Is -1 greater than u?
False
Let l be (-95)/(-4) - (-3)/12. Let c(x) = 2*x**2 - 48*x - 1390. Let y be c(-17). Which is smaller: l or y?
y
Let x = 52 - 52. Suppose x = -5*d + 4*t + 30, -5*d + 2*t = -20. Is d at least -8?
True
Let t = -1868 + 5605/3. Let w = 0.25 - 14.25. Let m = w - -12.8. Which is smaller: t or m?
m
Suppose p - 2*g = -4688, 0 = 5*p + g + 33810 - 10304. Do p and -4702 have the same value?
False
Suppose -6*r + 10*r = 3*r - 16*r. Which is greater: -49/87 or r?
r
Let o = 3236.09 - 3236. Which is bigger: o or -0.0592?
o
Let g be (72/(-2))/((-9)/12). Suppose -12*o = 1274 - 698. Let b = g + o. Is 1/88 less than b?
False
Let j = 2736/17 + -161. Let g = 910 - 887. Suppose 0 = -55*a + 78*a - g. Do j and a have different values?
True
Let w(n) = 5*n**2 + 5*n. Let s be w(-4). Let v = 44 - s. Let j be 30/(-20)*v/6. Which is greater: j or 6?
6
Let b(y) = y**3 + 5*y**2 + 4*y - 1. Let h be b(-3). Suppose 0 = 5*a - u - 410, h*a - 4*u - 400 = -u. Which is greater: a or 85?
85
Suppose 4*w = -12, 2*a - 7 = 6*a + w. Let c = -3/14636 + -29215/278084. Is a < c?
True
Let t = -625 - -628. Suppose -t*z - 27 = g, -39 = -15*z + 18*z + 5*g. Which is smaller: -52/7 or z?
z
Suppose 0 = 3*r + d - 104, 192 = 2*r + 3*r - d. Is r >= -19?
True
Let c(x) = -x**2 + 4*x + 12. Let g be c(5). Let s = -20.61 + 13.61. Which is bigger: s or g?
g
Let f = -123784/435 + 4481/15. Which is greater: 13 or f?
f
Let l be -4 - -1 - 386/(-130). Let n be (7/14)/(2/(-4)) + 6. Suppose -n*j + q = 2*q - 5, 1 = j - q. Which is bigger: l or j?
j
Let p be (-4)/1268*(-384)/(-19392). Which is bigger: p or 1?
1
Let g = 2001/5 + -266131/665. Which is greater: g or 2?
2
Let f be ((-4)/(-26))/(2/6). Let x = 75 + -53.9. Let m = -20.9 + x. Is m not equal to f?
True
Let b(j) = 3*j**2 - 20*j. Let z = 81 + -79. Suppose 0 = 5*l + o - 34, z*l - l = 4*o + 11. Let f be b(l). Which is smaller: f or 6?
6
Let i be -3 + 1 + ((-30888)/1260 - -20). Is i != -8?
True
Suppose 5*p = 3*b - 0*b - 179, -4*p = 2*b - 112. Let x = 50 - b. Is -9 > x?
False
Let f(g) be the third derivative of -g**4/6 - 5*g**3/6 - 2*g**2 + 8*g. Let c be f(-1). Is c smaller than -5/26?
True
Let d be (-3)/(-12)*1 - (-2635)/20. Let g be 3*(2 + -5 - d/(-21)). Is -0.1 smaller than g?
True
Suppose 48 = 5*b - 72. Let y(i) = 3*i**2 - 14*i - 6. Let o be y(6). Let p = b - o. Are p and 20/3 unequal?
True
Let m be 4/(-16) + 18/8. Let u be ((-21)/(-57) + -1)/m. Let n(x) = 14*x + 307. Let z be n(-22). Is u less than z?
False
Let v be (1/(-7))/(2/(-8)). Let j(g) = -5*g + 105. Let w(s) = s**2 - 8*s + 1. Let q be w(-2). Let y be j(q). Is y not equal to v?
True
Let i(l) = -200*l - 1. Let r be i(0). Is r < -3/16985?
True
Let v = 14775 - 14777. Is v less than or equal to -297/161?
True
Let k(d) = -105*d**3 - 12*d**2 - 13*d + 6. Let s be k(-5). Let y be (-6320)/s + 1/2. Is y > 0?
True
Let w = -20870 - -11991. Is -8878 >= w?
True
Let g(z) = -365*z - 1067. Let h be g(-3). Which is greater: 49 or h?
49
Let a = -80 + 683. Let p = a + -604. Is p at most as big as 12/47?
True
Suppose 2162 = 5*x + 18*x. Let f = x + -95. Which is greater: f or -1/43?
-1/43
Let j be ((-2)/(-168))/(4152/270 - 16). Which is greater: -1 or j?
j
Let i = 0.524 - 0.024. Let y = i + -3.5. Let b = 65 + -44. Is y greater than b?
False
Let w be (-28)/(-210) - ((-47092)/60 + 1). Let z = w - 992. Which is bigger: -209 or z?
z
Suppose 2*d = 8 + 2. Let b be ((-10)/d - -1)*-5. Suppose -b*t - 3*i - 7 = -0*i, i = -t - 3. Which is greater: t or 14/15?
t
Let i(d) = -7*d + 2. Suppose -t + 5*o - 6 = 0, -4*o = -5*t - o + 36. Let a be i(t). Which is greater: a or -62?
a
Let a = 0.06583 - -0.03417. Is a equal to -3/8824?
False
Let s = -1648 + 1643. Which is greater: s or -200/31?
s
Let v = -38 - -44. Let o be (v/(-4))/(15/20). Let t be 4/88*o*2. Is t not equal to 2?
True
Let h be 88/(-836) + 2 + (-13264)/342. Is -37 equal to h?
False
Suppose 124*z + 542 = 2*q + 129*z, -q - 4*z = -283. Is 252 >= q?
True
Let i(f) = -2*f - 65. Let n be i(-30). Which is 