11. Which is bigger: q or 17/12?
17/12
Let n = -388/3 - -12049/93. Does 1 = n?
False
Let j = 31 - 30.24. Let g = 152.2 + -152. Is g < j?
True
Let f be 830/(-1064) + (-3)/(-4). Which is greater: f or -1?
f
Suppose 25*s + 84 = 37*s. Is s equal to -10/3?
False
Let p = -2/17 - -19/306. Is p < -1?
False
Let n be (1 - -1)/(2/6). Suppose 0*m + 5*u = 2*m - 8, 0 = -4*m - u - n. Let s = -733/24 - -92/3. Is m <= s?
True
Let w = -3.5 - -3. Suppose -3*d + 4*b = -274, -b = 3*d - 134 - 120. Let a = -89 + d. Which is smaller: a or w?
a
Let y be ((-16)/30)/(148/(-185)). Which is bigger: 1/6 or y?
y
Suppose -2*c - 51 = 3*i, -2*c + 5*i = 10*i + 41. Which is greater: -34 or c?
c
Let u = 56 - 55. Is 4/113 < u?
True
Let n = -180 - -245. Is n at least 67?
False
Let j(n) = n**2 - 40*n + 391. Let y be j(23). Are y and 4/1003 nonequal?
True
Let x(z) = 53*z**2 - z**3 - 25*z**2 + 4 - 23*z**2. Let g be x(5). Is 0 < g?
True
Suppose 5*w - 4*r = 45 + 59, 0 = -3*w - 2*r + 58. Suppose -4*z - w = 20. Let f(k) = -k**2 - 11*k - 9. Let o be f(z). Which is bigger: -2/9 or o?
o
Let l(a) = -a**3 - 2*a**2 + 5*a + 4. Let z be l(-3). Let x be (-4)/2 + (z - 1). Let i(f) = -f**3 - 4*f**2 + 2*f + 3. Let b be i(-4). Is b >= x?
True
Let g = -575.02 + 575. Which is bigger: g or -0.17?
g
Let w = -8/5 + 14/5. Suppose -v + d = -5, 2*v = 4*d - 0 + 16. Which is smaller: w or v?
w
Let u = 170 - 171. Is u bigger than -0.023?
False
Let c(w) = -w - 1. Let v be c(-1). Suppose -40 = 4*k - v*k. Let u = 10 + k. Do -1/3 and u have different values?
True
Let n = 21 - -2. Let w = 17 - n. Let u = -1 - -1. Which is smaller: u or w?
w
Let n = 41 + -41. Let w be ((-108)/51 - -2) + n. Does w = 0.3?
False
Suppose -2571 = 26*w - 10111. Is w greater than or equal to 291?
False
Let d = 18 - 26. Let u be 1228/5607 + d/36. Let n = u - 710/623. Which is smaller: n or -1?
n
Let l be -1 - (-1 + (-1 - 2)). Let v(z) be the second derivative of z**3/6 - z**2/2 - 6*z. Let b be v(l). Is 3 at least as big as b?
True
Let t be 8 + 1 + (-47 - -38). Which is bigger: t or 5/12?
5/12
Let y be (0/1)/(-4 - -3). Let f = 1 - y. Let s be (3 + (-6 - -3))/f. Is s at most 8/9?
True
Let o be ((-22)/264)/(2/(-28)). Which is greater: o or -1/32?
o
Let u = 13859/17 + -815. Which is smaller: -1/3 or u?
-1/3
Let g = 1 + -6. Is g smaller than 29?
True
Let v be (2 - 1)*1*25. Let q be (14/21)/(10/(-6))*-70. Is v <= q?
True
Let l(t) = 17*t + 118. Let i be l(-7). Let r = 0.9 + -1.1. Which is smaller: r or i?
i
Let n(x) = 14*x - 7. Let b(s) = -28*s + 16. Let y(a) = -3*b(a) - 5*n(a). Let m be y(2). Are m and 15 non-equal?
False
Suppose 5*r - 71 + 76 = 0. Which is greater: -4 or r?
r
Let n = 3 - 2. Let y = -74 + 38. Let t be (-4)/(-18) - (-44)/y. Which is greater: n or t?
n
Let g(t) = 3*t. Let y be g(2). Suppose -4*x = -3*a - 26, -4*a + 12 = -96*x + 100*x. Which is bigger: y or x?
y
Suppose 0 = -3*f - 0*f - 24. Suppose -19*j + 4*t = -23*j, -3*j - 5*t = -6. Is j < f?
False
Let i = 3.97 + -4.12. Suppose -5*x + 1 + 4 = 0. Which is smaller: i or x?
i
Let r = -1589 + 2312. Let i = r + -35429/49. Is 1 bigger than i?
True
Let z = 1.02 - 2.02. Which is smaller: z or 95?
z
Let s = -56.059 - -0.059. Let n = s - -51. Which is bigger: -2 or n?
-2
Let h = 4 - 6. Let b = -78.3 - -80.8. Is b not equal to h?
True
Suppose -v - 2*v + 4*x = -13, 4*v + 2*x = -12. Let j = -38 - -35. Which is greater: v or j?
v
Let w be 0/((-8)/48*-6). Is -2/111 bigger than w?
False
Let n be 2/(-3) - (-1293)/9. Suppose -7*b = -17 + n. Which is smaller: -20 or b?
-20
Suppose -5*w + 6 = f, -8 + 2 = -3*w - 3*f. Let x = -53542/5 - -10675. Let o = x - -35. Which is smaller: o or w?
w
Let n(a) = -35*a**2 + a**3 - 2*a + 36*a**2 + 2 + a**3 + 1. Let m be n(3). Which is bigger: m or 59?
m
Suppose 0 = 8*p + 174 + 34. Let k be 56/p - (4 - 7) - 1. Which is greater: k or 0?
0
Let p(i) = 16*i + 3. Let z be p(2). Suppose 0 = 3*n - 2*w - z, 0 = -9*n + 4*n - 3*w + 90. Let v = n - 14. Which is greater: -1/7 or v?
v
Let x = -0.31 - 1.09. Let n = 2.4 + x. Which is greater: n or 0.26?
n
Let a be 1036/(-42)*-9*(-1)/2. Is -110 bigger than a?
True
Suppose 2*n + 0 - 4 = 0. Suppose 3 = n*z - 5*z. Let v be -10*3/(-210) + (-50)/56. Is z at most v?
True
Let f = -204/19 + 13706/1273. Let m = -0.1 + 0.2. Which is bigger: f or m?
m
Let n = -6/35 + -262/105. Let r be (-10)/4*2*-1. Suppose 8*s = -r*j + 3*s + 5, 4*j + 36 = 4*s. Which is smaller: n or j?
j
Let l = -40 - -41. Let x = 0 - 0. Let y = l + x. Which is smaller: -5 or y?
-5
Suppose -17*a + 896 = -90. Which is bigger: 59 or a?
59
Let l be 710/(-4)*(-238)/(-170). Which is smaller: l or -250?
-250
Let k(y) = 2*y + 11. Suppose 0*c - 2*c + 3*w = 25, -5*w + 9 = -c. Let l be k(c). Is -17 greater than l?
False
Let h be (24/(-9) + 4)*(-1926)/4. Is h < -643?
False
Suppose 115 = 122*y - 117*y. Is y less than or equal to 43?
True
Let z be (3 + -1)*-10*(-4)/80. Is 1/288 less than z?
True
Let z = -305/917 + -2/2751. Suppose -2*s + 158 = 4*o - 8*o, 2*s = -2*o - 70. Is z at most o?
False
Suppose 22 - 31 = -9*d. Which is greater: -3/52 or d?
d
Let l = 10/29 + -488/1247. Suppose 0 = -n + 5*z - 21, -4*n = 2*z - 3*z - 11. Suppose n*a - 6 = 8*a - 2*p, -2*p + 6 = 4*a. Do l and a have different values?
True
Suppose 0 = -n + 4*b - b - 5, 5*b - 35 = 5*n. Which is bigger: 7 or n?
7
Let h = 0.06 + -4.4. Let u = -0.34 - h. Which is smaller: u or 2?
2
Let s(g) = 5*g - 44. Let u(m) = -4*m + 43. Let r(o) = 6*s(o) + 7*u(o). Let k be r(-17). Is 13/5 at most k?
True
Let q = 475/13 - 8/39. Is q greater than 35?
True
Let h = -634/3 - -4393/21. Let s be -4 + (14/21 - 2/(-6)). Which is bigger: s or h?
h
Let k = 2.99 - 1.99. Do -54 and k have different values?
True
Let n = -0.13 - -2.33. Let s = 2.2 - n. Let i = 12 - 4. Which is greater: i or s?
i
Suppose 1 - 21 = -4*b. Suppose 10 = 10*w - b*w. Suppose 6 = 2*s, -w*s + 13 = 5*x + 2. Is -2/23 not equal to x?
True
Suppose -16 = 4*o + 4. Let z be (-13867)/2926 - o - 2/11. Which is smaller: 0 or z?
0
Suppose 2*m - 256 + 70 = 0. Which is bigger: 95 or m?
95
Let r be -2 + 6 - (1 + 1) - 25. Let u = r + 20. Which is smaller: u or -1?
u
Let r = -0.73 + 0.03. Let m = r - -1.5. Let i = m - 0.9. Is i smaller than -3/7?
False
Let t = 78.9332 + 0.0668. Which is bigger: -6 or t?
t
Let c(r) = -r**2 - 4*r + 10. Let g be c(-5). Suppose 24 = -p - 5*w - 2, -4 = 4*p - g*w. Is -6 <= p?
True
Let k = 1937 - 1934. Is k < -481?
False
Let x = -482 - -710. Which is bigger: 229 or x?
229
Let y(o) be the third derivative of 11*o**6/30 + o**5/60 - o**4/24 + o**3/3 + 17*o**2. Let q be y(1). Are q and 45 equal?
False
Let n = 73 - 60. Which is greater: n or 11?
n
Let q = -46 - -16. Let y be (-48)/(-72) - 52/q. Do 3 and y have the same value?
False
Suppose b = -o - 160, 2*o = o - 3*b - 170. Do o and -155 have different values?
False
Suppose -8*m + 4*m + 12 = 0. Suppose -22 = -m*z + 4*z. Let r = z + 20. Does -16/7 = r?
False
Let h = 64 + -48. Let j be -2 + (2*-3 - -2). Let t be -1*(h/j + 3). Which is greater: -5/4 or t?
t
Suppose -23 - 7 = -10*i. Let w be -1 + 237/(-120) + (i - 0). Is w smaller than -1?
False
Suppose 0 = -5*u + 2*u. Suppose -5*b = -4*c + 13, 5*c = c + 2*b + 10. Suppose 0 = 7*r + c + 19. Do r and u have the same value?
False
Let v = 71 + -75. Let x(c) = -c**2 - 4*c + 3. Let p be x(v). Is 3/2 smaller than p?
True
Let n(h) = 6*h + 2. Let c(f) = 6*f + 3. Let u(d) = -3*c(d) + 2*n(d). Let x be u(3). Is x > -25?
True
Let k = 253 + -201. Is 55 less than k?
False
Let x = -305 - -298. Which is bigger: x or 7?
7
Suppose -34*p - 504 = 29*p. Which is smaller: p or -61/9?
p
Let b be (1 + 38)*215/(-129). Is b less than -67?
False
Let f(y) = -y**3 - 9*y**2 - 10*y - 4. Let i be f(-9). Let c = i - 89. Which is smaller: c or 1?
c
Let f = -0.0901 - 0.1099. Which is smaller: f or -64?
-64
Suppose -2*n + 4*n = -5*g + 3648, -g + 3*n = -716. Do -2 and g have the same value?
False
Let u = -2.94 - 0.06. Let x = -0.0248 + -3.9752. Is u >= x?
True
Let j = -1135 - -1134.99. Is -23 bigger than j?
False
Let r = 727 - 728. Suppose 2*n + 2*m - 18 = 4*m, 0 = -2*n - 2*m + 2. Suppose -q + 3*c - c = 5, 0 = -q + c - n. Is r smaller than q?
False
Suppose -s + 68 = -4*k, 0 = -0*k - 3*k + s - 50. Let v be 1 + 1 - k/(-8). Let j = -2506 - -2506. Is j less than v?
False
Let w be (-105 - 0)/((-33)/22). Let k be ((-53