). Suppose g - 6 = 2*u, 0*g = g - 3*u - 9. Let x = -7 - g. Are x and p equal?
False
Let y = -28.98 + 0.08. Let q = y - -29. Is 16 != q?
True
Let y be 2/1 + (-1 - -2). Suppose 0 = -d - y*o + 11, 3*d = -4*o + 4 + 9. Let l = 6055/13 - 466. Which is smaller: l or d?
d
Let m be (2*6/2)/((-6)/(-33)). Is 0 >= m?
False
Let h = -155/546 - 1/546. Which is smaller: -380 or h?
-380
Suppose 4*i - 5*g = -i + 525, 385 = 4*i + 3*g. Is 100 at most as big as i?
True
Let d(b) = b**3 - 10*b**2 - b + 10. Let r be d(10). Let c = 20 - 12. Let z be ((-44)/20)/(c/(-20)). Is z equal to r?
False
Let x = -0.0912 + -4.9188. Let s = -4.7 + -0.3. Let k = x - s. Do k and -0.1 have the same value?
False
Let v = -70330/59 - -1192. Which is smaller: 1 or v?
v
Let l = -33/21803 + -33335665/741302. Let i = -45 - l. Which is smaller: 1 or i?
i
Let z be ((-1)/3 + (-22)/(-33))*105. Let v be (-74)/14 - 1/(z/(-10)). Which is greater: -6 or v?
v
Let w = -283 - -886/3. Is 1/2 <= w?
True
Suppose 3*f = -v + 21 - 20, 0 = 4*v - 4. Let l be 2 + 1 + 115/(-40). Which is smaller: l or f?
f
Suppose -245 = -1083*v + 1078*v. Which is smaller: 48 or v?
48
Let a = 132 + -601. Let s = 5155/11 + a. Is s less than or equal to 0?
True
Let h be (8 + -8)/(-3 + 10). Is h less than or equal to -2.61?
False
Let v(b) be the first derivative of b**3/3 + 11*b**2/2 - 4*b - 3. Let r be v(-12). Let u(m) = -m + 31. Let a be u(25). Which is smaller: r or a?
a
Let f be (-4 - (91/(-14) + 4))*2. Which is greater: -62 or f?
f
Let q = -41 + 9. Let x = q + 32.1. Which is greater: 3/5 or x?
3/5
Let b = -5.19 + 46.14. Let y = 41 - b. Let t = 1 + -2. Which is smaller: y or t?
t
Let l = -621 + 554. Which is smaller: -75 or l?
-75
Let n = 8058 - 11120039/1380. Is -1 != n?
True
Let j be (15/4)/((-9)/(-156)). Do j and 65 have different values?
False
Suppose -34 = 4*f + 182. Let u be f/15*(-40)/12. Which is smaller: u or 10?
10
Let v = -21182/23 + 921. Are 1 and v non-equal?
True
Suppose 5*x = -10, -5*g - x = -227 - 66. Which is smaller: g or 57?
57
Let k = 81 + -68. Let f be 0/4 + 4 - -6. Which is smaller: k or f?
f
Suppose 0*w - 17 = -3*w - 2*y, 0 = -w - 2*y + 7. Suppose 2*k = -c + 15, 3*c = -w*k + c + 39. Are 11 and k nonequal?
True
Let b be (-2*1)/((-44)/(-286)). Is b greater than or equal to -40?
True
Let u = -2003/20 + 397/5. Which is smaller: u or -22?
-22
Let r be (-26)/(-4) - 8/16. Suppose -f = 5*s - 26, 4*f - r = -3*s + f. Let l be 6/(-36) - (-1)/s. Which is bigger: -4/9 or l?
l
Suppose 4*g = 3*j + 17, -3*j - 1 = g - 2*j. Let y be (-1 + (-6)/(-7))/((-1)/g). Let m = -0.2 + 0. Which is greater: m or y?
y
Suppose -5*v = o - 3, 4*o = 6*o + 4. Is 0 <= v?
True
Let g be (-86)/(-12) - (-10)/(-15). Is 6 > g?
False
Let h be (18/10)/(309/1030)*12/(-8). Let g(c) = c**2 - 8*c + 6. Let f = 9 + -5. Let u be g(f). Is h < u?
False
Let n(q) = q**3 + q + 1. Let d be n(-1). Which is smaller: d or -9/26?
d
Let b be 2 + 3/(6/(-14)). Let a be (b + 1 - 0)*1. Let j = 387 - 392. Which is smaller: a or j?
j
Let z be 25574/(-304) - (-2)/16. Is -66 bigger than z?
True
Let x = 1362.89 - 1384. Let f = 0.89 - x. Do f and -1/3 have different values?
True
Suppose -q + 5*q + 4 = 0. Let h = -0.1019 + 5.1019. Is q less than h?
True
Let t = 0.66 - -9.34. Let v = -9.8 + t. Is v bigger than -0.2?
True
Let c be (2 - -4)/((-12)/(-882)). Which is smaller: -0.1 or c?
-0.1
Let s = 6566 + -5679589/865. Do 0 and s have the same value?
False
Let a be (-3)/((-18)/4)*(-491 + 512). Which is greater: 109/8 or a?
a
Let h(g) = -27*g**2 - 11*g - 11. Let l be h(-1). Are l and -139/5 unequal?
True
Suppose 3*p - 119 = g, 4*p = 4*g - g + 157. Let c(l) = 2*l**2 + 13*l + 17. Let a be c(-8). Do a and p have the same value?
False
Let c(y) = -3*y - 8. Let k be c(-10). Let b = k - 28. Are b and -7 non-equal?
True
Suppose -86 = -y - y. Let d(z) = 42*z + 2. Let o be d(1). Is y < o?
True
Let w = -0.0458 + -2.1642. Let h = w - -1.01. Which is smaller: -1/3 or h?
h
Let k be (40/15)/(((-136)/(-6))/4). Which is smaller: k or 1?
k
Let s be -19 - ((-18)/((-12)/4) + -3). Let j = 36 + s. Which is greater: j or 46/3?
46/3
Let s(a) = -a**3 + 14*a**2 - 18*a + 64. Let i be s(13). Do -1/873 and i have the same value?
False
Let o be (-4)/54 - 139799/1917. Are o and -70 unequal?
True
Let h(n) = -8*n**2 + 31*n + 11. Let w be h(8). Do w and -251 have different values?
True
Suppose 2*a = 320 - 1156. Let r = a - -46399/111. Which is smaller: r or -1?
-1
Suppose 7*u - 6*u + 2*c - 9 = 0, 2*u + 3*c - 13 = 0. Let a be 4*u + (-6 - (-666)/63). Is 1 greater than a?
True
Let u = -27 + 27.2. Let a = 8904152/125765 + 2/25153. Let f = a + -71. Are f and u nonequal?
True
Suppose -p - 3*w = -5*w - 7, -3*p - 11 = 2*w. Let x be 6*(p/2 - 1). Let f = x - -5. Which is smaller: f or 1/3?
f
Let p(j) = 6*j**2 + 4*j + 4. Let v(n) = -5*n**2 - 4*n - 3. Let u(d) = -6*p(d) - 7*v(d). Let k be u(3). Is k smaller than 1/39?
True
Let u(l) = 57*l**2 + 6*l + 5. Suppose -5*k = 2*k + 7. Let r be u(k). Is r bigger than 57?
False
Suppose -5*x + 5*o - 20 = -0, -2*x = 5*o - 20. Suppose -z = 4*p - 22, -5*p + 5*z + 2 + 13 = 0. Let i be x + -1 + p*-2. Is -9 less than i?
False
Let h be 4/18 - 68/(-18). Let k(z) = -z + 2. Let t be k(h). Let c(x) = x**3 - 7*x**2 + 5*x + 4. Let i be c(6). Does t = i?
True
Let d = -0.4 + -0.1. Let q = -0.39388 - 0.00612. Is q at least as big as d?
True
Suppose 5*h + 19 = -c, 0 = 17*h - 16*h + 5*c - 1. Suppose 2*t + 0*t - 4*i = 30, -5*t - 3*i + 10 = 0. Suppose -t*o + 0*o = 10. Is h bigger than o?
False
Let i = -624 - -622. Which is smaller: i or 59?
i
Let k be 88/(-176)*(-6)/(-8)*-2. Let o = 3 - 3.12. Which is smaller: k or o?
o
Let a(t) = t**2 + 10*t + 19. Let w be a(-8). Suppose k + 2 = w. Is -1 less than k?
True
Suppose 3*x - 5*x = 26. Let v be 1/(152/52 + -3). Is v equal to x?
True
Suppose 3*c + 33 - 54 = 0. Suppose p - 5*u - 16 = 0, -2*p + c = -2*u - 1. Let i = p - 3. Is i < 9?
True
Let l be (-45)/(2 + (-14)/4). Which is greater: 33 or l?
33
Suppose 18*i - 20*i = -20. Suppose n + 11*p - 6*p = -i, 0 = -4*n + 3*p - 132. Is n at most as big as -30?
True
Let m = 65/59 - 18903/17051. Are m and -1 equal?
False
Let o = -360 - -358. Which is smaller: o or 0.3?
o
Let o = -84.2 + 171.2. Is -0.3 less than o?
True
Let q be (-4)/(-6) - 8/66. Let k = 9113 - 9113. Which is bigger: q or k?
q
Let q = -1141 + 1140. Let h be (-3)/(-9) - (-69)/(-153). Is h less than q?
False
Suppose -5*q = c + 11, 4*q + 6 = -2*c + 2. Suppose -5*n + 21 = -3*m, -3*n + 1 + 0 = c*m. Let h be 1/m - 4/(-5). Is -1 bigger than h?
False
Let f(z) = -z**3 - 34*z**2 - 66*z - 42. Let r be f(-32). Suppose 40 = -r*v - 4. Let w be 7/(-3) + 2/6. Is w <= v?
True
Let u be (-20 + 21)*1/(-120). Which is smaller: u or -0.1?
-0.1
Suppose 5*i - 4*s + 381 = -7*s, 2*i - s + 159 = 0. Which is smaller: i or -155/2?
i
Let v = 7513/2293570 + -3/2174. Which is smaller: v or -1?
-1
Let a = 30 + -1. Let n = a + -66. Is n less than 0?
True
Suppose 4*t + 231 + 617 = 2*k, 5*k - 1050 = 5*t. Which is smaller: t or -213?
t
Let l = 2/156475 + 4509299/2034175. Let q = 30/13 - l. Is -1 less than q?
True
Let d be (-32)/176 - (4 + (-1365)/(-55)). Suppose -2*i - 58 = 4*p, 6*i + 5*p + 145 = i. Is i < d?
False
Suppose 12 = -2*b - 4*p, 4*b - 3*b - 3*p = 9. Let g = -132092291/612 - -863403/4. Let y = -122/9 + g. Is y >= b?
True
Let x = -24 - -60. Let r be 6/15 + x/10. Suppose -4*f - 4*w - 16 = 0, r = -5*f - 3*w - 8. Is f less than -15?
False
Let t be (-152 - (-8)/8)*-1. Is t at most 151?
True
Suppose 5*x = 2*v - 849, -x = -5*x - 4*v - 668. Let p = -22604 - -91095/4. Let m = p + x. Is 2 at least m?
True
Let o(n) be the first derivative of -n**2/2 + 26*n + 8. Let b be o(-8). Are b and 34 equal?
True
Suppose -4*a + 47 = -65. Let n = 0 - 26. Let t = n + a. Is t at most 9?
True
Suppose 0 = 9*p + 9474 - 9465. Which is greater: p or -2/2849?
-2/2849
Suppose 22*y - 7*y = -720. Is y less than -48?
False
Let m = 9 - 16. Let r = 12 + m. Is 1/4 bigger than r?
False
Let l = -31.2 + 31.2. Do l and -275 have different values?
True
Let z = -18.09 + 0.09. Let y = z - -17.8. Let f = 0.8 - y. Which is smaller: f or -4?
-4
Suppose -966 + 7 = -7*i. Let f = -124 + i. Which is greater: f or 15?
15
Let j(y) = 2*y**2 - 33*y + 16. Let w(o) = -7*o - 33. Let v be w(-7). Let u be j(v). Which is bigger: u or 1/92?
1/92
Le