r m?
m
Let p = 26.2 - 26. Let y = 2.5 + 0.5. Which is greater: y or p?
y
Suppose 4*u = -0*u - 160. Let r be ((-1)/5)/(8/u). Which is bigger: r or -1?
r
Suppose 0 = -2*k + 2*f + 12, -5*f = -4 + 19. Which is smaller: 0 or k?
0
Let z(c) = c + 5. Let n be z(-5). Suppose 2*d = -2, 5*d = -2*g - n - 7. Let l = -766/9 + 85. Is l smaller than g?
False
Let b be 6/7*(-4)/(-8). Let i(x) = x + 8. Let u be i(-7). Is u bigger than b?
True
Suppose -4*q = -8, -2*v - q = v - 5. Let k = -3 - -6. Which is smaller: k or v?
v
Let t = -14 - -9. Which is greater: -40/7 or t?
t
Suppose 0*n = -n. Suppose -2*p - p - 6 = 2*g, n = 4*p - 5*g - 15. Which is smaller: p or -2/21?
-2/21
Let c = -4 + 4. Let q be (-2)/(-42)*(c - -3). Is 1 smaller than q?
False
Let d be ((-4)/(-10))/((-4)/40*2). Are -1 and d non-equal?
True
Let i = 0.28 + 0.02. Let w = 1.9 - 2. Are i and w equal?
False
Let v = 44.1 + -44. Is -3/38 equal to v?
False
Let p be 13/((-455)/(-120)) + -4. Which is smaller: -1 or p?
-1
Let j be (4/(-8))/((-2)/(-4)). Suppose 3*p - p + 4 = 0. Is j > p?
True
Let d = -0.4 + 0.2. Let p = 0.28 + 6.72. Let v = p + -7.1. Is v at least as big as d?
True
Let k be (2 - 0)/(22/33). Let i(o) = 6*o - 2. Let t be i(4). Suppose -r = -b + 2, 3*r = -2*r - 3*b + t. Which is greater: k or r?
k
Let x(b) = -3*b - 1 + b**2 + 3*b - 3*b. Let s be x(4). Is s smaller than 3?
False
Let q = 4.93 + 0.07. Is -0.11 at most as big as q?
True
Suppose 3*d - 2*v - 79 = 0, -33 = -2*d + 2*v + 17. Let b = 21 - d. Is b at least -7?
False
Let c be (-5)/(-10) + 33/(-78). Which is bigger: c or 1?
1
Let m(o) = -o**3 + 7*o**2 - 7*o + 9. Let r = 17 + -11. Let s be m(r). Let p be 0 - (0 - 0)/s. Is 1 at most p?
False
Let c(k) = -k**3 + 10*k**2 + 11*k - 1. Let t be c(11). Which is greater: t or -2?
t
Let q = -1 + 0. Let p = -2 - q. Let x = 1/49 - 199/147. Which is bigger: x or p?
p
Let i be (-4)/(3 - -1) + 3. Suppose -i*s + 26 = 2*c, 2*c + 3*s + 1 = 32. Do 6 and c have the same value?
False
Let m = 107 - 317/3. Is 2 > m?
True
Let y = 4/17 + 218/85. Let c = 16/5 - y. Let w = 1.9876 + 0.0124. Is c < w?
True
Let b = -191/7 + 27. Let v = 434 - 435.97. Let f = 0.03 - v. Which is bigger: f or b?
f
Let l = -0.296 + -0.004. Let w = -3.1 - -3. Do w and l have the same value?
False
Suppose 4*t = -3*p - 4 - 11, -4*p - 20 = -5*t. Let z be (-5)/(-3)*(-27)/(-36). Which is greater: t or z?
z
Let t = -6 + 15. Suppose 5*h + 2*n - 3*n - 7 = 0, 0 = -4*n - 8. Which is bigger: h or t?
t
Suppose d - 10 = -d. Suppose k = 4*k + 2*q - 3, 0 = -5*k - 2*q + d. Is 2/19 bigger than k?
False
Let c be (-14)/(-8) + 2/8. Suppose -3*q + 1 = -5*q + k, q = -2*k + 2. Suppose 2 = -3*g + t, q = c*g - 2*t - 5 + 1. Is -2 bigger than g?
False
Suppose -2*i + t = -4*i - 4, 9 = -i + 3*t. Let w = 1 + i. Which is smaller: -1 or w?
w
Let i be 2/8 + 708/(-16). Which is smaller: -43 or i?
i
Let c be -2 + (-13)/(-5) + 0. Suppose 2 = -3*v + 5. Let y(t) = t**2. Let p be y(v). Which is bigger: c or p?
p
Let b(u) = u**2 - 6*u + 5. Let n be b(5). Suppose n = 3*c - c + 5*q - 17, 0 = -4*q + 12. Let x be 22/18 + (-4)/18. Is c equal to x?
True
Suppose 5*x - 34 = 4*l, 5*l - x + 4*x = -24. Let u be ((-3)/30)/(l/14). Let f = 1/90 - u. Are 0 and f nonequal?
True
Suppose -a - 4*u = 3*a - 24, 2*u = -5*a + 18. Let h = 2 - a. Let r = -214/9 + 24. Which is greater: h or r?
r
Let w(h) = -h**3 - 7*h**2 - 7*h - 1. Let a be w(-6). Suppose -a*j = -8*j. Is 3/10 <= j?
False
Let u be 2/3*18/948. Is u smaller than 0?
False
Let p = -2 + 6. Let u = p + -3.8. Let t = 1059/7 + -151. Is u != t?
True
Let k = -38 + 43. Which is smaller: 9/2 or k?
9/2
Let k(c) = c**2 - c + 7. Let d = -7 + 7. Let v be k(d). Let z = v - 9. Which is bigger: 0 or z?
0
Suppose -5*g = -0*g - 15. Let x = g - 7. Let z = -4 - -1. Is x not equal to z?
True
Let q = 4 - 3.92. Let h = -0.2 + 0.1. Which is smaller: h or q?
h
Let r be (42/6)/(1/2). Which is smaller: 13 or r?
13
Let i be (-8)/(-10) + 648/240. Is i less than or equal to -6?
False
Suppose 3*x = 5*s + 35, -x + 4*x + 4*s - 53 = 0. Is x smaller than 15?
False
Let s = -10 + 0. Let v = 14 + s. Suppose n + 5*k = 6*n + 10, -v = -4*k. Is -2 bigger than n?
False
Let w = 45 - 44. Are 1/10 and w unequal?
True
Suppose 3*j - 11 = 7. Let m be (-2)/6 - (-2)/j. Which is greater: m or -3/10?
m
Let m = -5 + 4. Let x be (1 - (0 + m))/(-2). Which is smaller: 0 or x?
x
Let k = 287 + -3729/13. Let d be (2/52)/(7/2). Let o = d - k. Which is bigger: 1 or o?
1
Let v(u) = -2*u**2 - 4. Let p(n) = -3*n**2 - 7. Let l(k) = -3*p(k) + 5*v(k). Let i be l(1). Are i and 0 unequal?
False
Let d = -9 + 10. Let l be (d/10)/((-14)/(-35)). Are -0.1 and l nonequal?
True
Let b(i) = 4*i + 30. Let h be b(-8). Suppose -5*d - 2*m = -10, -2*d - m + 2 = -1. Suppose 2 = 3*v + 4*o - 1, -4*v - 3*o + d = 0. Which is smaller: h or v?
h
Let c be 1/(0 - 3/81). Let q be c/(-44) + 2/(-8). Do q and -1 have different values?
True
Suppose 0 = 2*p + 2*p - 8. Suppose -10 = 4*j + p*w, 6 = -5*j - 4*w - 11. Let o = -29 - -175/6. Is j bigger than o?
False
Let d = -221/3 + 73. Let r = -75 - -227/3. Which is greater: r or d?
r
Let k be 3/(-12)*-2*2. Let q be (35/21)/((-1)/3). Let f = q - -7. Which is smaller: f or k?
k
Let b = -24 + 35. Let k = b + -5. Let j = k + -5. Which is greater: j or -0.2?
j
Let o be 0 - (-3)/((-6)/2). Which is greater: 2/283 or o?
2/283
Let p = -209/3 - -70. Which is smaller: 0 or p?
0
Let u = -3 - -1. Let j = -6 - -2. Which is bigger: j or u?
u
Let g be (-1 - 5)*(-24)/64. Suppose 0 = -22*j + 18*j + 12. Which is greater: j or g?
j
Let h = -4178/127 + 1848451/57404. Let c = h + 5666/3955. Let a = c - 9/20. Are 1 and a unequal?
True
Let l be (34/(-4) + 5)*2. Are l and 1 equal?
False
Suppose -2*d + 3*d - 4*k = 1, -d = -3*k - 2. Suppose 0 = -d*r + 15 - 10. Which is greater: -3/7 or r?
r
Let r = -116/441 - -2/49. Let d = -9 + 5. Let a(h) = h**3 + 3*h**2 - 3*h + 3. Let n be a(d). Is n <= r?
True
Let a = 3.6 + 0.4. Is 2/25 >= a?
False
Suppose 0 = -p - p. Let r be p - (24/(-15))/4. Let g be (-1)/(-2)*(-1 - -1). Which is smaller: r or g?
g
Let i = 7 - 2. Suppose 4*c - 21 = -i*b, 4*b + 0*b - 4*c + 12 = 0. Which is greater: b or 2?
2
Let c be (-2 - (3 - 6)) + -2. Let k be 0/(-2) - (4 - 5). Let z be -1 + k*c/(-3). Does z = 0?
False
Let v be 14/(-2)*2/(-14)*1. Which is smaller: 8/65 or v?
8/65
Suppose -2 = -b - 0. Let w = 3 - 4. Let h = w + b. Which is bigger: 2/5 or h?
h
Let w be (-1)/(-2) - 15/2. Let v = w + 5. Let c be 0 - (v/8)/(-1). Is c greater than -1?
True
Let w be (1/20)/((-2)/(-25)). Which is smaller: w or -1/2?
-1/2
Let k = -25 - -17. Which is smaller: k or 1?
k
Let u(z) = z**2 + 3*z + 3. Let p be u(-3). Suppose -b - p*b = -16. Which is greater: 3 or b?
b
Let t(s) = -s**2 - 6*s - 5. Let j be t(-4). Let a be (-2)/j*(-15)/(-10). Let c(f) = -3*f + 1. Let n be c(a). Is 4 < n?
False
Suppose -3*o - 3 = -0. Let a be o + 3 + 24/(-14). Which is greater: a or -5/2?
a
Let h = 6 - 9. Let m be (-4)/h*6/(-4). Which is smaller: m or 6?
m
Let d = -0.12 + 0.02. Which is smaller: 0.6 or d?
d
Let l(y) = -5*y - 4. Let j be l(-3). Are j and 10 equal?
False
Suppose 2*w - 20 = 7*w + t, -5*t - 25 = 0. Which is smaller: w or -1?
w
Let p be 14 + -1 + -2 + 1. Let h = p + -4. Suppose -3*j - j + h = 0. Which is smaller: j or 1?
1
Let j = -1.3 + 1.3. Which is greater: j or -3?
j
Let t = -5 - -8. Let i be (2/t)/((-4)/6). Let c be i/(-1) + (1 - 4). Which is smaller: -3 or c?
-3
Let x(z) = z**2 - 6*z - 2. Let c be x(6). Let t be (-236)/(-12) - 2/(-6). Let w be (-2)/t + (-4)/10. Is c equal to w?
False
Let z be ((-8)/12)/(2 + 41/(-21)). Is z at most as big as -14?
True
Suppose -3*u - 30 = -4*w, 5*w = -u + 36 - 8. Suppose 0*h = 2*h - w. Suppose 0 = -r - r + 4. Is h smaller than r?
False
Let p(j) = -j**3 - 7*j**2 - 2. Let d be p(-7). Let l be 3 - (7 + (d - 0)). Let f be (-111)/135 - 6/(-27). Which is greater: f or l?
f
Let z(l) = -l + 5. Let s be z(3). Let u be -1 - (3 + -2 + -6). Suppose -u*h - s = -2*h. Are 0 and h unequal?
True
Let c = 0.55 + -0.45. Is c <= -21?
False
Suppose 3*k = -4*y + 8*y - 4, -2*y + 2 = 5*k. Suppose 5*v + 4*o + 86 = 0, 3*v + v - o + 52 = k. Let g = v + 6. Which is greater: -2/7 or g?
-2/7
Let i = -5.6 + 6. Let h = i - -1.6. Let b = -2 + h. Does b = -2?
False
Let n = 5.5 + -5.5. Let l = 0.3 + -1.3. Let r = n + l. Is 1 at mos