/26 or l?
47/26
Let y = -663 + 665. Let o = 5505/4 - 1367. Which is smaller: o or y?
y
Suppose -r = 3 - 4. Let m = 18095 - 18102. Are r and m equal?
False
Suppose 1 - 241 = 5*s. Let v = 142/3 + s. Which is bigger: -11 or v?
v
Suppose 8*r = -167 - 153. Which is smaller: r or -245/6?
-245/6
Let d = -183 + 175. Which is smaller: -0.2 or d?
d
Let n(z) = -5*z + 215. Let q be n(-13). Do 280 and q have the same value?
True
Suppose 0*w - 15 = -5*p - 2*w, -4 = p - w. Let h be (2 + 1)*1 + (-1854)/(-30). Let r = -64 + h. Which is smaller: r or p?
r
Let i = 3 - 2. Let o = -1056 - -23231/22. Which is smaller: o or i?
o
Let q = -35/12 - -479/156. Suppose -y - y - 15 = 3*i, 0 = 3*y + 2*i + 15. Which is bigger: y or q?
q
Let n = 1193 - 1205. Is -285/22 at most as big as n?
True
Let b = -243 + 102. Let c = 140.8 + b. Is c smaller than 6?
True
Let q = 18 + -14. Let d be 2 + (-669)/15 - q/10. Is d != -44?
True
Suppose -15 = 12*l - 7*l, -2*u - 2*l - 68 = 0. Which is bigger: u or -94/3?
u
Let a = 25 - 26. Let r(y) = -y**3 - 12*y**2 - 9*y - 4. Let p be r(-10). Let s be 51/p*-2 + a. Is -1 at least as big as s?
False
Suppose 5*f - 228 = -k, f - 27 = -2*k + 15. Let r = 46 - f. Is -4 equal to r?
False
Let c = -2781785216/4892294427 + -37/724677. Let w = c + 25/43. Is -1 less than or equal to w?
True
Let f(k) = 2*k**2 + 48*k - 3. Let c be f(-6). Is c smaller than -219?
False
Let j = 11 + -22. Let a = 0.007 - 1.007. Which is smaller: j or a?
j
Let x = 63 + -42. Let i = -21.352 + 0.452. Let t = x + i. Which is smaller: t or 2/15?
t
Let o = 7.5 - 6. Let m = 0 - o. Let k = 2.5 + m. Is k at most as big as 1/3?
False
Let q = -22 + 19. Let y = 0.5 + -2.5. Is q >= y?
False
Let r = 0.7 + 0.5. Let g = r - 0.2. Let t = -4176 - -4180. Which is bigger: t or g?
t
Let q = -125/4 + 935/28. Suppose -6*p + 2 = -4*p. Is q at least as big as p?
True
Suppose -3*q = 4*j - 0*q - 3, j - q + 1 = 0. Let k = j + -2. Let i be (-2 - 8/(-6))/k. Which is smaller: -3 or i?
-3
Suppose -3*j - j + 60 = 0. Let m = 2 - 3. Let x be m + 0 + 18/j. Is x less than -5?
False
Let z = 57 - 66. Are -150/17 and z non-equal?
True
Let i = 2.12 + -2.09. Which is smaller: 1/3 or i?
i
Suppose -k = -5*g - 2*k + 175, 5*g + 2*k = 175. Let u = g + -54. Do u and -20 have the same value?
False
Suppose 29 = 5*n + 4. Suppose -n*t + 120 = -9*t. Let j = t - -61/2. Which is smaller: -1 or j?
-1
Let v = -0.23 + 0.67. Let g = v + -0.34. Is g < -1?
False
Let j = -367/240 + 17/16. Is 1 at least j?
True
Let c = 20 + -4. Suppose c*u - 14*u = 54. Is 27 not equal to u?
False
Suppose p = 5*v + 578, -2*p + 44*v + 1216 = 49*v. Which is smaller: 597 or p?
597
Suppose 493 = -47*s - 1246. Is -8 <= s?
False
Let b = 273447/4112 + 1/4112. Let k = b - 66. Which is smaller: 2 or k?
k
Let h be (26/4966)/(2/2). Is h at most -1?
False
Let i = -539 - -546. Is i at most -57?
False
Let u(n) = n**2 - n - 3. Let w be u(3). Suppose -w*s + s = -2*o - 100, 4*o = s - 65. Are s and 44 nonequal?
True
Let p = 277 - 821/3. Let v = -225 - -228. Is v greater than or equal to p?
False
Let j be (-24)/((-2304)/112) + (-10)/(-12). Suppose -y - 4*b + 300 = -5*y, 0 = 2*b + 2. Let a = -685/9 - y. Which is greater: a or j?
j
Suppose 0 = -0*b + 2*b. Suppose -3*d = -b*d. Let a = 2307/8 - 288. Which is smaller: a or d?
d
Let b be (-12)/9*(-345)/20. Let o = b + -19. Let x be (3 - -2) + (1 - 1). Is x at least o?
True
Let w(z) = z - 5. Let c be w(7). Suppose 0 = j + v - 7, -c*j - v + 10 = 2*v. Let l be (-6)/(-9)*(-33)/(-2). Is l less than or equal to j?
True
Let f = -133 - -139. Let b be (-1 + 7/f)/(4/(-6)). Is 10 greater than or equal to b?
True
Let i = 1.461 + -1.38. Let t = -0.081 + i. Is t at least as big as -37?
True
Suppose 2*h - 56 = -2*m, -5*h = 5*m - 4*m - 8. Let d = -28 + 50. Let c be m/d + 6/(-4). Is 1/3 not equal to c?
True
Suppose 5*d - 17 = 2*l, -4*l + 3 = -d - 8. Let a(u) = -3*u**2 - 9*u + 16. Let z be a(-4). Suppose z*b = -12, 24 = -0*i + 3*i - 5*b. Is d bigger than i?
True
Let s be (-120)/(-32)*(-2)/5. Let x be 2/(-4) - 60/24. Is x <= s?
True
Let c(w) = -3*w**2 - 19*w + 9. Let i be c(-22). Is -1025 greater than i?
False
Let r = -496 - -492. Is -41 at least r?
False
Let b = -0.1246 - -0.0926. Is b <= 3?
True
Suppose 3*k + 17 - 5 = -3*j, 2*j = k + 4. Let g be ((-24)/(-10))/k - (-4)/(-10). Are g and 3/47 non-equal?
True
Let z = 12433/5 + -2503. Is -17 bigger than z?
False
Let w be 4/3*45/30. Let z be ((-2)/4)/(w/(-48)). Let u be z/(-3)*2/(-296). Is 0 not equal to u?
True
Let k be -1 + 8 + (-1 - 3). Let r be -4 + -3 + k - -7. Suppose -3*c + 17 = h, -r*c = -5*h + 6 + 7. Does 4 = c?
True
Let i = -217.3 + 39.3. Is i < -1?
True
Let v(s) = -8*s + 2. Let m be v(2). Let k = m + 8. Let i = k - -13. Does 7 = i?
True
Let g = 4 + -108. Which is smaller: g or 1?
g
Let p = 159 + -63. Let f be 1188/p + 3/(-8). Is 0 >= f?
False
Let c(u) = u**3 + u**2 - 4*u + 67. Let v be c(0). Let r = v + -68. Which is bigger: -1/6 or r?
-1/6
Let d be (1/(-2))/(7/(-378)*-573). Which is smaller: 0 or d?
d
Let u = 8.48 + -8.48. Which is bigger: u or 182?
182
Let y = -22 + 5. Let u = y - -33. Let v be (4/18)/(u/12). Which is greater: v or 0.1?
v
Let g = 36 - 6. Suppose -4*o - g = -9*o. Suppose 0 = 2*p - m - 15, -2*p = -3*p - 2*m. Is p greater than or equal to o?
True
Let q = 1963 - 647789/330. Which is smaller: 0 or q?
0
Suppose 4*b - 4*h + 1784 = 0, 0 = -b + 6*b + 4*h + 2275. Is -452 > b?
False
Let p = -380 + 2285/6. Which is smaller: 2/13 or p?
2/13
Let h be ((-7)/(-21))/(2/(-4)). Let k = 435.73 + -436. Which is greater: k or h?
k
Suppose 0 = 5*v + 5*t - 15, t - 29 = 2*v - 4*t. Which is bigger: v or -7/10?
-7/10
Let d be ((-15)/(-5))/(-9)*21. Let k(j) = j**3 + 5*j**2 - 6. Let o be k(-5). Are o and d equal?
False
Suppose -1 = r - 25. Are 22 and r equal?
False
Let a(v) = -19*v**3 - 2*v**2 + 3*v + 1. Let f(d) = 58*d**3 + 7*d**2 - 10*d - 4. Let s(g) = -7*a(g) - 2*f(g). Let c be s(1). Is c at most 17?
True
Let i be 10/20*(0 + 17 - 1). Let d = 4 + -4. Suppose d = s - 0*s - 1. Is s smaller than i?
True
Let w = -2 - -8. Suppose -2*m + w*m = 8. Suppose -3*z + m - 5 = 0. Which is bigger: z or -3?
z
Let m(v) = 34*v + 217. Let z be m(-6). Are 27/2 and z equal?
False
Let f = -111 - -17203/155. Which is greater: 0.1 or f?
0.1
Let t(m) = m. Let a be t(-4). Let g be 4 - a/12*-69. Which is smaller: -21 or g?
-21
Let h be (-4)/10*14/4. Let j be (-8)/68 - 3/(-51)*104. Suppose -5*p - j = p. Which is greater: h or p?
p
Suppose -140*w + 133*w = 42. Which is bigger: 1 or w?
1
Let z = -1839.91 + -38.09. Which is greater: z or 0?
0
Suppose -2*u + 3*y + 15 = 0, -y - 6 + 1 = 5*u. Are u and 2/721 equal?
False
Let w = 0.1299 - 0.0299. Which is smaller: w or 1337?
w
Let i(v) = -v**2 + 9*v - 2. Suppose -8*a + 25 = -3*a. Let m be i(a). Let h = 20 - m. Which is greater: h or 5/7?
h
Let p = -4 + 3. Let g be (1 - p)/(-2*1). Let a = 58105/9 - 6456. Are a and g equal?
False
Let g be (4/8)/((1343/28)/(-17)). Is g bigger than 1?
False
Let q = -1000 - -985002/985. Which is smaller: 0 or q?
0
Let t be ((-109802)/88 + -4)*(-8)/(-6). Are -1670 and t equal?
False
Let j be 2 - (2 + (-110)/(-19)). Is -5 at least j?
True
Suppose 0 = -n - 3*n. Suppose 17*o + 11 = -23. Let g = n + o. Which is smaller: -12/11 or g?
g
Suppose -23*x - 1248 = -7826. Which is bigger: 4 or x?
x
Let q be ((-2)/(-19))/(1/6). Let j = q + 237/76. Let y be (26/(-22) - -1) + 140/44. Is y < j?
True
Let g be (-390)/3201 - (-3)/33. Is g greater than 1?
False
Suppose -2*s + 21 = s - 3*y, -y = 5. Suppose s*o = 7*o - 105. Let i = o - 19. Which is bigger: 1 or i?
i
Let u be (1 + (1 - 0))*1. Let l = 21 + -17. Let x be ((-24)/80)/(6/l). Is x bigger than u?
False
Suppose -8*f - 18 = 22. Which is bigger: -31/7 or f?
-31/7
Suppose -19*b + 9 = -10*b. Are b and -4/145 unequal?
True
Let a = 31/2 - 14. Let s be (-1 + (-4 - -11))*4. Let v = -23 + s. Which is smaller: v or a?
v
Let a = 3 + -10. Let n = a + -39. Is -45 at least as big as n?
True
Let d be (-37)/74*1*(1 + 1). Is -2/1033 greater than d?
True
Let l be (-11)/(-44) - 14/(-8). Suppose -6 = -l*v + v. Let y = v + -7. Which is greater: 2/29 or y?
2/29
Suppose -3*k + 5*u - 34 = 0, 4*u - 25 = k - 2. Suppose -19 = -a - 3*x, 4*a + 5*x - 58 = 25. Let m be 8/(-24) - a/6. Which is greater: k or m?
k
Let t(m) = m**3 + 4*m**2 + 4*m - 1. Let h 