3/136 - 76616. Let u = 3/136 - w. Does 4 = u?
False
Let b = -9 + 1. Let o be b*7/(84/9). Let u be o/(-4)*(-1)/(-6). Do 0.2 and u have different values?
True
Let s(f) = -946*f**3 + f**2 + f - 1. Let r be s(1). Let c = r + 82216/87. Let n = 1475/348 + c. Are n and 3 nonequal?
True
Let r be -5 - -3 - 6/(-4). Let l = -6.1 - 30.9. Is r greater than l?
True
Let z be (-21)/(-27) + ((-260)/90)/(-13). Which is greater: z or 5/252?
z
Let s be (-6870)/36*1 + 1/(-6). Let u = s + 77. Which is smaller: -115 or u?
-115
Let h be (-2)/(-4) + 9/(-8). Let q be ((-20)/15)/((-12)/(-18)). Is q <= h?
True
Let b = -7.9 - -7. Let m = b - 7. Which is bigger: m or -1?
-1
Let b(f) be the second derivative of -f**4/12 - 7*f**3/6 - 5*f**2/2 + f. Let h be ((-4)/(-5)*-1)/((-22)/(-165)). Let a be b(h). Which is bigger: -1 or a?
a
Let t = -518211 - -195883967/378. Let n = 1/54 + t. Is n > 2?
False
Suppose -3*c - 5*z = 2*c + 5, 0 = c - 5*z - 29. Let v be 16/(-12)*c/(-24). Let w = 6 - 4. Is w equal to v?
False
Let f = -4 - -19. Let m = f - 19. Let b = m + 4. Which is bigger: b or -1/6?
b
Let w(b) = 2*b**2 - b - 3. Let u be w(2). Suppose 31 = -u*q - i - 5, -i = 0. Is -12 not equal to q?
False
Let v = -2 - -5. Let r(o) = -o**2 + 2*o + 2. Let u be r(v). Let w = 0.212 + -0.012. Do u and w have different values?
True
Let a be (-53)/((1 - -5)/6) + 2. Are -576/11 and a unequal?
True
Let p = 69 - 59. Let l(d) = d**3 + 2*d**2 - 3*d - 3. Let z be l(-2). Suppose z*u + 0*u - 30 = 0. Is p smaller than u?
False
Let y be (32/(-8) - 5) + 0. Is -61/8 at most as big as y?
False
Let i be (-7700)/(-322) + (-2)/(-23). Is 24 less than i?
False
Let x = -377 + -3. Is x at least -380?
True
Let z be ((-1)/((-105)/(-6)))/(2/(-10)). Let l be (-2)/(-2) + (-12)/6. Which is smaller: z or l?
l
Let r be (2 + (-375)/190)*3/24. Do 1 and r have different values?
True
Let p be ((-48)/(-136))/(-2)*(-1200)/(-9). Is p less than or equal to -23?
True
Let r be (11/((-33)/54))/(-2). Suppose -3*b - 3*y + 9 = -r, 3*y = 12. Let c be ((-5)/45)/(1/b). Is -1 at least c?
False
Suppose -3*y = 4*q + 15 - 110, -5*y + 125 = 5*q. Is q at least 23?
False
Suppose -u = 3 - 1. Let y be -1 - ((-38)/(-8) + u). Let a be (-40)/(-8) - (11 - 2). Is y smaller than a?
False
Let v = 37/174 - -7/58. Which is smaller: 1.12 or v?
v
Let s = 34/7 - 526/91. Let l be (3/(-12))/((-3)/12) + 3. Let h be ((-33)/6 + 6)/((-2)/l). Which is smaller: h or s?
h
Let r = 21084 - 147353/7. Which is bigger: r or 33?
r
Let i be ((-51)/85)/((-192)/340). Is i at least as big as 1?
True
Let w = 30 + -28. Let g = -32 + 33. Is g > w?
False
Let v be (-3)/(3/(-4))*250/200. Is v smaller than 7/2?
False
Let h = -490 + 40. Which is smaller: h or -449?
h
Let t(m) = m + 8. Let h be t(-8). Suppose -9*o + 4*o + 15 = h. Suppose 4*v = 2*v + 6. Is v less than or equal to o?
True
Let p be (-10 - -9)/(2/(-106)). Let n = p - 54. Is -6/47 <= n?
False
Let o = -224.6 - -47.6. Is -1 <= o?
False
Suppose 10*g - 8*g - 12 = 0. Let l be (-6)/(-16)*4/g. Which is greater: l or -0.041?
l
Let z(v) = -v**3 + 6*v**2 - 9*v + 26. Let d be z(5). Which is bigger: d or 8?
8
Let p(t) = t**2 + 21*t - 3. Let m(w) = 2*w - 1. Let a(x) = 3*m(x) - p(x). Let v be (-7 - -2)*3*1. Let h be a(v). Are h and -3/5 unequal?
True
Let z = 3 - 3. Let y = 1523 + -19819/13. Let v = 152/65 + y. Is v greater than or equal to z?
True
Suppose 0*r = -5*r - 5. Let i be (24/84 + 2/(-6))*-6. Which is smaller: i or r?
r
Let r be (-1 + 7 - 4) + 3. Suppose -q = -r*q - 24. Is -7 at most q?
True
Let z = -3.9 - 0.1. Let f = -0.053 - -5.053. Which is smaller: f or z?
z
Suppose 4*w + 18 = w. Let l(q) = 2*q + 13. Let z be l(w). Is z <= -5/12?
False
Let x = -0.383 + -0.717. Is -25 greater than x?
False
Let c(k) = -k**2 - 5*k + 12. Let i be c(-7). Which is smaller: i or -9?
-9
Let c = 1 - 1.1. Let k = -24 + -3. Let l be (1 + k/15)/(-6). Which is greater: c or l?
l
Let x be 3/(3*13/(-2)). Let n be -1 + 2/8*0/2. Which is greater: x or n?
x
Suppose 66 = s + 63. Which is smaller: s or 13/5?
13/5
Suppose 21*a = 299 + 16. Which is smaller: a or 111/7?
a
Suppose -j - 763 = 2*f, -4*f = 4*j - 8*f + 2992. Let u = j + 5261/7. Which is smaller: u or -1?
u
Let g = -398 - -14724/37. Which is smaller: 0 or g?
g
Suppose 0 = -55*w + 101*w - 3680. Is w != 73?
True
Let r = 625 + -537. Which is smaller: r or 87?
87
Suppose 0 = -4*b + 16, -2*o - 44 = 2*b + b. Is -29 > o?
False
Let b(i) = -i**2 + 15*i - 5. Let f be b(13). Let z = -2 + f. Is 19 at most as big as z?
True
Let u = -4.4 - -4.6. Let c = -0.13 - 1.37. Let z = 0.2 + c. Is z less than u?
True
Let b = 29 + 6. Let j = -22 + b. Let i = -12.91 + j. Is i bigger than -1?
True
Let m(u) be the second derivative of u**3/3 + u**2 - 2*u. Let j be m(-3). Let o(s) = -2*s**2 - 31*s - 114. Let d be o(-10). Do j and d have the same value?
True
Let n be (-9)/6 - (-32)/72. Is n bigger than -1?
False
Let l = -5551/6 + 918. Is -7 <= l?
False
Suppose 4*k + 4*h + 16 = 0, -3 = 5*k + 4*h + 13. Let u = -9/100 - -733/3700. Which is smaller: u or k?
k
Suppose -2*y + 4*z = -4*y + 6, -3*y - 4*z + 9 = 0. Let j be y/(-21)*1*(-5 - -1). Is j equal to -9?
False
Let j(u) = -6*u - 29. Let g be j(-5). Let i be 2/3*(18/102)/g. Which is smaller: i or -0.2?
-0.2
Let s be 2 + 15/(-6) + 0. Which is smaller: s or -53/6?
-53/6
Let g = -2.5 - -17.5. Let c be (8/6)/(6/9). Let u be c/(-72) - 20/90. Which is smaller: u or g?
u
Let q be (-23344)/(-8096) - (1 + 2). Let f = 3/46 - q. Which is smaller: 0.6 or f?
f
Let x = 56 - 104. Let k be (-88)/x - (-2)/12. Suppose k = g - 2. Which is greater: 3 or g?
g
Let b = -585 - -578. Is -83 greater than b?
False
Let s(a) = -a**2 + a + 2. Let z = 10 + -7. Let p be s(z). Let w = -9 - -6. Is p at most w?
True
Let r = 0.05 - 29.05. Let z = r + 43. Let l = 20 - z. Is -0.1 greater than or equal to l?
False
Let f = -84 + 67. Let l = f - -14. Which is smaller: l or 2/15?
l
Let y(p) = -13*p**2 - 2*p + 1. Let r be y(2). Which is greater: r or 3/7?
3/7
Let d be 5/5*(1 - 30). Let c = d + 35. Suppose -5*v = y - 27, 4*v - 3*y - 2*y - 39 = 0. Is c >= v?
True
Let o be 140/70*(-11)/(-10). Let x be ((-3)/3)/(1/(-3)). Which is smaller: x or o?
o
Let g be (-35)/21 - ((-4124)/1128 + 2). Is g > 0?
False
Suppose -p + 5*x + 1 = 0, -p + 2*x = -x - 1. Is 8/5 bigger than p?
True
Let w = 298354/60465 - 4/4031. Which is greater: 5 or w?
5
Let c be 81/(-24)*(-7)/12 - 2. Is -1 less than c?
True
Let a = 33 - 33.1. Let b = -2.1 - a. Which is greater: -5 or b?
b
Suppose 104*p - 96*p + 1320 = 0. Which is greater: p or -167?
p
Let x = -9 - -14. Let b(k) = -k**2 + 7*k - 8. Let n be b(x). Let r be 1/(-2)*(2 - 4). Is n at least as big as r?
True
Let y = 420.4 + -420. Which is smaller: -33 or y?
-33
Let t = -19.8 + 21.3. Is -0.013 <= t?
True
Suppose f = -4*z + 2*f + 39, -3*f = z - 13. Let x = -5 + 11. Which is bigger: x or z?
z
Suppose 3*l + 21 = 2*w, -3*l = 4*w - 9*w + 30. Suppose 2*a = 0, -b + 6 = -2*b + 2*a. Let j be 9/b*8/(-6). Which is smaller: w or j?
j
Let a = -9.53 - -2.53. Which is bigger: -0.11 or a?
-0.11
Let q = -58 - -61. Suppose 0 = -3*y - 2*y. Let b be 0/(y + (q - 1)). Is b less than or equal to -1/5?
False
Let a be -3 - 3 - (1 + -2)*-1. Let y = -15 + 23. Let i = 8 - y. Is i <= a?
False
Suppose -100 + 166 = 6*b. Is b smaller than 16?
True
Let b(c) = 2*c + 10. Let s be b(-6). Let j be (s/10)/(18/45). Which is greater: j or -1?
j
Let t be ((-2)/(-10))/(38/10). Let v(u) = -3*u - 52. Let w be v(-17). Which is smaller: t or w?
w
Let q = -10184549/22 + 462844. Let c = -90 - q. Let p(u) = -u**3 + 5*u**2 + 7*u - 6. Let z be p(6). Is c > z?
True
Let t = -346/5 + 69. Let j = 13 - 10. Suppose 0 = -2*m - j*r - 2, -5*m = 4*r + r + 5. Is t less than m?
False
Let z = 1014 + -1006. Are 0.18 and z nonequal?
True
Let v = 69 + -68.6. Let f = 7.94 - 8. Which is smaller: f or v?
f
Suppose -95*q - 5 = -94*q. Suppose -1 = 3*w + 5. Which is greater: q or w?
w
Suppose 4*x - 2*z - 13 = -1, -x + 5*z = -21. Do 1/496 and x have different values?
True
Let k(u) = 2*u - 8. Let o(r) = r**2 - r. Let d be o(-2). Let s be k(d). Let m = 65 + -62. Is m at most s?
True
Let z be 13*(-24)/(-78)*14/8. Let i = 28 - 19. Is i at most z?
False
Let y be (-1)/(-3)*(-4 - -2). Which is smaller: y or 227?
y
Let b = -30 - -18. Let k = b + 11. Let g be ((-58)/16 - -2) + 1. Which is greater