/11 equal?
False
Let n be 1486/(-126) + (-58)/(-261). Which is bigger: n or -13?
n
Let k(r) = -r**2 + 44*r - 97. Let o be k(42). Does -16 = o?
False
Let j = -231.975 + 266. Let t = j - 34. Which is smaller: -2/3 or t?
-2/3
Suppose 1 = 15*x - 29. Suppose 4*c - 6*c - 34 = -x*k, -5 = c. Which is smaller: k or 43/4?
43/4
Let r be ((-2)/(-4))/(2/(-48)) + -3. Let i be (40/330)/((-2)/r). Do 0.2 and i have different values?
True
Let m be ((-45)/10 + 3)/(1/(-2)). Is -9/5 bigger than m?
False
Let j be (9 - 11)*7/2. Suppose k + 91 = -0*c - 4*c, 3*k + 119 = -5*c. Let f = c - -15. Is j less than f?
False
Let x be -2 - (182/(-35))/((-2)/(-50)). Let h = x - 129. Is h equal to -22/15?
False
Let g = -3.3 - -4. Let i = g + 0.3. Let a = -3.03 - -0.03. Which is smaller: i or a?
a
Let i = 171946/1955 - 1494/17. Which is bigger: i or 1?
1
Let j(o) = o**3 - 8*o**2 + 16*o - 10. Let l be j(5). Which is bigger: -91/19 or l?
-91/19
Let d = -2.4 + 18.4. Let q = 42 + -55. Let b = q + d. Is b at most as big as 0.5?
False
Let t = 283.83 - 284. Let s = -0.15 - -0.2. Let h = s + t. Which is smaller: -0.1 or h?
h
Let r = -368.3 - -370. Which is greater: r or 7?
7
Suppose -3*q - 8 = -q. Let l = -34 - -37. Suppose 16 = -4*r + 2*x, -4*r - 4*x - 1 = l. Which is smaller: r or q?
q
Let r = -108 - -108. Is r less than or equal to -29?
False
Suppose 7 = -2*j + 29. Is 48/5 < j?
True
Suppose 2*l = -3*i - 42, 0*l - l = -2*i + 28. Let j be (-4*(-6)/l)/(2/(-10)). Are j and 5 equal?
True
Suppose 3*h - 4*u = 0, -h = -109*u + 111*u. Suppose 0 = 3*r + 2*r + 10. Let q be 2/8*-1*r. Is h smaller than q?
True
Suppose 3*l = 2*c - 1, 5 = -5*c - 5*l - 5. Let k be (c/(-2))/(6/(-12)). Let o be k + 38/10 + -2. Does o = 0.1?
False
Let j = -50/3 - -305/21. Let b = j - -104/49. Let p be 3 - (12/(-3) - (0 + 4 + -11)). Which is bigger: b or p?
p
Let c(v) = v**3 - 7*v**2 - 8*v - 3. Let q be c(8). Let h = -1.08 + 60.08. Let j = 59 - h. Which is smaller: j or q?
q
Let h be ((-20)/(-260))/((-80)/2). Is h at least 1?
False
Let l = 530 - 278. Which is bigger: l or 251?
l
Let z(n) = n**2 + n + 1. Let k(q) = -5*q**2 - 18*q. Let r(j) = k(j) + 6*z(j). Let y be r(13). Let b = -287/15 + y. Which is greater: -1 or b?
b
Suppose -80*j + 56 = -66*j. Is j at most as big as 2?
False
Let z = 42.52 - 29.59. Let u = z + -13. Let k = -0.27 - u. Is 3/7 at least k?
True
Let b = 48 + -233/5. Let t = 57 - 84. Let m = 28 + t. Which is bigger: b or m?
b
Let h = -0.102 - -0.882. Let z = 1.78 - h. Which is smaller: 1/27 or z?
1/27
Let r = -40/77 + 1/11. Suppose 25 = y + 24. Suppose 4*p + 3*f + 9 = 0, -5*p + 3*f + 8 = -y. Is p < r?
False
Suppose -9*j = -8*j. Suppose j = -4*o - 8. Which is bigger: -2/3 or o?
-2/3
Let r = -22/415957679 + -880581574519612/151824552835. Let x = r - -5800. Which is bigger: x or -1/4?
x
Let t(b) = b + 1. Let q be t(0). Let h = -1 - q. Let g be 0 - -3 - (0 - h). Is g at least -11?
True
Let p = 0 + 7. Let l(z) = z**2 - 6*z - 5. Let h be l(7). Suppose -4*y - 2*a + 16 = -8, -h = a. Is y less than or equal to p?
True
Let p = -0.2 + 0.1. Suppose -144 = -u - 4*h, 2*h = -u + h + 150. Let l be 98/u - -2*(-3)/8. Which is smaller: p or l?
l
Let u = 2.692 + -2.8. Let l = 0.208 + u. Is l greater than or equal to 62?
False
Let n = -1 - 0. Let d = -200 + 1401/7. Is n at least d?
False
Let x(u) = 2*u**2 - 28*u - 63. Let z be x(16). Which is smaller: z or -2/1989?
-2/1989
Let v be -4 - -6 - (-5 - (6 - 10)). Is v at least as big as -14?
True
Let y(p) = -p**2 + 1. Suppose 0 = h - 4*a + 1 - 8, -2*h + 3*a = -4. Let d be y(h). Let j = -1/111 + -1103/777. Which is greater: j or d?
d
Let m = -0.8 - -0.4. Let b = m - 0.2. Let d = b + 0.7. Which is smaller: d or 2?
d
Suppose 4*c + 3246 = 2*o, 2*o = 5*c + 4525 - 467. Is -812 > c?
False
Let t = -6527 - -137107/21. Let l be 2/4*(-2586)/(-315). Let i = t - l. Do -2 and i have the same value?
False
Suppose 9*f + 10*f = -8*f. Are -12/43 and f unequal?
True
Let a = -15 + -18. Let j = 0.049 - 24.049. Let q = a - j. Which is greater: q or -1?
-1
Let u = 2114/5 + -128953/305. Are 0 and u equal?
False
Suppose 0 = -2*y - m + 4*m - 3249, 5*m = -3*y - 4826. Do y and -1617 have the same value?
True
Let k = 0.91 + 0.09. Let f = 3.4 + 10.6. Let r = f + -13.91. Is k smaller than r?
False
Let z = 22 - 25. Suppose 2*i + i = 0. Is z not equal to i?
True
Let t be (-24)/(-3) - (3 + -1). Suppose -j - 25 = -t*j. Let d be (-1 + -2)*j/(-60). Is d less than 0?
False
Let g be -2 + ((-1)/(-21))/(104/4584). Which is bigger: g or 1?
1
Let r = 300 + -301. Are -75 and r equal?
False
Suppose 5*r + 5*n = -0*n - 5, -5*r - 2 = 2*n. Suppose 18 = -4*w - 2*o - 0*o, 0 = 3*w + 2*o + 15. Which is smaller: r or w?
w
Let u be (2 + 16/(-6))/(2/(-21)). Suppose 0 = 4*m - u*m + k + 3, -2*m + 2 = -5*k. Suppose 0 = -5*d + 9 - 4. Is m less than or equal to d?
True
Suppose 12 = m - 24. Suppose -3*d + 6*d = m. Let l be -5*(0 + (-24)/10). Is l equal to d?
True
Let m = -471 + 426.8. Let y = m - -39. Let n = y - -5. Is -1 > n?
False
Let t be (-5)/(19 + 1) - 50/(-8). Suppose -t*p = -7*p - 7. Which is bigger: -6 or p?
-6
Let v = -8 + 10. Let h = v + 14. Suppose -5*s - h = 19. Is -6 greater than s?
True
Let w(k) = 1 + 2*k**2 + k**3 - 2 - 4 + 6. Let v be w(-2). Suppose -3*x - 4 = -v. Which is bigger: x or -8/5?
x
Let o be (-42)/14 + (-3)/(-1). Suppose 0 = h - u - 3, -6*h = -4*h - 5*u - 3. Suppose 0 = 4*f - r + 5, -3*f + 4*r + h = -2. Is f greater than o?
False
Let i = 352 - 6694/19. Let j(p) = p**3 + 13*p**2 + 6*p - 5. Let u be j(-13). Let z = 84 + u. Which is bigger: z or i?
z
Let g be 13/((-416)/108) - -5. Which is bigger: g or 1?
g
Let t = -94 + 145. Let x be (-8)/32 - t/(-44). Is 1 not equal to x?
True
Let b be (24/14)/(3/21). Let x(w) = 35*w - 616. Let c be x(18). Are b and c nonequal?
True
Let a be 6/(-4) - (-21)/18. Suppose -10 = -4*z - z. Suppose 10 = -4*v + z. Which is smaller: a or v?
v
Let h(f) = -f**3 - 2*f**2 + 24*f - 2. Let w be h(-4). Is w < -66?
False
Let t(l) = -l**2 + l - 23. Let a be t(4). Suppose 4*y = -2*z - 150, 4*y = z - 2*z - 145. Is y less than or equal to a?
True
Let v be 0/(1*-1 - (5 + -8)). Suppose -9*x = -v*x - 7*x. Which is bigger: 2/61 or x?
2/61
Suppose -1191*p + 1177*p + 336 = 0. Let i be (-84)/(((-20)/6)/1). Which is greater: i or p?
i
Let t be (-1145)/220 + -1 + (10 - 4). Which is bigger: t or 1?
1
Let m = -2681 - -2680. Let b = 8 - 33. Let s be (-26)/60 - (-10)/b. Which is greater: s or m?
s
Let y(c) = -14*c**2 - c**3 + 4*c - 4*c + 7*c**2. Let n(z) = -6*z**2 + z. Let t be n(-1). Let r be y(t). Is r at most -2?
False
Let q be (-130184)/(-40832) + -3 - (-4)/(-22). Which is smaller: q or 0?
0
Suppose -15*t + 10*t = -130. Suppose -15*b = -33*b + 414. Is b at most t?
True
Let n = 153.01269 - -0.01731. Let c = n - 154. Let q = 0.03 - c. Is q equal to 2?
False
Let q = 88785/11 - 8051. Let z = 4616/231 - q. Let a = z + -2/7. Which is bigger: a or -2/37?
-2/37
Suppose -4*p - 270 = -2*p. Let v be (-16)/6*p/(-4). Let k be 22/18 - (-20)/v. Which is greater: 1/14 or k?
k
Let n = -449736/13 + 34578. Which is greater: n or -2?
-2
Let h(g) = 5*g**2 + 17. Let p be h(-6). Suppose 106 = 2*m - 2*u, 0 = -0*m - 4*m - u + p. Does 49 = m?
False
Suppose 8*f - 11 = a - 44, -23 = -3*a + 5*f. Which is bigger: a or 1/401?
a
Let m = -21.9 + -6.1. Which is bigger: 0.2 or m?
0.2
Suppose -2*d - 2*f + 1704 = 0, 5*f = -2*d + 328 + 1364. Which is greater: 857 or d?
857
Let z be (-588)/(-70) - (-6)/(-15). Is 3 greater than or equal to z?
False
Suppose 8 + 28 = -4*z. Let g be z + 12 - (-697)/(-233). Which is bigger: g or -1?
g
Let t(b) = 13*b**2 - 2*b + 9*b**2 + 3*b - 4*b**2. Let p be t(-1). Are p and 33/2 non-equal?
True
Let j = 28 + -28. Let w be (j - 0)/((-10)/(-10)). Suppose -v = w, 5*r + 9 + 1 = -5*v. Is -12/11 > r?
True
Let q = -0.131 + 27.131. Which is greater: q or 8?
q
Let f be 0*(-2 - 9/(-6)). Let w(m) = -m**2 - 14*m + 56. Let h be w(-17). Suppose -20 = -5*l - 5*q, 0 = -f*q + h*q - 20. Is l greater than or equal to 1/23?
False
Suppose -2*b = 2*y - 5*b + 269, 5*y = b - 679. Let l = y + 256. Let p be (2/136)/(75/l). Which is smaller: p or 1?
p
Let p = 43 - 2. Let u = 42 - p. Is u smaller than 59?
True
Let d be ((-10)/(-45))/((-24)/(-99)). Let x = -5/6 - d. Which is greater: x or -3?
x
Let y = 47.016 - 47. Let v = y + -0.106. Which is sm