 is greater: 2/249 or y?
2/249
Let p be (12/270)/(1/5). Let k = 26 + -16. Suppose -v = i + 3, -2*v - 4*i = -i + k. Which is smaller: v or p?
p
Let q be -3 - (-12690)/2085 - 3*1. Which is smaller: q or 0?
0
Suppose -2*x + 0*x = q + 8, -67 = 5*q + x. Let c be -4 - (-78)/21 - 18/q. Is 2 less than c?
False
Let n = -47 - -18. Does n = -28?
False
Let x(n) = n**3 + 17*n**2 - n - 17. Let a be x(-17). Suppose g + 4 = 4*j, a*g + g + 2*j = 2. Which is bigger: 4/23 or g?
4/23
Let c be (-28)/(-154) - (-272)/(-165). Which is smaller: -1 or c?
c
Let l = 28.757 + -0.757. Which is greater: l or 7?
l
Let w = 25 + -21. Suppose -w*z - 1 - 3 = 0. Let n = 20/13 + -406/247. Is z > n?
False
Let a = -2214 - -2208. Which is smaller: -99 or a?
-99
Let q(l) = l**3 - 38*l**2 - 38*l + 1. Let c be q(39). Is 41 at most c?
False
Let f = -20/181 + -504/1991. Suppose -4*s = 4*u - 8, -4 = u - 3*s + 6. Which is smaller: f or u?
u
Let f be 22/8 - (5/4 + -1). Which is bigger: 4 or f?
4
Let p be (1/(-3))/((-1)/3). Let i be (45/6)/5*(-12)/18. Let s be 35*i/(-4)*5/25. Is s at least as big as p?
True
Let c be (-5 + 6)/(1/3). Suppose 0*k + 2*k + 3*i - 7 = 0, 0 = -c*i + 9. Let g = 20 - 27. Which is smaller: g or k?
g
Let t be (2 + -2)/(1 + 1). Let o = 2.3 - 1. Let g = o + -2.2. Is t != g?
True
Let v = -612 + 526. Which is bigger: -77 or v?
-77
Let l be ((-27)/(-1125))/(36/30). Is l at most 1?
True
Let h(a) = -a**2 + a + 11. Let k be h(0). Let w be (-1)/(-2) + k/2. Let q = -345 - -345. Which is greater: w or q?
w
Let r(t) = -t**2 + 5*t + 2. Let m be r(5). Suppose -3*f - 17 + 61 = -2*q, f = m*q + 8. Let x be ((-2)/(-6))/((-12)/f). Is -9 less than x?
True
Let j(t) = -t**2 + 5*t + 3. Let a be j(5). Let m = -6313 + 6331. Is a >= m?
False
Let c be (1 + 6/9)*(-15 - 3). Which is bigger: -206/7 or c?
-206/7
Let r = -44 - -165. Is r equal to 0?
False
Suppose 99 = -8*s + 579. Suppose -s = 246*d - 251*d. Which is smaller: d or 7?
7
Suppose 5*b - 8 = 2. Suppose b*u = -1 + 3. Let n be -1 + (-3)/3 - -1. Is n at most as big as u?
True
Let x be 7 - -111*2/(-30). Let j be -4*1/(2 - -2). Which is bigger: j or x?
x
Let w(u) = -u**3 - 9*u**2 + 1. Let a be w(-9). Let x(l) = l + 2. Let f be x(0). Suppose 4*t + f = -2. Which is bigger: t or a?
a
Let b be (-3)/5 + (-546)/65. Is b at least -4?
False
Let d(c) = c**2 - 5. Let z be d(-2). Do -1/39 and z have different values?
True
Let x = -17.1 - -1.1. Let f be (0 - 5/(-3))/(50/180). Let b be f/(-9) - 8/(-21). Is x at least as big as b?
False
Suppose -p - 4*d = 32, -28*p + 24*p - 68 = d. Let t = -1 + -19. Is p at least t?
True
Let u(h) = h**3 + h**2 - 3*h - 105. Let q be u(0). Let w = q - -68. Which is greater: -38 or w?
w
Let z be ((-10)/3)/((-4)/6). Suppose 2*x = -z*b - 8, 2*b - 4*x + x = 12. Let j = b - -1. Which is bigger: j or 2/11?
j
Let l(t) = 7*t**2 + 4*t + 5. Let r be l(-1). Which is smaller: -3/4 or r?
-3/4
Suppose -2*c = 2*n + 2 - 0, -5*c - 7 = 3*n. Suppose 0 = -22*v + 23*v - n. Are 9/8 and v non-equal?
True
Let w be (4746/(-16))/21 + 11. Which is smaller: w or -2?
w
Let q(z) = z**3 + 6*z**2 - 9*z - 6. Let v be q(-7). Let l be ((-2)/v)/((-1)/8). Suppose -j + 11 + l = -5*i, -36 = 4*j + 2*i. Which is greater: j or -5?
-5
Let o(p) = -35*p**2 - 1. Let r be o(-1). Let z = r - -15. Let u = z - -42. Is u at least 21?
True
Let c be (5 + 102/(-18))/((-2)/(-3)). Which is bigger: c or 1/150?
1/150
Suppose 3*s - 36 = -0*s. Suppose 0 = 3*o + 2*w + 4, o - 2*w - s = 0. Which is smaller: 1 or o?
1
Suppose -3*a + 9 = 5*o, -5*a + 15 = -0*o + o. Let f be (-11)/a*(-50)/5. Let w = 37 - f. Is w not equal to 1?
True
Let w(t) = 2*t**2 + 34*t - 20. Let n be w(-18). Suppose 5*l = -6 - 4. Let a be l - (3 - n/3). Which is smaller: a or -1?
-1
Let m(k) = 34*k + 584. Let o be m(-17). Which is smaller: -47 or o?
-47
Let h(v) = v**2 - v + 2. Let a be h(0). Suppose -5*w + a*t - 6 = 0, 0 = 3*w - 2*t + 7*t - 15. Is -4 != w?
True
Suppose -5*j - 355 = -5*f, -4*j = 3*f + 2*f + 257. Let s be 20/5 - j/(-16). Which is smaller: s or -1?
-1
Let l = 17/10 + 379/130. Is 6 bigger than l?
True
Let h = -22 - -22. Suppose h = 5*t, -t + 2 = -5*k - 18. Is -38/7 > k?
False
Suppose 2*n + 0*n + 72 = 0. Let x be n/27*6/(-4). Let g be x/(8/10) + -2. Which is smaller: 1 or g?
g
Let t = 2363/3 + -786. Is t bigger than 0.83?
True
Suppose 2*u - 120 = 7*u. Let m = u + 122/5. Which is greater: 0.13 or m?
m
Let h be 9 - (-7 + 15/5). Let f(q) = 3*q - 41. Let a be f(h). Which is smaller: 28 or a?
a
Let w be (3/(-6))/(7/4). Let h = -12 - -17. Let r = 8 - h. Which is smaller: r or w?
w
Let p(y) = y**2. Let s(j) = j**2 - 9*j - 20. Let m(w) = 2*p(w) - s(w). Let l be m(-8). Is l greater than or equal to 11?
True
Let x(l) = 2*l - 18. Let p be x(10). Suppose 4*q - 56 = -p*j, 4*q = q - 3*j + 45. Which is bigger: 8 or q?
q
Let g(o) = -o**3 - o**2 + o + 10. Let y be g(0). Suppose -16 = -3*v + 4*s, -4*v + 11 = 4*s + s. Is y less than or equal to v?
False
Let y(w) = -w - 2. Let k be y(-8). Let h be 102/38*(-1100)/k. Let j = -492 - h. Which is bigger: j or 1?
1
Let h be 1*(6 + -2) + -4. Which is greater: h or 33?
33
Suppose 15 = 3*s + 24. Which is smaller: s or -99/23?
-99/23
Suppose -m + 10 = 4*m. Let z = m + -2. Let b be 13/(-26) - (-28)/24. Which is smaller: z or b?
z
Let f = 2/2675 - 24133/77575. Are 0 and f nonequal?
True
Let l(g) = 73*g - 4. Let a be l(8). Suppose r + 3*r = a. Do 145 and r have the same value?
True
Suppose -4*f = -2*j + 4, 2*f - 3*f = j + 1. Suppose -8 = 4*c - j. Let l = c + 11. Is -2/9 greater than l?
False
Let a = -338/3 - -116. Let d(k) = -3*k**3 + 9*k**2 + 7*k - 1. Let f be d(-1). Which is smaller: f or a?
a
Suppose -8437 = 13*c - 871. Let w be c/(-10) + 1/(-5). Is 57 not equal to w?
True
Let y be (-1)/(-1)*(-10)/275. Suppose 45*z + 7 - 7 = 0. Which is smaller: z or y?
y
Suppose -5*w - 5*q = 0, w - 3*q = -w. Suppose w = 3*p - 4 - 2. Suppose p = 5*u + 7. Which is smaller: -0.4 or u?
u
Let b be (-3)/12 - (-1)/4. Let c be 15/(-6)*(-36)/15. Let a be (c/10)/((-504)/(-80)). Is a > b?
True
Suppose -z + 5*s + 17 = 0, 0*z - 1 = 2*z - 3*s. Let l be (-2)/6*(131 + -8). Let a = l - -38. Which is smaller: a or z?
z
Let n(v) = 2*v**3 + 139*v**2 - 209*v + 284. Let w be n(-71). Let m(x) = -69*x - 1. Let j be m(-1). Is j != w?
True
Let f be 0/(-7) + 4 + 65/(-1). Let z = 97 + f. Is 1/2 at least z?
False
Let o = 386 + -385. Is 4/49 at most as big as o?
True
Let m be (-8)/(-12)*(2 + 1). Let x be m/7 - (-234)/(-672). Let c = 9/16 + x. Is 10 smaller than c?
False
Suppose 195 = -44*b - 113. Is b greater than or equal to -15?
True
Let s = -0.61 - -0.71. Let x = -92.074 - -92. Which is bigger: x or s?
s
Let w(h) = -h**3 - h**2 - 26. Let t be w(0). Let z = t - -16. Is z bigger than -10?
False
Let s be 88/12*15/(-5 - 0). Which is smaller: -15 or s?
s
Suppose 13 - 17 = -2*q. Suppose -31 = -q*s - 75. Is s bigger than -23?
True
Let p = -48497/4 + 20028541/1652. Let c = 8/59 - p. Let w = 1/44 + -3/11. Is c bigger than w?
True
Let i(n) = n**2 - 9*n + 20. Let o be i(6). Suppose 5*l - 2*s + 3 = 6, -6 = o*l + s. Suppose j - 2*c = -0*c + 4, -4*c - 14 = j. Which is smaller: l or j?
j
Let h be (-496)/(-93)*-2*(-45)/12. Suppose -5*l + 57 + 143 = 0. Is l not equal to h?
False
Let p = 8.8 - 0.8. Let v = 7.8 - p. Let r = -4.2 - -4.4. Which is bigger: r or v?
r
Let c(t) = 3*t**3 - 3*t**2 + 2*t. Let q be c(2). Suppose -3*p - q = 35. Which is smaller: p or -1/3?
p
Let a = -0.22 - 0.02. Let d = a - 5.76. Is 1 bigger than d?
True
Let p = 2149 + -2009. Is 141 equal to p?
False
Suppose -4*r = 3*n + 13, -n = 5*r + 19 - 0. Let v = n + 3. Let a be 0/(v/(6/3)). Is -2/53 at least a?
False
Suppose -14 = 2*x - 20. Suppose 6*o = x*o - 27. Which is smaller: o or -8?
o
Suppose -4*z - 4*z + 0*z = 0. Which is greater: 8/141 or z?
8/141
Let l = -1.98 - -2.48. Which is smaller: l or -2?
-2
Let f(p) = -p**2 - 13*p - 4. Let n be f(-5). Let r be n/9 + (-68)/18. Suppose 0 + 1 = k. Which is smaller: k or r?
r
Suppose 29 = 13*r - 49. Does 6 = r?
True
Let f be (4 - (-4 - -5)) + 8/(-3). Suppose u - 5 = -4*u. Let v = 2 - u. Which is smaller: f or v?
f
Suppose 3*u + 10 = 8*u. Suppose 7*t = 5*y + 4*t + 14, -t + 1 = u*y. Let l = -1.49 - -0.49. Is l != y?
False
Let v = -93 - -102. Suppose -5*f - 5*d = -44 + v, -f = -4*d + 13. Which is bigger: f or -2?
f
Let b = -0.1 - 1.9. Su