/11
Let g = -83.9 - -84. Let x = -0.09 + g. Let v = -0.1 + 0.3. Which is smaller: x or v?
x
Suppose -6*b - 16 = -14*b. Let q(l) = -l**3 + 3*l**2 - 3*l + 1. Let x be q(b). Let f = 3136/155 - 101/5. Which is smaller: f or x?
x
Suppose 2*l + 4*r - 6 = 0, 3*l - 5*r - 27 = -2*r. Is l less than or equal to 5?
False
Let v = -22933/6 + 3813. Which is bigger: -1 or v?
-1
Let m = 2990/7 + -428. Let k(p) = p**2 - 8*p + 7. Let i be k(7). Let l be (i/((-9)/(-3)))/1. Which is smaller: m or l?
m
Let d = 0 - 45.65. Let x = -46 - d. Is 0 bigger than x?
True
Let i(k) = -2*k**3 - 10*k**2 + 22*k + 58. Let d be i(-6). Suppose 4*v + 6 = v. Let g be (2/10)/(v/5). Is g less than d?
False
Suppose -2*s - 7*p - 11 = -4*p, 10 = -s - 3*p. Are s and -3/43 non-equal?
True
Suppose 0 = -27*u + 28*u - 32. Let w = u - 32. Is w at most -5/12?
False
Let d = 74.1 - 73.1. Are 163 and d nonequal?
True
Let t be -6 + 102/18 - 67/24. Let h be 32/(-18) - -3*10/(-135). Is h > t?
True
Let v(i) = i**3 + 10*i**2 + 17*i + 1. Let h be v(-7). Suppose -58 = 7*s - 9*s. Is h <= s?
True
Suppose 5*g - 2*j = 10, 3*g - 6*j + j = 25. Let v = g - 1. Which is bigger: 9 or v?
9
Let d(w) = 5 + 0*w**2 + 2*w**2 - w**2 - w. Let t be d(0). Let c = 11 + -9. Which is smaller: t or c?
c
Let p be (4 - (-85)/(-25))*-5 + 3. Which is smaller: 0.18 or p?
p
Let m = 3493/10 - 1359/5. Let q = 78 - m. Is q < 46?
True
Let m be (2*3/18)/3782. Let o = m - 181621/964410. Let w = 10/17 + o. Which is greater: w or 1?
1
Suppose -2*j = -4*t - 0 - 10, 4*j - 5*t = 11. Is -127 equal to j?
False
Let g = 1077 - 952. Which is smaller: -2 or g?
-2
Suppose 3*b = 6 - 3. Suppose -4*c - u - b = 11, 5*c + 5*u = -15. Which is smaller: 0.2 or c?
c
Let r be (-2548)/130 - 2/5. Which is greater: r or -17?
-17
Let b be 8 + 7 + -5 + -7. Let w(x) = 2*x**2 - 5*x - 3. Let h be w(3). Does b = h?
False
Let v = 248 + -248.14. Is v at least as big as 3?
False
Suppose -50 = 3*u + 109. Let b = u - -263/5. Is b at least 0?
False
Let g(o) = -3*o**3 + 5*o**2 - o + 10. Let z be g(4). Is z > -115?
True
Let c be (6/(-4))/(1*(-6)/8). Suppose 4*m = v + 20, 0 = 2*v - v + 4. Which is smaller: m or c?
c
Let y = 405 - 757. Let u = -370.1 - y. Let h = u - -18. Which is greater: h or -0.9?
h
Let i be ((-6)/(-9))/(6/27). Suppose -3*v = s + 20, 5*s + v + 67 = -i*v. Which is smaller: s or -9?
s
Let q = -13920 - -515103/37. Which is smaller: 2 or q?
q
Let r = 150 - 146. Let y be 23/5 - (-4)/10. Let q be (r/(-66))/(y/(-15)). Is q at most 0?
False
Let u(b) = -35*b - 256. Let i be u(8). Which is smaller: -535 or i?
i
Let c be 2 + -1 - 3/5. Let x be (-3225)/1480*-2 - 4. Let t = x - 4/37. Is c less than t?
False
Let i = 2 - 0. Let y = -760.967 + 761. Is y smaller than i?
True
Let w be (-6 - 0) + 19 + -13. Suppose 0 = -2*g + 3*i - 0*i + 27, 0 = g + 3*i + 9. Is w smaller than g?
True
Let v(x) = -20. Let p(t) = t + 19. Let g(a) = -3*p(a) - 2*v(a). Let m be g(-6). Which is smaller: 5/19 or m?
5/19
Let n = 24 - 13. Which is bigger: n or 16?
16
Let y be (-4)/((-2 - -3)*1). Let s = -0.62 + 0.82. Which is greater: s or y?
s
Let a = 17 + -49. Let x = -13 - a. Let i be -17 + x + 94/(-46). Which is smaller: i or 0?
i
Let i(g) = 16*g - 100. Let v be i(18). Is v less than or equal to 188?
True
Let a(q) = q**3 - q**2 - 2*q + 1. Let s be a(2). Let j(r) = r - 5. Let n be j(8). Suppose -c - 2*c + 10 = -5*f, c = n*f + 6. Which is greater: s or f?
s
Let p = -3.1 + 25.1. Is p at least as big as 0?
True
Let x = 16 - 17.5. Let c = 1.3 + x. Let d = -24 - -35. Which is bigger: c or d?
d
Let i = 661/28 - 167/7. Which is bigger: i or -0.052?
-0.052
Suppose -g + 2*x = 6, -x = g + 4*x - 8. Let y(k) = k**2 - 3*k - 2. Let m be y(4). Let z be (m/(-6))/(g/(-6)). Is z less than -1/6?
True
Let u = -10.94 + 10.989. Are u and -0.5 nonequal?
True
Let x be ((-35)/(-15) + -1)*3. Let w(n) = -n - 3. Let g be w(-6). Suppose -5*v + x*c - 18 = g*c, -c - 10 = 2*v. Which is smaller: v or -7?
-7
Suppose 380 - 17 = 3*n. Which is smaller: 122 or n?
n
Let b(h) = -h**3 + 72*h**2 - 144*h + 281. Let q be b(70). Let i = 63.2 - 77.06. Let w = 0.14 - i. Is w equal to q?
False
Let c = -0.17 + 8.17. Let l = c - 7.83. Let o = -0.07 + l. Which is smaller: -1/5 or o?
-1/5
Let h(v) = -9*v + 71. Let b be h(8). Suppose -4*r - 4 = 4. Which is greater: r or b?
b
Let a = -6 - -4. Suppose -z - 4*z = h + 20, -4*h = 4*z + 128. Let o be 112/h - (0 + -2). Is a greater than o?
False
Let f = 45 - 57. Let s = f - -13. Which is smaller: s or 1/2?
1/2
Let w be ((-158)/8)/(-9 - (-185)/20). Is -78 bigger than w?
True
Let y = 2711/70 + 587/10. Which is bigger: y or 0.1?
y
Suppose -51*b = -3*b + 96. Which is smaller: b or -53?
-53
Let t = -180 - -179. Is 2/5973 greater than t?
True
Let x = -11 + 18. Let i be (-2)/(-10) + 2912/(-35). Let g = i + 90. Is g >= x?
True
Let n = 26 - 65. Let h be 6/n + 30/26. Which is bigger: h or -3.8?
h
Let q be -138 - ((-4)/(-5) - (-165)/75). Is -140 less than q?
False
Suppose -12*j - 18 = -30. Suppose -4*o + 24 = -2*c, -o = -10*c + 5*c - 15. Which is bigger: c or j?
j
Suppose 0*y = 2*y + 6. Let q be (-818)/(-32)*-2 - y. Let l = q + 4331/88. Which is smaller: 1 or l?
1
Let w = -1153 + 317. Let p be (w/(-12) - 3)*18/15. Which is smaller: p or 81?
p
Suppose 4*t + 4 = 4*z, z - 8 = 2*t + 2*z. Let l = t - 16. Is l at least as big as -21?
True
Let o = -0.0376 + 3.7376. Which is bigger: o or 0?
o
Let v = 2.041 - 0.311. Let t = v + -2.73. Which is bigger: 7/4 or t?
7/4
Suppose -10*y + 8*y + 106 = 5*i, 5*y + 3*i = 265. Which is greater: 215/4 or y?
215/4
Let i be ((-3)/9)/(105/9) + 0. Which is greater: -1 or i?
i
Let g = 103 - 94. Which is bigger: g or 49/6?
g
Suppose -237 = 3*y + 120. Is -0.1 < y?
False
Let y = 1 - -8. Suppose b + 12 = -2*o, 0 = -0*b + 3*b - 3*o - y. Let m be (b/5)/(42/(-35)). Is m < 1?
True
Let d be 87015/(-436575) - 2/(-10). Let p = d + -489008/64031. Is -9 >= p?
False
Let w = -9.8 + 9.6. Let v be 2*3*(-8)/36. Does w = v?
False
Suppose 21*n + 22*n - 43 = 0. Do n and 2/51 have the same value?
False
Let d(t) = -t**2 - 5*t - 5. Let n be d(-6). Let h(y) = -y**3 - 9*y**2 - 6*y + 4. Let i = 3 - 11. Let w be h(i). Is n smaller than w?
False
Let z = -5906/3 + 2008. Which is smaller: 40 or z?
z
Suppose -443 - 247 = 5*m. Which is smaller: m or 3?
m
Suppose 822 = -3*p - 2*k + 2711, 0 = 2*p + 4*k - 1262. Is 630 less than or equal to p?
False
Let r(n) = n**3 + 15*n**2 + 2*n + 19. Let l be r(-15). Let w(f) = f**3 - 5*f**2 - 9*f + 9. Let h be -1 + 6 - (-5 - -4). Let y be w(h). Which is smaller: l or y?
l
Let n = -1 + 1. Suppose -2*s + 12 = -n. Let o = s + -4. Which is greater: o or 8/3?
8/3
Suppose -a + 1 - 3 = 0. Let d(j) = j**2 + 8*j - 46. Let p be d(-12). Which is smaller: p or a?
a
Suppose 108 = -n + 111. Is 0.014 at least as big as n?
False
Let l = 2489/119 + -146/7. Let s = 26557/3 + -5869034/663. Let j = l + s. Is j equal to 1?
False
Let r be 6/(-4)*(-30)/9. Suppose -o = r - 3. Let h be o - 3/(36/(-32)). Which is bigger: 2 or h?
2
Let c = -121 - -121.1. Let b be -69 - (-3)/(-2)*-2. Let t be (-2)/(-12) + 35/b. Is c > t?
True
Let l = -429/4219 - -979118/3944765. Let v = 3/85 + l. Suppose 3*o = -2*y - 7, -2*y + 6*o - 3*o + 11 = 0. Do v and y have different values?
True
Let j(p) = p**2 - 9*p - 21. Let m be j(11). Let u = m + -3. Do u and -2 have the same value?
True
Let o(h) = -6 - 9 + 3 + h. Let k be o(-14). Which is bigger: -27 or k?
k
Suppose 0 = -4*j - 0*j - 24. Let l(u) = -8*u**3 + 9*u**2 - 6*u. Let n be l(1). Which is bigger: j or n?
n
Let s = -2 - -22. Let b = 308 + -289. Which is smaller: b or s?
b
Suppose m - 2*m + 25 = 0. Suppose 6*z - m = z. Suppose -b - 4 = -z*b. Is 1 equal to b?
True
Let n be (3 + (-11)/3)/((-1)/6). Let b be (-32)/(-14) + 6/(-21). Does b = n?
False
Let z = 71.59 - 68.561. Let l = z - 0.029. Is 15 <= l?
False
Let y be (-3846)/52276 + (-129)/(-1806). Which is bigger: y or 0?
0
Let p(g) = -2*g**2 - 27*g + 25. Let t(j) = -2*j**2 - 8*j + 10. Let h be t(-6). Let y be p(h). Is 3 greater than or equal to y?
False
Suppose 2*d - 32 = 5*i + 11, -5 = i. Which is bigger: d or 2?
d
Suppose -34*z + 7*z = 0. Which is bigger: -17/19 or z?
z
Let v = -2/15 + 19/30. Let z be 3/9 + 22/6. Suppose 2*c = z*i - 2, -3*c + 2 = -5*c. Do v and i have the same value?
False
Suppose -5*x - 36 = 24. Let d = x + 13. Suppose -18*