13?
q
Let n be -2 + 2 + 2 + 53. Suppose 0 = -4*i - i + n. Suppose -5*v = -g - 7, -2*v = -191*g + 190*g + 5. Which is bigger: g or i?
g
Let b(q) = -5*q**2 - 13*q + 84. Let i be b(3). Which is smaller: -179 or i?
-179
Suppose -2*q - 320 = 18*q. Suppose -36 = 3*c - 0. Is q greater than or equal to c?
False
Let i(u) = u**2 - 6*u + 3. Let q be i(2). Let v be 4 + (2 - (12 + q)). Let p = -7 - -5. Do p and v have the same value?
False
Suppose -8*i + 3535 = -3969. Let j = 912 - i. Is -22 equal to j?
False
Let b(f) = -3*f - 2. Let o be b(-2). Suppose g + 3 = i - 0, 3*g + o*i = -9. Let n be (-99)/12*1/3. Which is greater: g or n?
n
Let d = -127 + 131. Suppose 4*n = -3*b + 196, -4*n + n + 147 = d*b. Are n and 50 unequal?
True
Let f = -25.4 + 25.416. Let c = 0.984 + f. Which is bigger: 58 or c?
58
Suppose 0 = -4*p + 2*d + 5994, 31*p - 5*d = 37*p - 8983. Which is greater: p or 1500?
1500
Let v = -68 - -69. Suppose 0 = 10*w + v - 1. Suppose -6*o + o + 10*o = w. Which is bigger: 6/25 or o?
6/25
Let k be (-54 - 0)*1/(-14). Suppose 6*r - 4*c = 3*r - 27, -2*r - 2*c = 32. Let s be (-9)/27*(1 + r). Which is bigger: s or k?
s
Let s = -10258 - -10257. Is 4/2735 equal to s?
False
Let q = -56 - -61. Suppose -4 = q*m - 44. Which is greater: 0 or m?
m
Suppose -4*g - 736 - 116 = 0. Let w be ((-1)/(-6)*633)/((-1)/2). Which is smaller: g or w?
g
Let q be 2 - (65/10 + 10/(-4)). Let t be (q/(-7))/((-3219)/203). Which is smaller: t or 1?
t
Let x = -38306/6435 + 232/39. Let p = -17/118305 + x. Is 1 greater than p?
True
Let t = -0.55501 - -0.05501. Let r be ((-2)/4)/((-22)/(-8)). Are r and t equal?
False
Let g(u) = u**2 - 7*u + 10. Let c be g(3). Let d be -4 - -2 - c/8*4. Let k = -0.6 - -0.61. Is d <= k?
True
Let b(u) = -2*u**2 - 108*u - 1954. Let w be b(-83). Is w not equal to -6768?
False
Suppose 181 - 661 = 20*x. Suppose 2*h + 2*h - 312 = 0. Suppose 5*n = -h - 27. Which is greater: n or x?
n
Suppose c + 1393 = 1397. Let v(m) = m**3 - 9*m**2 - 11*m + 1. Let i be v(10). Let k be ((-6)/4)/(i/24). Is c > k?
False
Let o = 103/2 + -533/10. Let x = o - -12/5. Let l be (7 + -5)*3/6. Do l and x have the same value?
False
Let s be (4/(-18))/(36/(-567))*(-12)/21. Is -94/129 at least as big as s?
True
Let i be ((-40)/(-6))/((-29465)/(-498)). Which is smaller: i or -1?
-1
Let v(u) = -u**2 - 11*u - 35. Let n be v(-5). Let a be (-13)/(20/n + 7). Which is smaller: a or 3?
a
Let y(p) = p + 181. Let j be y(-6). Let u be 7/((1 - 0)/(-38)). Let z = u + j. Are z and -91 non-equal?
False
Suppose 11*i - 2*i - 8*i = -25*i. Is -1231 less than or equal to i?
True
Suppose -10*q + 79220 = 17*q - 7*q. Is 3959 smaller than q?
True
Let k = 22999 - 23060. Which is greater: -48 or k?
-48
Let q = -103712836/373 - -278050. Which is smaller: q or -1?
-1
Let v = 113 + -315. Let l = v - -217. Which is smaller: l or -7?
-7
Let s be ((-69)/12)/((-1072)/(-64) + -17). Suppose 5*n = -2*c + 121, -5*c = 11 - 1. Which is bigger: n or s?
n
Suppose -54992 - 13480 = -3*c - 2*k, 0 = -2*c + k + 45648. Which is bigger: 22823 or c?
c
Suppose 2 = h, -2*w + 4*h + 3 + 31 = 0. Let b = w + 31. Let o be 0 + (-1 - 155)/(-3). Is b less than o?
False
Let i = -2493 + 2493. Which is smaller: i or 98/129?
i
Let z(r) = 25*r**3 + 6*r**2 + 32*r + 200. Let c be z(-6). Which is smaller: c or -1/3?
c
Suppose 2*z - 5*d - 13 = -67, 5*z = d - 158. Suppose 3*f + 4*m + 112 = 0, -5*m - 1 - 4 = 0. Which is smaller: z or f?
f
Let i = -2323 + 2293. Let p(f) = -2*f**2 + 10*f - 1. Let l be p(7). Are i and l non-equal?
True
Let m = -129582577/355 + 365021. Let q = -4/71 + m. Does q = -1?
False
Let v = 56 + -57. Let o be ((2 - 0)*v)/(28/(-2626)). Let y = o - 188. Which is smaller: -10 or y?
-10
Suppose -4*q + 12*q = -48. Let b = -4409 - -4375. Which is smaller: b or q?
b
Let n = 1.7 + 0.3. Let c = n - 2. Let l = 361.93 + -347.93. Which is bigger: l or c?
l
Let x = -0.2 + 0.11. Let w = x - 0.01. Let u = -2.01 - -2.91. Is w bigger than u?
False
Let a = 1148 - 2156. Let v be a/80 - -3 - -1*5. Which is greater: -4 or v?
-4
Let x = -28523 + 24356. Is -4168 < x?
True
Let z be (-933)/18 - (-1)/(-6). Let o = -47 - z. Suppose -39 + 39 = o*m. Which is smaller: -3/17 or m?
-3/17
Let j be (-15914)/(-8) - (-11)/((-220)/(-15)). Is j bigger than 1989?
True
Let s(z) = z**2 + z - 1. Let o(i) = 19*i**2 + 149*i - 11. Let m(x) = o(x) + 2*s(x). Let b be m(-8). Which is bigger: 121 or b?
b
Let q = -250482/7 - -71753/2. Let x = q - 94. Suppose -4*l + 4*d + 15 = -d, -2*l + 3*d + 9 = 0. Is l smaller than x?
False
Let z be 3*-20*(-549)/135. Is 287 less than or equal to z?
False
Let y(s) = -s**3 - 24*s**2 + 36*s + 103. Let v be y(-26). Suppose -39 = 16*x - v. Is 249/8 greater than or equal to x?
True
Let o = -367.4 - -367.5753. Which is smaller: -1 or o?
-1
Let r(h) = 6*h - 16. Let b(a) = 7*a - 17. Let t(k) = 5*b(k) - 6*r(k). Let y be t(11). Let x = 1/25 + -6/25. Is x greater than y?
False
Let z be (-2)/(-19) + 2553991/(-7505) + (-2)/(-10). Which is bigger: -3064/9 or z?
z
Let q = -12134 - -11217. Which is smaller: -921 or q?
-921
Let z = -1/133 - 1055/1197. Suppose 0 = -4*a + 4*m + 4, -8*m = 3*a - 9*m - 9. Suppose 8*h - a*h - 2 = u, 0 = -5*h + u + 3. Is h less than z?
False
Suppose 5*z + 5*r = 30, -2128*r = -2*z - 2126*r + 16. Let j = -30 + 20. Let m = 15 + j. Is z not equal to m?
True
Let k be 1/((15/2)/1) + (-134883)/135. Which is bigger: k or -1003?
k
Let b be -44 - -40 - ((-3 - -2) + -2). Let o be 34*(-5*(-2)/10)/b. Is -36 less than or equal to o?
True
Suppose -n + 5*n = 128. Let h = n - 37. Let j be (h/(-10))/((3/(-12))/(-1)). Is 3/5 at most j?
True
Let h(z) = -z**3 + 7*z**2 - 3*z + 2. Let a be h(8). Let y = 99 + a. Is 14 > y?
True
Let m = -0.08 + 7.08. Let f = m + 10. Let p = 17.2 - f. Is p at least 0.18?
True
Suppose -3*u - 104 = 607. Let x(g) = -5*g**3 - 108*g**2 + 61*g + 137. Let y be x(-22). Is u > y?
False
Let w = 6358106/21 - 302576. Let k = -191 + w. Suppose 10 = -3*v - 2*a + 4*a, -v = -2*a + 10. Which is bigger: k or v?
v
Suppose 5*n + 5824 = -5*z + 20514, 5*z = -30. Are 8830/3 and n equal?
False
Let w(r) = r**3 - 36*r**2 - 5*r + 174. Let o be w(36). Is o greater than -69?
True
Let v = -86121 + 284629907/3305. Is v != 1?
True
Let p = -28 + 65. Suppose -36*v = -p*v. Let d = -0.14 + 0. Which is smaller: d or v?
d
Let f = 6569 + -6568. Is f greater than 3/323?
True
Let m = 107.2 + -5.2. Let o = m - 175. Let f = o + 76. Which is greater: 0.02 or f?
f
Let a(s) = s**3 + 10*s**2 - 12*s - 7. Let h be a(-11). Suppose 7*d + 146 = 5*z + h*d, -d - 2 = 0. Suppose -4*y + 0*y = -z. Which is greater: 2/5 or y?
y
Let l be (18/(-21))/((-4)/14). Let x be (4/l)/((-28)/42). Let b be x/8*9 - -2. Is b less than or equal to 33?
True
Suppose -5*z = -2652 + 787. Suppose 27 + z = -8*q. Is -148/3 greater than or equal to q?
True
Let y = 3837 + 65. Is 11704/3 greater than y?
False
Suppose -2*q = -q - 190. Let p = -176 + q. Is p < 1?
False
Suppose 132 = -2*t - u, 0 = -2*t + u - 146 + 10. Let y be 6/(-36) - 403/(-6). Let w = y + t. Which is greater: -3/13 or w?
w
Let d(h) = -17*h - 251. Let m be d(-7). Let b = 131 + m. Do -2/459 and b have different values?
True
Suppose 0 = -5*b - 3*r - 24722, 22*r = -4*b + 20*r - 19780. Is -1 at least b?
True
Let d = -907/40 + 47/8. Do d and -18 have the same value?
False
Let l be -1 + 10 + 1904/(-51)*30 + -2. Is l equal to -1111?
False
Suppose 2*m = -n - 44, 67*m - 63*m + 128 = -3*n. Let o be (-77)/(-2) + n/(-5). Which is smaller: 48 or o?
o
Let l be (1860/25 - -2) + 18/(-45). Is 82 <= l?
False
Let v be 15/55 - (-43)/(-77). Let i = -135.4 - -154. Is v greater than or equal to i?
False
Let q be (22 + 34)/(-8) - (-148)/54. Is -5 > q?
False
Let t be (62/(-8))/((-2)/(-8)). Let v(x) = -3*x**2 + 324*x - 31. Let y be v(108). Is t <= y?
True
Let u = -39 + 45. Suppose 0 = u*g + 38 + 10. Let k = 182 - 190. Is k >= g?
True
Let q be ((-4)/170)/(546/(-65)). Suppose -4*l = 3*j - 11, 4*l + 3 = 3*j + 8. Do q and j have different values?
True
Let f be 324 + 7/(98/(-224)). Is 2475/8 > f?
True
Let v be 4184/22 - (-6)/(-33). Let q(h) = h + 203. Let z be q(-12). Which is smaller: z or v?
v
Let p be -5*(-9)/(-6)*6. Let l be (p/(-25))/((-9)/(-15)). Suppose -l*z = o - 10, -2*z = 2*o + 2*o. Is -7 > o?
False
Suppose -10*i = 2*r - 15*i + 701, 5*r - 2*i = -1700. Is r at most as big as -