5
Suppose -5*n - s = -15, -2*n - 5*s + 2*s + 6 = 0. Suppose -2*i - 2*k + k = n, 0 = -5*i - 5*k - 10. Is -1/27 at least i?
True
Let a be (-32)/15 + -1*(-8)/60. Let s be a/(-18)*(-20)/6. Which is smaller: -1 or s?
-1
Let n(q) = 2*q**2 + 11 - 2 - q**2 - 13*q. Let a be n(12). Let p(w) = -w**2 + w + 4. Let m be p(-2). Is m equal to a?
False
Let n be ((-7)/(-4))/((-2)/8). Let q be (24/(-36))/(4/42 + 0). Is q bigger than n?
False
Let a be 18/23 + (-2 + 2 - 1). Suppose 4*b + 0 = 4. Is b < a?
False
Let w = -40 + 40.035. Let o = w - 0.085. Is o > -2/21?
True
Let q(a) = -50*a + 29. Let x be q(7). Are x and -322 non-equal?
True
Let k(l) = -2 - 2*l - 6 + 15 + 8. Let y be k(8). Is y smaller than -2/17?
True
Let t = -247.939 - -248. Which is smaller: t or -1?
-1
Suppose 90 = -2*g - 4*m, -2*m - 2 = 2. Let w = g - -47. Is 10 greater than w?
True
Let t be 0 + -2 + (-16)/22. Suppose -25*l - 68 = -8*l. Which is bigger: t or l?
t
Let h = -514 - -523. Which is greater: -0.1 or h?
h
Let a(k) = k**2 - 7*k - 60. Let m be a(12). Is m < -2/431?
False
Suppose 15 = n + 4*n, 3 = 3*p + 2*n. Are -6/839 and p nonequal?
True
Let x(a) = -a**2 + 13*a + 48. Let p be x(16). Let y be ((-4)/(-4))/(3/24). Let l = -7 + y. Which is smaller: l or p?
p
Let g = 2 + 1. Suppose -6*j + g*j - 4 = 2*o, -4*o + j - 22 = 0. Let y be -2*(0 + (-1 - -2)). Which is greater: y or o?
y
Let b(v) = -v**2 - 113*v - 542. Let n be b(-108). Let z = -5 - -9/2. Is n equal to z?
False
Suppose -19 = -s - 1. Suppose 12*x - s = 15*x. Let o = -12 + 12. Is o not equal to x?
True
Let v(i) = -27*i + 485. Let z be v(18). Is 4/991 > z?
True
Let h(r) = r**3 - 9*r**2 - 4*r - 5. Let v(q) = -q**3 + 11*q**2 + 4*q + 5. Let c(y) = 6*h(y) + 5*v(y). Let u be c(-2). Which is smaller: u or -3/38?
u
Let p(u) = 3*u + 17. Let x = 7 + -21. Let r be p(x). Which is smaller: -26 or r?
-26
Let m = 649 - 645. Let o = 11 + -5. Which is smaller: o or m?
m
Suppose -20 = 2*u - 5*y + 6, -4*u + y - 16 = 0. Which is bigger: -26/15 or u?
-26/15
Let n be -1 + 0 - (-1 - 0). Suppose 5*b = 5*k - 105, n = -k - b + 4 + 7. Let o = 17 - k. Is -4 at least o?
False
Let j(i) = i**2 - 13*i + 9. Let u be j(13). Suppose -2*n + u = -9. Which is bigger: n or 10?
10
Let y = 170 + -178. Is -18 less than or equal to y?
True
Let i = -55 + -25. Let s be 0 + -2*1 + (-156)/i. Is -1 at most s?
True
Let r = 16 + -12. Suppose r*i - 166 = 38. Let j be 2/(i/15 + -3). Which is smaller: 2 or j?
2
Let v = -8 + 33. Suppose 23 = -3*b + a, -v = -0*a - 5*a. Let q = 940 + -945. Is b at least q?
False
Let i(x) be the second derivative of x**4/6 + 13*x**3/6 + 11*x**2/2 + 4*x. Let q be i(-8). Suppose -6*u = -u - q. Which is greater: 8 or u?
8
Let n = 502 + -504. Is -20 < n?
True
Suppose -3*g = 31 - 103. Suppose -4*i = g + 16. Do -10 and i have the same value?
True
Let f(p) = 2*p + 7. Let u be f(-5). Let j(c) = 3*c + 7. Let m be j(u). Let l be (-5 - -5)/(4/m). Is l less than 2/5?
True
Let w = 1198 - 1157.1. Are w and -0.2 nonequal?
True
Suppose 0*y + 2*o = -5*y + 27, 5*o = 3*y - 10. Let d = y + -6. Let p be (-2 - -2 - d)*-2. Which is smaller: p or -0.4?
p
Let b = -0.978 - -56.978. Is b > 3?
True
Let z = 1598 + -1598.817. Let s = -0.017 - z. Is s at most 2?
True
Let x be (2 - 6)*18/8. Let m = 119 + -32. Let o be m/42 + x/6. Which is greater: 1 or o?
1
Let d(s) = -6*s. Let m be d(-1). Suppose -132 + 12 = m*b. Which is bigger: -19 or b?
-19
Let g be (16/12)/(8/12). Let n be 5/93*492/(-30). Let t = -3/62 - n. Is t less than or equal to g?
True
Let q = 26 - 23. Let r(s) = 4*s**2 - 14*s + 7. Let n(g) = 9*g**2 - 29*g + 15. Let z(a) = q*n(a) - 7*r(a). Let d be z(10). Is d at most as big as 5?
False
Suppose -3*b + 44 = k - 58, 0 = 5*b + 3*k - 174. Let w = b - 47. Is -16 at least w?
False
Let m = -293 - 28. Which is smaller: -320 or m?
m
Let r(d) = d**3 - 6*d**2 + 9*d + 3. Let y be r(5). Suppose 0 = -3*b - 2*g + y, -4*b - 2*g = -0*b - 28. Is b less than or equal to 1.2?
False
Let b = 6698 + -2328. Let n = b + -31897/7. Let t = -187 - n. Are t and -8 equal?
False
Suppose 4*l = -5*y - 343 - 1720, 4*y - 3*l = -1638. Is y equal to -414?
False
Let v be (-12)/18 - 578/6. Let f = v - -47. Let o be (28/70)/(16/f). Which is bigger: o or -2?
o
Let h = -5 - -5. Let b be (-8)/(-204)*(-12)/(-8). Is h bigger than b?
False
Suppose -11 = 4*h - k - 3, -2*k = -3*h - 1. Let z(f) = 2*f - 8. Let y be z(6). Suppose -2*o - 16 = y*n, 0 = -n - 0*o - 5*o - 22. Which is smaller: n or h?
h
Let f = -513.07 - -513. Which is bigger: 2/7 or f?
2/7
Let r = -426 + 490. Is r < 63?
False
Let i be (-1)/3 - 3219/(-2124). Let b = 4/59 + i. Let v be (7 + -14)/7 + 3. Which is greater: v or b?
v
Suppose q - 40 = 6*q. Let x be 18/q*(-10)/3. Let f = x - 7. Is 1/2 less than f?
False
Suppose -5*b = 5*v + 565, 3*v + 12*b = 11*b - 345. Which is bigger: -120 or v?
v
Let a = 395 - 5149/13. Let r be 11/(132/18)*(-2)/3. Which is bigger: a or r?
r
Let z be 5/(-10) - 694/(-4). Let h = z - 5. Let t be h/195 + 4/(-10). Is t bigger than 0?
True
Let q = -125 - -184. Which is smaller: 61 or q?
q
Let r = -322.9 + 323. Let d(x) = x**3 + 7*x**2 + 4*x. Let m be d(-6). Suppose 4*c = 5*s + m, -3*s + 2*c - 10 = c. Is r != s?
True
Let t(n) = n + 6. Let v be t(-3). Suppose 0 = v*m - 9. Which is smaller: m or 3/2?
3/2
Let j = -4 - -10. Suppose -j*l = -l. Let w = -36/323 + 1/17. Does l = w?
False
Let f be (-4)/(-3) - 6/(-9). Suppose f*u = u - 4. Let k = 8 - 10. Which is smaller: k or u?
u
Suppose 5*y + z + 1 = 0, -2*y + z = 3 + 3. Is 157/8 bigger than y?
True
Let n be (-36)/(-280)*7/(-34). Let h = n - -269/850. Let r = 1/25 - h. Which is bigger: r or -1?
r
Suppose -3*f + f = -m + 93, -5*f = 4*m - 411. Let x = m - 497/5. Which is greater: -0.009 or x?
-0.009
Let h = -1.2 - -0.2. Let z = -0.0261 + -17.9739. Let f = h + z. Which is smaller: f or 0?
f
Let g = 43.9 + -120. Let z = -76 - g. Is -8/3 > z?
False
Let s be (-20)/30*(-78)/4. Let a = 8 - s. Let i = 6 + a. Which is greater: i or 1/3?
i
Suppose 26*u - 29*u + 90 = 3*t, -57 = -2*t - 5*u. Which is bigger: t or 30?
t
Let j be (303/2)/(3/6). Let a = 585/2 - j. Which is smaller: -10 or a?
a
Let g be 2/7 - (-40062)/462. Is g bigger than 89?
False
Let s = -780259/5 - -156964. Let j = -915 + s. Is j greater than or equal to -2?
False
Suppose 3*q = -o - 143, 22*q = 4*o + 24*q + 622. Is o not equal to -5?
True
Suppose -5*z + 2*l = 6*l + 4, 5*z - 5 = 5*l. Let u be (-5)/22*2 - z. Which is bigger: -1 or u?
u
Let u be -8 + 1 + (2 + -7)/(-5). Let a = -5 - -10. Suppose -a = 4*t - 5*i, 5*i = -t - 17 - 3. Is u less than or equal to t?
True
Let l = 2/265 + 237/3710. Let i be 0*(1 + -1 + 1). Are l and i unequal?
True
Let q = 76 - 103. Are q and 0.3 equal?
False
Let a = 46037/1470 - 37/245. Do 31 and a have the same value?
False
Let i = -11 + 4. Let b = 30 - 55. Let f = b - -18. Is f less than i?
False
Let j = -361 + 364. Which is smaller: j or -23?
-23
Let r = -30 + 45. Let z = 22 - r. Let i = z + -6.9. Is -2/11 <= i?
True
Let k = -11.55 + -0.35. Let w = 12 + k. Which is smaller: w or 48?
w
Suppose 0 = -5*q + 2*q. Let u be ((-39)/11)/(-3) + -2. Let z = u + 16/33. Are z and q equal?
False
Let t be (-2)/4*(5 - 3)*-1. Let r(j) = -j**3 + 2*j**2 + 3*j - 3. Let v be r(t). Is -2/195 at least v?
False
Let b be (3/52)/((-93)/(-248)). Which is greater: b or -0.1?
b
Suppose 48 = 31*s - 603. Is 169/8 greater than or equal to s?
True
Suppose -77 = 2*v - 9*v. Let z = -92.9 + 93. Which is smaller: v or z?
z
Let r be 4*-1*(-5 - -4). Suppose 3*s = r*s + 1. Let n be -1 - 3/(6/(-2)). Which is bigger: s or n?
n
Let l = -51.5 - -6.5. Let o = -47 - l. Is o smaller than 0?
True
Suppose -2*k - 76 = -6*k. Suppose -87 = -5*u + 2*f, -u - 14 = -3*f - 47. Is k smaller than u?
False
Let r be 246/(-33) + (-392)/(-49). Suppose m - 10 = -5*i + 3*m, 0 = i - 5*m - 2. Let t be (-4)/14 - i/(-7). Is r less than t?
False
Suppose 82 = 3*x + 4*p - 1, -4*x - 4*p = -108. Do 3/2 and x have different values?
True
Suppose -4*d + 19 + 5 = 0. Let i(k) = k**3 + 8*k**2 + 7*k + 5. Suppose -3*n - 4*r - 6 - 3 = 0, 5*n - 2*r = -41. Let l be i(n). Is l greater than or equal to d?
False
Suppose -n = 4*o + n + 26, 0 = 2*n + 6. Let w be (-4)/(o - -1) - -3. Suppose -x + w*f + 3 - 7 = 0, 4*x - 3*f = -3. Is x smaller than 2/27?
True
Suppose -4*v = p - 2*p + 27, 5*v - 3*p + 39 = 0. Suppose