11?
False
Let q = 0.12 + -0.15. Let g = -0.13 - q. Let s = -59/21 + -6/7. Is g smaller than s?
False
Let p = -0.105 - 9.095. Let k = p + -25.8. Is k equal to 0.1?
False
Let d = -9.6 - -77.6. Let b = d + -71. Is 8 > b?
True
Let s be (1/21)/(-7 - 360/(-81)). Is 1 at least s?
True
Suppose -3*f + 2 = -2*f. Suppose 3*d = h - f*h + 2, -3*d + 44 = 4*h. Is h less than or equal to 14?
True
Let q be 6/(-24) + (-1203)/(-12). Let i = q - 99. Let a = -2 + 3. Does a = i?
True
Suppose -4*i + 0*f - 3*f + 19 = 0, -2*f = -i - 9. Let q be (-4)/(-6)*(-4 + i). Let v be (7 - 414/24 - -8) + 1. Which is smaller: v or q?
q
Suppose -35*r = -37*r + 202. Which is bigger: r or 0?
r
Let o = -813/8 - -102. Let j = 2 + -2. Suppose j = -3*a + 9, 2*a + 2 = 5*q + 3. Are o and q non-equal?
True
Let m(n) = 3*n - 11. Let c be m(5). Let g be (-2)/c*(-4)/(-7). Is g less than -1?
False
Let y be ((-15)/(-10))/((-1)/2). Let c be ((-4)/(-4))/(3/y). Let s be (c/(-4))/(2/(-2)). Is s bigger than 1?
False
Suppose -3*h + 7*h = 68. Let y = h - 14. Suppose 0 = -y*q - 0 - 36. Which is smaller: q or -13?
-13
Suppose 3*p + 5*u - 29 = 0, 5*p + 2*u - 36 = 6*u. Let z be -8*1*(-4)/p. Suppose 2*o = -3*j - 9, 3*j = z*o - j - 12. Which is greater: -1 or o?
o
Let m = -3.1 - 0.3. Let j = m - 1.6. Let d = 0.2 + -0.1. Are j and d nonequal?
True
Let b be -778788*(1 + 8/(-10)). Let u = -156458 - b. Let t = -694 - u. Which is smaller: 5 or t?
5
Let l(h) = -7*h - 24. Let c be l(18). Is c at most as big as -297/2?
True
Suppose -2*i - 7*c = -4*c - 9, 3*i - 2*c + 6 = 0. Are 3/16 and i unequal?
True
Let s be (-18)/48 - 9393/(-24984). Is 0 at most s?
True
Let c be -6 + 2/2 + 2806/562. Which is smaller: 0.2 or c?
c
Let t be -4 + 2/4 + (-86112)/(-24596). Which is greater: t or 1?
1
Let k(v) = -10*v**2 + 21*v**2 - 10*v**3 + 11*v**3 - 13*v - 12. Let a(c) = -2*c**3 + 2*c**2 - c - 2. Let b be a(2). Let z be k(b). Is z smaller than 2/21?
True
Let a(u) = u**3 - 3*u**2 + u + 2. Let f be a(2). Suppose 0 = 2*k - f - 2. Let v = 298 + -12816/43. Is v <= k?
True
Let f = 0.012 - -35.988. Let r = -35.4 + f. Which is smaller: -2 or r?
-2
Let v be 4 - 30/7 - (-2705)/35. Are v and 77 equal?
True
Let i = 0.1 + 0.1. Let k = i + -0.2. Let c = 5.743 + 0.257. Is c >= k?
True
Let t = -1.5 + 1.469. Let p = -0.131 - t. Which is smaller: p or 45?
p
Suppose -428 - 252 = 17*n. Is -43 at least n?
False
Let c(i) = -i**2 - 3*i - 1. Let l be c(-2). Let s be l - 4/(-8)*0. Are -1 and s unequal?
True
Let p(y) = -y**2 - 12*y - 20. Let h be p(-13). Let v = h - -4. Is -30 < v?
True
Let y = 927/2 - 480. Let g = 183/10 + y. Which is greater: 3 or g?
3
Suppose 0 = -111*a + 116*a - 5. Do 1/141 and a have the same value?
False
Let z(x) = x - 9. Let b be z(7). Let g be (-27)/78*(-3 + 5). Which is greater: g or b?
g
Let d = 1.2 + -1.191. Let r = d + -0.009. Let q = -0.05 + -1.05. Is q < r?
True
Let l = 1.1 + -1.25. Let r = l + -0.01. Let j = -0.14 - r. Which is smaller: j or 0?
0
Suppose -2*t + 4 + 0 = 0. Suppose 6*j - 51 = 69. Suppose -5*b = -5*c - j, t*b = 2*c - c + 8. Does -1 = c?
False
Let v be (-2)/(-3) + 20/(-21). Let z be (26/(-78))/(2/6). Does z = v?
False
Suppose 23 = 2*t - 5*d, 3*d + 3 = 2*d. Suppose -7 = -t*a + 2*n - 1, -2*a = 4*n + 22. Let y be (-1)/(-9)*(-1089)/(-484). Do y and a have different values?
True
Let d = 95/188 - 561/1645. Let s = -3/35 - d. Which is smaller: 18 or s?
s
Let k = 1/164 - 167/492. Is 21/29 at least k?
True
Let o = 172 + -173. Which is greater: -1461 or o?
o
Suppose 78 = 88*g - 85*g. Are 25 and g nonequal?
True
Let g = 23 + -7. Let p = -22 + g. Let o be -4 + 10/p*-2. Is o >= 3?
False
Let f(h) = 2*h**3 + 21*h**2 - 7*h + 47. Let z be f(-11). Is 17/7 not equal to z?
True
Let n(w) = -2*w + 21. Let m be n(5). Suppose m*y + 20 = 12*y. Which is bigger: 19 or y?
y
Suppose -13*p - 594 = -4*p. Let h = p - -64. Let q be 3/6*4/(-6). Is h greater than or equal to q?
False
Let b(k) = 4*k - 6. Let g be b(-3). Let u be 1/(-4) + g/(-8). Let y = u + -8. Which is smaller: 0.1 or y?
y
Let n = -373/14 + 27075/1022. Which is greater: 1 or n?
1
Suppose 20*n = -2878 + 1078. Which is greater: n or -93?
n
Let n = -290 - -16532/57. Let t(o) = o**3 - 8*o**2 + 8*o - 8. Suppose 37 - 2 = 5*h. Let w be t(h). Is n < w?
False
Let c = 1672 + -1727. Which is smaller: c or -714/13?
c
Suppose 238 = 7*a - 42. Suppose c + 2*x - 32 = -0*c, 4*x - a = -c. Which is bigger: 25 or c?
25
Let a(k) = 4*k + 28. Let g be a(-6). Suppose -5*z - g*z + 18 = 0. Which is greater: 1/2 or z?
z
Let u = -3/36637 + 2198997/9488983. Let a = -2/37 - u. Let w be (2 + -3)*(3 + -2). Is w less than a?
True
Let j be 34/9 - 4/(-18). Let b(k) be the first derivative of 2*k**3/3 - 2*k**2 - k - 9. Let i be b(3). Is j smaller than i?
True
Let p = -22.935 + 22.9. Is p at least as big as 1/7?
False
Let a(i) = 2*i**2 - 8*i - 3*i**2 + 2 + 5*i - i**3 + 4*i. Let z be a(-2). Let g be (2/8)/(1/z). Is 2/9 bigger than g?
False
Let p = -337 - -343. Suppose 5*s - 17 = 8. Which is smaller: p or s?
s
Suppose -55195 = 24*s + 71*s. Is s > -581?
False
Suppose -6*i + 9 = -5*h - 2*i, -3 = -3*i. Which is bigger: 7/17 or h?
7/17
Let f = 837 - 837. Let t be (10/(-6))/(8/(-3)). Which is greater: t or f?
t
Suppose q = 2*q - 72. Let g(y) = 18*y**2 - 7*y - 15. Let d be g(-2). Are q and d non-equal?
True
Suppose -2*g - 2 = 4*c, -g + 5*c - 3*c = 1. Let s be g + 2 + (-1)/(-11). Is 0 at most as big as s?
True
Let d(i) = 4*i**3 + 5*i**2 + 6*i + 11. Let z be d(-5). Are z and -394 non-equal?
False
Suppose -2431*l - 2240 = -2435*l. Is 0 smaller than l?
True
Suppose -f = 4*k + 2, 0 = -2*f + f - 3*k + 2. Let m be 30/f - 4/28. Is m greater than or equal to 3?
False
Let z(n) = n**3 + 9*n**2 + 12*n + 3. Let l(w) = 5*w + 13. Let s be l(-4). Let d be z(s). Is d > 16?
True
Let o be (-195)/31 + -1 - (395 + -402). Which is greater: o or 0?
0
Let a(y) = 5*y - 2. Let w(r) = -2*r + 1. Let s(l) = -3*a(l) - 8*w(l). Let p be s(3). Let k be 0 + 2*(0 - -1). Which is greater: p or k?
k
Let c = 407 + -398. Which is smaller: c or 3?
3
Suppose 5 - 15 = -5*t - 5*n, 2*t = -3*n + 6. Which is smaller: -2/595 or t?
-2/595
Suppose 0 = -15*l + 19*l - 4. Let h be 20/52*(-12)/10. Which is smaller: h or l?
h
Let f = -1.143 + 0.143. Let a(t) = t**2 - 2*t. Let w be a(3). Suppose n + w = 16. Which is greater: f or n?
n
Let n = 1451 - 1450. Is n bigger than 2/2215?
True
Suppose -v + 3 = y, 4*y + 0*v - 18 = -2*v. Is 4 > y?
False
Let n = 0.1176 - 0.0176. Is n at most as big as -46?
False
Let a be ((-4163)/(-138))/((-1)/(-6)). Which is bigger: a or 183?
183
Let w be (-8)/6*(-17094)/88. Which is greater: 260 or w?
260
Let g = 116 - 107. Are 5 and g non-equal?
True
Suppose -2*s + 26 = -2. Suppose 17*z - s*z + 12 = 0. Let o(w) = w**3 + 4*w**2 - w - 4. Let u be o(z). Are u and 11 unequal?
True
Suppose 0 = -11*b + 16*b - 30. Let g be 3/1 - -12*(-9)/b. Is -11 at least g?
True
Let b = 3417/8 - 427. Which is greater: 0 or b?
b
Let w(q) = -6*q - 77. Let n be w(-13). Which is bigger: n or -4/17?
n
Let t = 771 - 8484/11. Which is bigger: t or 1?
1
Let x = -813.9 - -700. Let r = -114 - x. Do r and 44 have the same value?
False
Let v be -3 - ((1 - 4) + 6). Is -9/2 > v?
True
Let n be (-19)/380*-4255 - (-2)/8. Is n greater than 213?
False
Let b(m) = m**3 + 33*m**2 + 21*m - 280. Let u be b(-32). Is u less than or equal to 72?
True
Let c(d) = d**2 + 7*d + 10. Let y be c(-5). Let z be y + -5 - 1965/(-395). Which is bigger: 1 or z?
1
Let k = 19 + -36. Let u = -14 - k. Suppose -2*o = -6*o + 16. Which is greater: u or o?
o
Let l = 478 - 341. Let x = l + -132. Which is greater: x or 4/7?
x
Let b = 20.4 + -8.4. Is -0.3 bigger than b?
False
Let g be 29/58*(-8)/(-2518). Is 0 <= g?
True
Let r be 6/(-3) + -4 + 0. Suppose 15*z + 167 = 17. Which is bigger: z or r?
r
Let h(t) = t**3 + 14*t**2 + 2. Let x be h(-14). Suppose 0*m + 4*m - 8 = 0. Is x bigger than m?
False
Let q = 22645/12 + -1890. Let r = -3 - q. Is r at most -1?
False
Suppose i - 5*i - 29 = -3*c, -i - 20 = -5*c. Let n be 8/(-20)*5 - 8. Let a be (n + 62/6)/(1/5). Which is smaller: a or c?
a
Let w = -0.006 + 2.006. Let b = 4 - w. Which is greater: b or -0.1?
b
Suppose 4*h - 88 = -j, 8*h - 5*j = 3*h + 85. Let m = -16 + h. Let z(d) = 3*d. Let w be z(1). Which is bigger: w or m?
m
Let y be 6/(3 - (-2 - -3)). Let h = 0 - y. Let m be (-1)/