se 0*h = a*h - 33. Is k greater than h?
False
Suppose -9*g + 23 = 41. Which is greater: g or -492?
g
Let b(k) = 22*k. Let a be b(-6). Let q be (3/2)/((-63)/a). Which is smaller: 3 or q?
3
Let p be (2 - (-6 + 0))*-1. Let c(m) = m**2 + 6. Let d be c(p). Let n be (-1)/3 + d/75. Which is smaller: 0 or n?
0
Suppose 3*k = 6*k - 33. Let w = 13 + -1. Does w = k?
False
Let s = 456/23 + -134543/6785. Which is greater: 0 or s?
0
Let b = 0 + 2. Suppose 5*s + 5*n = 15, b*s = s + 4*n - 12. Is s > -0.2?
True
Let y be (7*39/(-182))/((-33)/4). Is -25/2 at most y?
True
Let d(b) = -2*b**2 - 3*b + 7. Let w be d(-3). Let l = w + 6. Suppose n + n + 8 = 3*m, l = 2*n. Is m equal to 5/2?
False
Suppose -4*v = -p - 17, -13*p + 3*v = -9*p + 3. Which is greater: 35/8 or p?
35/8
Let z = 50.784 - 51. Let b = z - -0.016. Is b > -6?
True
Suppose -b = b. Let x = -611/6 + 223/3. Let p = x + 27. Is b at least as big as p?
True
Let w = -8.68 - -0.48. Let c = w - -8. Let r(a) = -a**3 + 11*a**2 - 21*a - 10. Let v be r(8). Do v and c have different values?
True
Let f be 40/200*(-20)/2886. Which is bigger: 1 or f?
1
Suppose 0 = -18*g + 17*g. Which is bigger: 5/61 or g?
5/61
Suppose 0 = -132*z + 139*z - 4823. Do z and 689 have the same value?
True
Suppose 2 = -9*n + 11*n. Is 21/26 at least as big as n?
False
Suppose -3*k + 4*h - 14 = 32, -82 = 5*k - 4*h. Is -20 <= k?
True
Suppose 820 = -v - 9*v. Are v and -83 nonequal?
True
Let b = -3 - 5. Let l = b + 8. Let f = -3405/364 - -123/13. Which is greater: l or f?
f
Suppose 4*y = -4*i + 28, 3*y + 3*i - 29 = -2*i. Let s be (y + (-5 - -2))*-1. Which is greater: s or -1/52?
s
Let q(l) = -l**2 + 8*l - 7. Let v be q(5). Suppose y - 5 = -0. Let w be -2 - -11*(y - 4). Is v at least as big as w?
False
Let o = -2 + 4. Suppose -o*h + h = -2. Suppose -3*z - 12 = -2*r, -4 = -h*r + 2. Is z less than -2?
False
Let l = -585 + 590. Which is greater: l or 0.22?
l
Let g be (-706)/(-1364) + (-4)/8. Let a = -62/451637 + -185123054/6930369765. Let u = a - g. Is 1 < u?
False
Let n = -48 - -32. Let w be (6/(-27) - n/(-9))/(-2). Is -3/29 bigger than w?
False
Suppose -23*i + 9 = -60. Is i > 4?
False
Let x = -1 + 13. Let q = -78 + 84. Let r be (q - 0)/((-162)/x). Is -1 at least r?
False
Let j be 9/(3 - (-18)/(-4)). Let m = 15 - 13. Suppose 4*f = -m*i - 4 - 18, f + 28 = -5*i. Which is bigger: j or i?
i
Let g = 84 + -83. Suppose -2*b = -3*f - 11, -2 = -3*b - 3*f - 8. Is b not equal to g?
False
Let s(v) = 2*v**3 - 25*v**2 + 25*v - 17. Let j be s(12). Is j smaller than 140?
True
Let t = -1676 + 3031. Let p = t + -9460/7. Is 3 < p?
True
Let h(l) = 75*l + 39. Let s be h(-2). Which is greater: s or -113?
s
Let v = -0.647 - -0.66. Let r = -2.013 + v. Is 12 less than or equal to r?
False
Let s(h) = 19*h**2 + 2. Let l be s(-1). Let y be (3/l)/((-4)/(-14)). Which is bigger: 0.004 or y?
y
Let h be 2*(-2 + 6/4). Let d be (-4)/2 - h - -2. Let o be 3/19*(198/27 - 8). Is d >= o?
True
Let x = -12 + 11. Let m be x*(3 + (-6 - -3)). Let k be m + (1 - 2)/1. Which is greater: -2/21 or k?
-2/21
Let u(z) be the first derivative of z**3/3 - 4*z**2 - 10*z - 14. Let x be u(9). Is 2/121 at most as big as x?
False
Let z be ((-1064)/(-69881))/(-4)*(-11)/(-8). Let j = 5/268 + z. Which is smaller: j or -1?
-1
Let c = -5 + 8. Let g = c - 2.94. Let b = -0.3043 - -0.2043. Which is bigger: b or g?
g
Suppose 171*m = 162*m - 504. Is m bigger than 1?
False
Suppose 102*y - 125*y = 20309. Are -883 and y non-equal?
False
Suppose 17*n = -4*n + 15*n. Do n and -2/1299 have different values?
True
Let n = -339 - -306. Let v be (4/(-10))/((-2)/(-170)). Is n <= v?
False
Suppose 0*k = 5*k. Suppose -6 = -3*p - k*p. Suppose 4*x - 4 = -4. Which is greater: x or p?
p
Suppose -3*t - 3 = -3*l, 0 = -t - 2*t - 3*l - 3. Let j(p) = -p**2 + 5*p - 2. Let d be j(3). Suppose -d*c = -c. Is c bigger than t?
True
Let f = 1.07 + 0.53. Let k = f - 1.72. Is 1 != k?
True
Let a(t) = t**2 + 4*t - 1. Let i be a(-6). Do -1 and i have the same value?
False
Let k = 56 - 56. Is k bigger than 2/9?
False
Let c = -1988 - -13884/7. Let l = c - -508/105. Is l at least -1?
True
Let i be 150766/330 + 4/30. Do i and 457 have the same value?
True
Suppose -1518 + 5486 = 62*d. Which is smaller: d or 67?
d
Let x be (-1)/3 - 37/(-3). Let p(i) = -i**2 + 11*i + 11. Let q be p(x). Which is smaller: -0.12 or q?
q
Let t = 665/8 - 83. Let w = 1198 + -1197.7. Which is bigger: w or t?
w
Suppose 36 - 1 = 5*h. Let o = h + 3. Let y = -48 + 59. Which is greater: y or o?
y
Suppose -34*a - 30 = -36*a. Suppose 4*p - 19 = -a. Is p bigger than 2/3?
True
Let u be (((-3)/(-10))/1)/(34128/790). Which is greater: u or 0?
u
Let f = -25 + 20. Let n = f - -9. Is 4 at most as big as n?
True
Suppose -3*t - 5*f - 50 = 0, 0 = 4*t + 2*f - 0*f + 90. Let k = 25 + t. Let u(o) = o**2 + o - 1. Let h be u(k). Is 2 at least as big as h?
True
Let j(m) = 26*m**2 + m. Let w be j(1). Let f be 9/w + 14/(-33). Is 1 less than f?
False
Let a = -5.51 + 8.51. Do a and -0.113 have the same value?
False
Let t = 33 + -15. Suppose -t = b + y, -5*b + b = -5*y + 90. Is b less than 1?
True
Suppose 0 = -2*l + 5*l + 192. Which is smaller: l or -62?
l
Suppose 0 = 5*b - 3*j + 30, 3*b + j - 6*j = -34. Let n be (-9)/42*4/b. Let u = -0.0648 - 15.9352. Does u = n?
False
Let f(x) = -3*x + 4. Let t be 13/4 + 1/(-4). Let c be f(t). Do c and -5 have different values?
False
Let n = -1.34 + -0.06. Let q = 1.5 + n. Which is smaller: -15 or q?
-15
Let d = 28/37 + -844/333. Suppose -7*q + 9*q + 2 = 0. Which is bigger: d or q?
q
Let z be (-18 - 2)/(-3 - -1). Suppose -2*h = 2 + z. Let a be (-3)/h - (-5)/(-4). Which is smaller: a or -1?
-1
Let j be (-223)/(-3) - (-1 + 1/3). Let p = -53 + j. Is p > 23?
False
Let h(j) = j**3 + 5*j**2 - 5*j + 3. Let b be h(-5). Suppose -5*n + 7 + b = 0. Suppose -5*u = 4*s + 18 - 4, -s - 3*u - n = 0. Which is smaller: s or 1/9?
s
Let h = 0.449 + 0.141. Let i = h + -0.79. Which is smaller: -1.9 or i?
-1.9
Let g = -5.2 + 28.2. Let y = 26 - g. Which is greater: 0.2 or y?
y
Let z = -30.888 - -0.088. Which is smaller: z or 0?
z
Let f(z) = -2 - 2 - 4*z + z**3 + 3*z - 2*z**2 + 0*z**3. Let j be f(3). Are 1/2 and j equal?
False
Let g(n) = n**3 - 5*n**2 + 4*n - 3. Let v be g(4). Let q(s) = 2*s + 24. Let b be q(-6). Let a be (12/9)/((-6)/b). Is v smaller than a?
True
Suppose 2*f - 3*a = -3 + 26, -5*a = -f + 29. Suppose 0 = r - 12*r + 33. Do f and r have the same value?
False
Let w = 1/1321 + -130781/2642. Are -49 and w non-equal?
True
Let j be (-10 + 18621/1863)*-15*1. Do j and 1 have different values?
True
Let x be 1 + (3 - (-1)/(-1)). Suppose -2*u + x - 2 = -n, -34 = 2*n + 4*u. Do n and 1 have different values?
True
Let i = -86007 + 600543/7. Is i smaller than -215?
True
Let u = -681 - -680. Which is smaller: 2/5 or u?
u
Let v = -28 - -33. Suppose 3*p - 39 = -v*d, 0 = -d - 0*d + 2*p. Which is bigger: 5 or d?
d
Let z = -4564/34155 - -2/6831. Suppose 0 = -4*l - 4*s, -3*l - 5*s - 2 = -0. Is l < z?
False
Let j = 6.013 + 1.987. Are j and -7/6 non-equal?
True
Let u(q) = q**3 - 13*q**2 + 2. Let h be u(13). Suppose 2*s + 3*s + k = 31, -h*s + k = -11. Let d be s/15*(-10)/(-7). Is d greater than 1?
False
Suppose -y = 3*d + y - 40, -2*d - 4*y + 32 = 0. Suppose 7*b = d*b + 235. Let j = b - -32. Is -14 greater than or equal to j?
True
Let u = 39.67 - -0.33. Let l = 40 - u. Is 1 at least l?
True
Suppose -4*a + 36 = -2*z, -z + 5*a + 2 = 8. Let t be 1*((-12)/18)/(2/75). Is t >= z?
True
Suppose 2*u + 52 = -5*j, 2*u - 8 - 36 = 3*j. Let c = j - -11. Which is smaller: c or -1/3?
c
Let v = -67 - -60.9. Let b = -6 - v. Is 0.01 at least b?
False
Let g(o) = 472*o + 5. Let s be g(1). Is s at least as big as 476?
True
Let s = 7 - -2. Let y be (-50)/(-6) - (96/(-18))/8. Let a = s - y. Which is greater: a or 1?
1
Let t(a) = 9*a**2 - 13*a + 114. Let r be t(6). Are 360 and r unequal?
False
Let l(i) = i**3 - 9*i**2 + 7*i - 1. Let n be l(9). Let h = n + -60. Which is smaller: h or 4/7?
4/7
Suppose 2*d + 7*o = 2*o, -o = 5*d. Let b(p) = 50*p**3 - 101*p**3 + 50*p**3. Let g be b(d). Which is smaller: g or 0.2?
g
Let x be -1 + 4 + (2 - 3). Suppose 0 = -0*z - 2*z + x. Let t = 187/14 + -27/2. Which is smaller: t or z?
t
Let o be (3/90)/(((-152)/32)/(-19)). Let t = 2 + -3. Is t <= o?
True
Let x be (-6)/140*-9*(-8)/18. Is x less than -2?
Fal