 k be (-9)/6*8/(-12). Suppose 7 + k = -2*u. Are -0.1 and u nonequal?
True
Let a be 224/(-10) + (-6)/(-15). Let t = 21 - 19. Let r be (-4)/a + (t - 2). Which is greater: r or 0?
r
Let p = 611/205 - -9/41. Which is bigger: -0.3 or p?
p
Let x(i) = -i**3 - 2*i**2 + 3*i. Let q be x(-3). Suppose -5*h = 1 - 6. Suppose v + h = -q*v. Is -2/13 greater than v?
True
Suppose -78 = r - 5*h, -4*r - 5*h - 565 + 203 = 0. Is -88 > r?
False
Let k = 52 - 49. Let n(j) = -j + 10. Let y be n(k). Is y less than or equal to 7?
True
Let c be (-9)/27 + 484/(-6). Let d be 6/(-15) + (-162)/2. Let u = c - d. Which is smaller: 12 or u?
u
Let u be (50/(-175))/((-1)/(-7)). Is -20 bigger than u?
False
Suppose -3*n = -4*w - 29, -3*n + 4 - 15 = 4*w. Suppose 4*o + 32 = 4*a, -4*a + 28*o = 33*o + 13. Does a = n?
True
Suppose 6*j + 7 - 7 = 0. Which is greater: 7/155 or j?
7/155
Let x = -154638451/7556710 + 57636/2633. Let p = x + 1/410. Let j be 1 + (-2)/(-4)*2. Which is greater: j or p?
j
Let z = -18.699 - -46.656. Let o = z + 0.043. Let k = 27.9 - o. Which is smaller: k or 1?
k
Let n(g) = -6*g**2 - 30*g - 4. Let x(v) = -v**2 - 6*v - 1. Let a(b) = -2*n(b) + 11*x(b). Let t be a(8). Suppose 3 = -5*r + t. Is 0 equal to r?
False
Let u be -3 + (-2 - -3) - 13. Let m be (1 - u)/(-4) - (-2 - 1). Which is bigger: m or 29?
29
Let n be 76/(4/10 - 0). Let q be 22/(-1254)*-19 - (-3995)/21. Let c = q - n. Which is smaller: 2 or c?
c
Suppose -3*o - v - 3 = 0, 4*o - 50*v + 46*v = 12. Which is greater: 8/95 or o?
8/95
Let u(r) = -r**2 - 11*r + 4. Let k be u(-11). Suppose k = -2*p + 10. Is p equal to 8/3?
False
Let m be ((-1)/5)/(6/30). Let a be (8*m/(-42))/(-6 + 4). Is a greater than 0?
False
Let p(q) = -4*q - 2. Let o be p(3). Let k be -11 + -11 + 5 - (-8 - -3). Which is greater: k or o?
k
Let m = -21 - -33. Let x = -8.7 + 9.56. Let r = x + 0.14. Which is smaller: m or r?
r
Let n = 32.09 - 32.1. Do 6 and n have the same value?
False
Let o = -78.8 + 82. Let r be 21/(-6) - -3 - 0. Which is greater: o or r?
o
Let l be (28/12)/(-7)*-15. Suppose l*z + 2*x - 12 = 13, -5*z = -3*x. Suppose z*p - 20 = -p. Which is bigger: 4 or p?
p
Let u = -160 + 173.3. Let c = -2.6 - 10.4. Let l = u + c. Is -1 greater than or equal to l?
False
Suppose 16*n - 21*n = 3*c - 486, -c - 190 = -2*n. Which is smaller: n or 94?
94
Suppose 0 = -l - 4*s + 2 + 11, 0 = -3*s + 9. Which is smaller: l or -1/11?
-1/11
Let k = -2/16739 - 2510708/1188469. Which is smaller: k or -3?
-3
Let d be (-1)/((-1 - 3)/(-8)). Let t be (18/(-21))/(d/56). Suppose -4*n - 128 + t = -4*i, 3*n = -4*i - 57. Is -23 != n?
False
Let n be (-2)/(-12)*43770/40. Let o = n + -13225/72. Let f = o + 14/9. Which is bigger: f or -1?
f
Let o be 96/14*636/24. Let d = -182 + o. Is 0.13 bigger than d?
True
Let v = 43 + -21. Let c be 36/v*11/33. Suppose 2*n + 10 = a + 2*a, n = -4*a - 5. Which is bigger: a or c?
c
Let b = 0.75 + 49.85. Let w = 51 - b. Let p = 3 - 6. Is p at most as big as w?
True
Let v = 519 + -521. Which is smaller: 59 or v?
v
Let f = -202.5 - -205. Let t = -6 + 4.5. Let c = t - f. Which is bigger: -2/3 or c?
-2/3
Suppose k = 7*k - 420. Let n = k - 218/3. Which is greater: -3 or n?
n
Let w(k) = k**2 + 12*k + 15. Let i be w(-10). Let h = 9 + i. Which is smaller: h or 3?
3
Let d = -15 - -16.3. Let h = 0.687 - -0.013. Let c = d - h. Do c and -0.1 have the same value?
False
Let s(k) = k**3 + 5*k**2 - 14*k + 1. Let m be s(-7). Which is bigger: 2/83 or m?
m
Let t be (3/(-21))/(3/(-21)). Let z be 1*0*1/2. Let v = z + t. Which is smaller: -3/7 or v?
-3/7
Suppose -2*d + 134 = -82. Suppose -5*p - d = -3*g, -2*p + g - 46 = -3*g. Which is smaller: -19 or p?
p
Suppose 7*i + 172 = 4*x + 3*i, 3*i = 5*x - 207. Let q be (43 - (-3)/(12/(-8))) + -2. Is x at least as big as q?
True
Let m = -9 + -2. Let x = m - -7. Let c be x/3*3/10. Which is bigger: c or -4?
c
Let u = 11 + -10.9. Let a = 0.08 + -8.08. Let w = a + 7. Is u at most as big as w?
False
Let q = -7 - -15. Suppose -q = b - 3*b. Suppose b*g - 5*g = 0. Which is smaller: -1 or g?
-1
Suppose -8*t - 98 + 74 = 0. Which is bigger: t or 3/151?
3/151
Let x(l) = 13*l**2 + l. Let n be x(-1). Let i = 49 + n. Suppose 0 = -4*c - 5*o + i, -c - 2 = -3*o + 4. Is c equal to 10?
False
Let p = 0 + -3. Suppose 0 = -2*t + 3*t. Is p greater than t?
False
Let f be (-16)/6 - (-2)/3. Let p be f + 0 - (-3 + -3). Let s be p/6 + 22/(-6). Is 0.1 greater than or equal to s?
True
Let t(h) = h + 14. Let f be t(-18). Suppose 2*b - 5*g - 25 = 0, 0 = -5*g - 1 - 14. Let p = f + b. Which is smaller: p or 10/7?
p
Let f = -8.17 + 7.87. Which is greater: 100 or f?
100
Let f(t) = -t**3 - 6*t**2 - t - 1. Let k be f(-6). Let m(a) = -a**2 + a + 20. Let p be m(k). Which is smaller: p or 2/43?
p
Let t be 6/62*-11 - -1. Let q = t - 27/62. Let d(z) = z + 5. Let b be d(-4). Are q and b equal?
False
Let v = 398 - 54528/137. Let j(b) = 2*b**3 + 2*b**2 + b. Let y be j(-1). Which is smaller: y or v?
y
Suppose 3*x + 5*o + 39 = 55, 0 = 3*x + o - 20. Suppose 2*u + u - 6 = -2*i, -4*i - 3*u = -24. Which is greater: x or i?
i
Let a be -2628*(3 - (-158)/(-52)). Let z = a + -101. Is z greater than -1?
True
Let u = -32723 - -32722. Let p be ((-6)/(-4))/((-7)/(-2)). Which is bigger: u or p?
p
Suppose 8*g - 1 = 3*j + 3*g, 0 = j + 3*g - 9. Suppose -j*d - 42 = -2*n, 174 = 4*n + 4*d + 70. Is n greater than 25?
False
Suppose 0 = 2*h + 8, -2*q - 2*h = -3*h - 12. Suppose q*p - 5*p + 6*p = 0. Which is smaller: p or 3/11?
p
Let u = -2199 + 2070. Is u greater than -129?
False
Suppose 0*c + 3*a = -c + 11, 2*c - 3*a - 58 = 0. Let f = c - 11. Let i = f - -7. Is 18 < i?
True
Let q(y) = 7*y - 135*y**2 + 1 + 127*y**2 + 0 + y**3. Let b be q(7). Let a(h) = -3*h + 2. Let w be a(b). Is 2/9 less than or equal to w?
False
Let h = 270775/584 - 3711/8. Is h greater than or equal to -1?
True
Let l(x) = 2*x**3 - 16*x**2 + 19*x - 36. Let v be l(7). Is v equal to -9/197?
False
Let t = 97 + -242. Let d = -45140 - -764916/17. Let h = d - t. Is h smaller than 0?
False
Let c be (-10 + 1 - -9)/(1/1). Which is smaller: c or -5/44?
-5/44
Suppose -c - 4*y = -2*c + 50, 0 = -2*c - 2*y + 60. Are c and 241/7 equal?
False
Let p(a) = -2*a + 16. Let d be (-7)/14*(-1 - 15). Let k be p(d). Suppose h - 22 = 5*b, -2*b - 2*h - h - 19 = k. Is -5 at most as big as b?
True
Let p(z) = 3*z - 38. Let u be p(16). Let k = -40 + u. Let w = k - -30. Which is bigger: w or -4/9?
w
Let o be (9/(702/(-12)))/45. Is -2/5 at least as big as o?
False
Let n be ((-528)/64)/(1/(-8)). Let z = -40 + n. Suppose 32 - z = 2*r. Is r less than or equal to 0?
False
Suppose -r - 2 = 3, r = -3*i + 31. Is -7 bigger than i?
False
Suppose -65 = -5*f - 3*u, -4*f + 1 = 4*u - 59. Let a(r) = -r + 12. Let j be a(f). Let p be -2*((-1)/2)/((-6)/6). Which is smaller: j or p?
p
Let i be (-36)/(-30) + 108/(-140). Let c(k) = -k - 1. Let g be c(-2). Which is smaller: g or i?
i
Suppose 11*g = 12*g - 8. Suppose 2*t - 2*s - 8 - g = 0, -2*s = 4. Which is bigger: 28/5 or t?
t
Let c be (-23)/(-7) + -3 + (-2190)/7616. Which is greater: 1 or c?
1
Let f be (9828/1008)/((-1)/(-8)). Is 72 <= f?
True
Let t(p) = p**2 - 7*p - 131. Let w be t(-8). Is -11 smaller than w?
False
Suppose -12 = -8*p + 12*p. Let m be 132/55 - (-2)/(2/p). Are 9 and m nonequal?
True
Let l(h) = h**2 + 8*h - 13. Let a be l(-10). Let r(o) = o**2 - 3*o + 2. Let z be r(a). Let p be 27/z*-2 - -3. Is 0 at least as big as p?
False
Suppose -115*y + 136*y = 0. Do 2/5 and y have the same value?
False
Suppose 2*m + 3*c - 66 = 68, 4*m + 5*c = 272. Do m and 73 have different values?
False
Let l be (-1)/4 + 14/((-336)/(-30)). Is 12/17 greater than l?
False
Let h = 344/5373 - -2/199. Let r be ((-2)/(-12))/((-1)/(-6)). Which is smaller: h or r?
h
Let i(v) = v**2 + 20*v - 10. Let l = -35 + 14. Let o be i(l). Which is bigger: 12 or o?
12
Suppose 2 = -v - 4*f, -2*v + 3*f + 8 - 1 = 0. Let l be -9 + 8 + 6/v. Suppose l = -2*j - 3*k + 5, -3*k + 3 = -2*j. Do -1/4 and j have the same value?
False
Let l be -3 - (-3 + -45) - 0. Suppose -l*k = -49*k - 12. Does -3 = k?
True
Let z be -1 + 205874/139440 - (-2)/(-4). Let x = -3/664 - z. Does -1 = x?
False
Let q be 2/(-8)*-1*2680/(-30). Let b = q + 22. Is -1/3 smaller than b?
False
Suppose -o - 2*f = -16 + 4, -2*o - 5*f + 28 = 0. Suppose -o*l = 2*l - 6. Are l and 3/26 equal?
False
Let b(q) =