 n?
n
Suppose p - 3 + 5 = 0. Which is smaller: p or -5?
-5
Suppose 3*b + 2*q - 8 = 0, 3*b + 5*q - 17 - 3 = 0. Is -1/21 at most b?
True
Let y = 74/21 - 6/7. Which is greater: y or -1?
y
Let r = -36 + 25. Let o = -9 + 9. Is r > o?
False
Let a = -1/107 + -211/321. Is a at least -7?
True
Suppose 38 - 88 = -5*k + 3*d, -3*d = k - 28. Suppose 4*m - x = -k, -2*m + 2*x - 18 = -4. Let q be m/3*(-12)/(-8). Which is greater: -2/3 or q?
-2/3
Let z be 256/48 + (-4)/(-3). Is z at least as big as 7?
False
Let f = 8.5 + -8.6. Is f bigger than -0.3?
True
Let y be 4 + ((-6)/21 - (-66)/(-14)). Let t = 0 - 0. Is y != t?
True
Let r be 33/44*(-8)/(-9). Let z = -2 - -4. Let m = z - 2.1. Which is bigger: m or r?
r
Let g(b) = b**2 - 14*b + 12. Let x be g(9). Let t be x/(-18) - 2/(-12). Let f = 0 + t. Is 3 greater than f?
True
Let c(l) = l**3 + 6*l**2 + 2*l - 14. Let h be c(-5). Is 2/35 smaller than h?
True
Let a = 153.09 + -153. Are -2/3 and a equal?
False
Let n = 6.3 - 6. Let t = 0.7 + n. Are t and -2/13 unequal?
True
Let s(f) = 3*f - 1. Let x be s(-4). Let t = x + 19. Let j be (1 - 0)/(t/18). Which is smaller: 5 or j?
j
Suppose -11*n = -16*n - 5. Do -1/7 and n have the same value?
False
Suppose -6*u + 5*u = c - 3, -4*c - 3*u + 16 = 0. Suppose 2*y - 5 = c*y. Which is greater: -2 or y?
y
Let q = -79/7 + 81/7. Which is greater: 1/4 or q?
q
Let t(p) = 4*p - 3*p**2 + p + 0*p - 1. Let s be t(2). Are s and 0.4 unequal?
True
Let w = -1 + 0. Suppose 0 = v - 5*a - 17, -4*v + a = 3*a - 2. Suppose -v*f = 3*f + 5. Is f less than w?
False
Let g = -11.59 - -11.4. Which is greater: -2/3 or g?
g
Suppose -2*z - 3*a + 13 = 0, -9 = -a - 4. Which is greater: 3/7 or z?
3/7
Suppose -3*d = -6 - 3. Let x be (2/d)/((-10)/9). Let m = -61 + 61. Is m > x?
True
Let r = 52 - 990/19. Is r < 1?
True
Suppose 0 = -k + 1, 5*j - 14 = -2*k - 2*k. Let i be (0/(-4))/(4 - 2). Which is greater: j or i?
j
Let x be (24/708)/(3 - 1). Which is smaller: 1 or x?
x
Let k be 10/(-6) - 1/(4/(-12)). Which is greater: 2 or k?
2
Suppose -2*h + 0 + 4 = 0. Suppose h = n - 0*n. Which is smaller: 3 or n?
n
Let s(u) = u + 5. Let r be s(-6). Let p be r/2 - 23/(-54). Which is greater: p or 1?
1
Let c(i) = i**2 + 6*i + 5. Let n be c(-6). Let h(g) = g**2 - 2*g + 1. Let y be h(1). Suppose y = n*z - 0*z. Which is greater: 2/5 or z?
2/5
Suppose v + 4*v - 55 = 0. Suppose 5 = -l - v. Let p be (-2)/(-5) - l/(-30). Is 1 bigger than p?
True
Let m = 0.055 + 0.075. Is 0 >= m?
False
Suppose 42 = 4*z - z. Let u be (z/(-140))/(2/(-15)). Let i = -0.2 - -0.4. Is u at least i?
True
Let z be (-1)/(-4) + (-22)/(-24). Let t = -11/6 + z. Which is smaller: t or -2?
-2
Let i = -4 + -8. Let v = i - -12. Is -8 greater than v?
False
Let m = 16 - 14. Suppose 4*i - 5*i = m. Is i less than -3/4?
True
Let b = -442/9 - -49. Let n = -2/9 + b. Which is greater: 1 or n?
1
Suppose 0 - 5 = 5*x. Let d(c) = -c - 7. Let k be d(-8). Suppose 2*g - g - k = 0. Do x and g have different values?
True
Suppose 5*s + 3*s = 0. Is s less than 1/5?
True
Let b = 36 - 23. Let u be b/5 + (-2)/(-5). Suppose u*k - 3 = -0*k - 2*o, -5*k - 4*o = -5. Which is smaller: -1/5 or k?
-1/5
Let h = -0.8 - -0.9. Let x = h + -0.2. Which is greater: -1 or x?
x
Let c be (6 + (1 - 7))/(4/(-2)). Which is bigger: -25 or c?
c
Let s be (-6)/(-2)*(-4)/(-18). Let r = 25.7 - 27. Let a = 1.4 + r. Which is smaller: s or a?
a
Let q be 20/8 - (-4)/8. Let u be (1 + -2)*4 + q. Let z = 1 + -1. Is u less than or equal to z?
True
Let q = -1 + 3. Suppose 0*m = -m - v + 8, -4*v = -16. Suppose 0 = 5*j - 5*g, -5*j = -q*g + m*g + 7. Which is bigger: j or -3/5?
-3/5
Suppose -4*o = 2*l + 1252, -5*o - 1564 = 2*l + l. Let d = -4708/15 - o. Suppose -r - 5 = 0, -2*b = 5*r + 17 + 6. Is d bigger than b?
False
Let f = -11 - -13. Which is greater: -8 or f?
f
Let k = 1755/4 - 435. Which is bigger: k or 3?
k
Let o be (-2)/(-6) + 1413/(-189). Let l = o + 235/28. Is 2 at least l?
True
Let t be 10 - 7 - (-30)/(-8). Is -1 less than t?
True
Suppose -8 = 4*x + 4*p, 3*x + 0*p = p + 10. Suppose u = -x*u. Suppose 4*i + 5 + 7 = u. Which is bigger: i or -1?
-1
Let m = 0 - 2. Let k(w) = -4 + 0 + 2 - w**3 + 1 - 15*w**2. Let n be k(-15). Which is smaller: n or m?
m
Let k(q) = q**3 + 9*q**2 + 12*q + 12. Let m be k(-8). Let z = m - -41. Which is greater: 1/2 or z?
z
Let a be 142*(2/4)/(-1). Which is greater: a or -70?
-70
Let d be (-6)/(2*-1*1). Let j(m) = m - 2. Let y be j(d). Let n be 6/(-8)*6/(-9). Which is greater: n or y?
y
Let g(r) = r**3 - 4*r**2 + 2*r + 1. Let t be g(4). Let s be (-12)/t*(1 - 4). Suppose o + s*o = 0. Is o greater than -1/5?
True
Let o = -88/455 + -6/65. Which is smaller: o or 5/2?
o
Suppose 0 = -5*p + 2*p. Let n be ((-81)/12)/((-2)/8). Let d = -244/9 + n. Do p and d have different values?
True
Let g be (-12)/(-8)*(0 - (-8)/(-15)). Is -12 > g?
False
Suppose -3*t = -8 + 2. Let d = t + -4. Which is smaller: d or -5?
-5
Let k = 5.3 - 5.2. Let a be ((-1)/(-6))/((-6)/(-153)). Let c = 47/12 - a. Is c greater than or equal to k?
False
Let u = 27/2 + -13. Let k be ((-55)/30 - -2)*12/8. Is k greater than or equal to u?
False
Suppose 2*x - 3 = 1. Let g be (-10)/3 - 1/(-3). Let c = x + g. Is 2 not equal to c?
True
Suppose -z = -6*z. Suppose z = k + 4*k. Suppose 4*t = -k*t + 12. Is t at most 3?
True
Suppose -2*n + 35 = 7. Is 14 greater than n?
False
Let d(w) = 8*w - 1. Let t be d(-1). Let q = 8 + t. Which is smaller: q or 2/11?
q
Let z(o) = o**2 - o. Let g be z(-2). Suppose 4*s + g = 3*k, s - 5*k + 10 = 4*s. Which is smaller: 5/6 or s?
s
Suppose -25 = a - 62. Let k = 12 - a. Let p be (-2)/(-1) + k/15. Which is smaller: 0 or p?
0
Let f = -4 + 6. Let p = 353/270 - -5/54. Do p and f have the same value?
False
Let m = 17/42 + 2/21. Let z be 8/(-6) + 8/6. Is z at most as big as m?
True
Let v be ((-4)/(-3))/((-4)/(-6)). Let t be -1*1*28/(-49). Is v less than t?
False
Suppose 0 = -0*w + w. Suppose 5*a + 0*a = w. Let t = -2542/9 - -282. Is a != t?
True
Let a = -17 + 22. Is 4 <= a?
True
Let t = 2/85 - -66/85. Is 2 > t?
True
Suppose -2*k + 4 = 2. Suppose 2*g - 4*y + 2 = 0, 4*y - y = 3. Let f be k/2*(1 - g). Which is greater: 1 or f?
1
Suppose 4*m = 2*g - 4*g + 8, 5*g + 13 = m. Suppose 0*k - 3*k + 3 = 0. Let u = g + k. Is 1/3 bigger than u?
True
Let f(z) = z**3 - z + 2. Let l(i) = i**3 + 5*i**2 + i + 7. Let d be l(-5). Let n be f(d). Which is greater: 9 or n?
9
Suppose 4*z = -2*w + 8, 0 = w - 0*w - 5*z + 3. Suppose -w*f - 5 = -4*l + l, 3*l + 5*f - 19 = 0. Let k be 18/(-24)*(-1)/l. Which is greater: k or 1?
1
Let n = 1/19 + 16/57. Which is smaller: 2/15 or n?
2/15
Let l = 54 + -102. Is l != 1/2?
True
Let k = -0.01 - 4.99. Which is greater: k or -2/11?
-2/11
Let n(i) = -i - 6. Let p be n(-6). Let a be 3 - 4 - 21/(-15). Is a < p?
False
Let v be (-215)/45 - (-4)/(-18). Is -7 bigger than v?
False
Let r(a) = -a + 7. Let b be r(6). Which is smaller: 1/2 or b?
1/2
Let c be -3 + 48/28 + 1. Is c at most -4?
False
Let t = 2 + 2. Suppose 3*a + 23 = -13. Let i be ((-1)/2)/(3/a). Which is greater: t or i?
t
Let v = 196 - 196.93. Is -1/2 < v?
False
Let m = -0.02 + 6.02. Let b = -14 + m. Is -1/2 at most b?
False
Let r = -62.9 - -58. Let u = -5 - r. Suppose -4*q = -2*n + 10, 5*n - 1 = 4*q + 6. Which is greater: u or q?
u
Suppose -5*d - 31 = -1. Let j be 15*-3*(-14)/(-105). Is j bigger than d?
False
Let k = -3 - 1. Which is greater: k or -5?
k
Let l be (3/3)/(-1) + 3. Suppose 5*n - 19 - 57 = l*r, -5*r = 4*n - 41. Suppose 3*h + f = -11, 3 = -3*h + 5*f - n. Is h <= -3?
True
Let s be 150/70 + -1 + 0. Is s <= 1?
False
Suppose 0*h = 4*h + 4. Let y = h - -3. Let x(v) = -3*v**3 - v**2 - 3*v - 2. Let m be x(-1). Is y at least as big as m?
False
Let w be 3/(-6)*(-2)/1. Let s = 2.9 + -2.9. Which is bigger: s or w?
w
Let t(j) = 1 + 0*j**2 + j - j - j**2. Let l be t(-2). Let z = -6 - -4. Which is smaller: l or z?
l
Let l be (-2)/7 + 68/42. Let f(i) = -i**3 + 11*i**2 - 9*i - 8. Let b be f(10). Suppose 3*v - q = 1, -7 = -v + b*q - 5*q. Is v >= l?
False
Suppose -2*s + 4*s = 0. Let c = 1 - s. Let f(b) = b + 7. Let x be f(-6). Are x and c unequal?
False
Let a be (0 + -2)*(-2)/(-4). Let u be -1 + ((-13)/(-3) - 4). Which is greater: a or u?
u
Let a = 6 - 2. Let x be (0 - -1)/(1/6). Let m(t) = -t**2 + 7*t - 3. Let u be m(x). Is u bigger than a?
False
Let j be (-1)/2 + (-2)/4 - 