= 1174/11655 + -5/333. Which is greater: r or o?
o
Let q be 2/8 - ((-858)/152 + 5). Is q <= 0?
False
Let l(b) = -10*b**2 + 5*b + 6. Let o be l(-3). Let n = o + 98. Is n at most 4/61?
True
Suppose 5*k = -3*a - 9, -2 = -k + 1. Let c(p) = -p**3 + 11*p**2 + 12*p - 2. Let s be c(12). Let m be -11 - ((-1 - 1) + s). Is a at most as big as m?
True
Let k = -239 + 239. Is 4 >= k?
True
Let n be 1 + -6 - 2550/(-930). Which is smaller: -2 or n?
n
Suppose -5*n = -3*o + 7, 4 + 1 = 5*n. Suppose -z - o*a - 338 = -4*z, 0 = 2*z - a - 222. Let x be (15/z)/(9/4). Which is greater: 1 or x?
1
Let b = -3/2917 + 1763/4550520. Which is greater: 1 or b?
1
Let t = -13/15 + 4/15. Which is smaller: -1 or t?
-1
Let k = 1241/9 - 138. Is 0 at least k?
True
Let i(f) = 5*f**2 - 3*f - 18. Let g be i(-9). Let n be 8/(-12) - (-264)/g. Is n != -1?
True
Suppose 4*y = -7*g + 12*g - 66, 2*y + 24 = -2*g. Let l(i) = 5*i + 27. Let s be l(y). Is -42 greater than s?
True
Suppose 0 = -4*o - 5*f - 10, -3*o - 6*f = -2*f + 8. Is 2/667 less than o?
False
Let w = 4.7 - 3.2. Let q = 1.6 - w. Is 89 greater than q?
True
Let t = -23 - -28. Suppose t*j - 9 = 6. Let i be j/(-15) + 357/(-15). Is i at least -24?
True
Let c = -1.82 + 1.72. Which is bigger: 274 or c?
274
Suppose -24*p = -45*p - 8631. Is p >= -413?
True
Let h be 116/(-32) - (-1 - 12/6). Is 0 at most as big as h?
False
Let m = 90 + 66. Let r = 153 - m. Is r less than 26?
True
Suppose -5*x = 3*q - 6*x - 3, 5*q = 4*x + 5. Is 1/380 at most as big as q?
True
Let s = -50 + 59. Let a be (-17)/2*(s + -11) - 0. Is a at most as big as 15?
False
Let o = -1621 + 19445/12. Which is smaller: o or -1?
-1
Let d be 28/42*(-10)/(-3). Which is greater: d or 2?
d
Let h = 15 + -12. Let w be h - (2 + (3 - 2)). Let m be (6/9)/((-80)/(-15)). Which is smaller: w or m?
w
Let v = 2.28 + -1.28. Let m be 6*(23/(-21) + 1). Let b = -39/56 - m. Which is greater: b or v?
v
Let y = 29/6 - 91/18. Let u be 6/4*4/(-6). Is u >= y?
False
Let x be (2 + 12/(-4))*(-18)/6. Suppose 0 = -5*w - n + 102, -x*w = w + 2*n - 78. Is 23 equal to w?
False
Let t(x) = -x**3 - 10*x**2 + 12*x + 263. Let v be t(-11). Which is smaller: -0.1 or v?
-0.1
Let a = -18 - 7. Let g = 174/7 + a. Is g less than -2?
False
Let q = -3 + -1. Let v be ((-10)/4 + 1)/((-264)/(-704)). Does q = v?
True
Let i(c) = c**2 + 16*c + 28. Let a(r) = -r - 1. Let m be a(13). Let o be i(m). Is 9/20 greater than o?
True
Let k = -256 + 235. Which is smaller: -119/6 or k?
k
Let y = -13 - -7. Let k be (-30)/4*(4/5 + 0). Is y at most as big as k?
True
Let l = -16 - -21. Suppose -2*m + l = -3*m. Let d = -12 - m. Which is greater: d or -6?
-6
Let b be ((-3)/2 + 3)*2. Let n be -2*27/(-6) - b. Let v be (-6)/(-10)*(-2)/3. Which is greater: v or n?
n
Let j be (27/(-117))/((-6)/4). Suppose -5*m + 1 = -4*m. Let b = 1 - m. Is j greater than b?
True
Let z = 21016/93 - 226. Which is smaller: 1 or z?
z
Suppose -5*a - 2*u = -1211, 9*u = 8*u + 3. Is 245 not equal to a?
True
Let b = -693 - -4852/7. Which is smaller: b or -4/25?
-4/25
Let m be ((-6)/(-5))/(8/60). Suppose 0 = -12*h + m*h. Which is greater: h or 2/19?
2/19
Let t be 7/(-2) + -1 + 0. Let c = -10 - -5. Let w be c/(-1)*7/(-7). Is w <= t?
True
Let s = -179 + 54. Let u = -1371/11 - s. Do -1 and u have different values?
True
Suppose 5*u + 2*x = -3243, 7*u = 3*u - 3*x - 2593. Which is greater: -650 or u?
u
Suppose -5*j = -3*h - 68, -h + 3*h = -4*j - 38. Let w be (-40)/(-3)*(-9)/6. Which is greater: w or h?
w
Let s(j) = 21*j + 8. Let h be s(-2). Let w be (-504)/51 + 4/h. Which is smaller: w or -3?
w
Suppose 430 + 333 = 7*q. Which is bigger: 113 or q?
113
Suppose 3*h = 838 - 814. Is 12 greater than or equal to h?
True
Let n(t) be the first derivative of t**5/30 + t**4/24 + t**2/2 - 8. Let u(b) be the second derivative of n(b). Let h be u(-1). Which is bigger: 2/17 or h?
h
Let l be 52/(-4) + -1 + 3. Let q(u) = u + 22. Let v be q(l). Let r = 3 - -8. Is v < r?
False
Let c = -3408 - -10421/3. Let b = c - 68. Let z(x) = -x - 7. Let u be z(-5). Which is smaller: u or b?
b
Let r be (-4)/30 - (0 + (-18031)/195). Which is smaller: 93 or r?
r
Let u = -5.03 + 0.03. Let f = 63 + -54. Let n = f + u. Which is bigger: n or -1/4?
n
Suppose 4*h + 62 = 5*p, -5*p - 2*h = -5*h - 64. Let a = 21 - p. Suppose 6 = -q - a. Is q greater than -12?
False
Let i(m) = 6*m**2 - m + 3. Let z be i(2). Let q be 1*(z/10 - 3). Is q at least as big as 49?
False
Let l = -5.6 - 8.6. Let p = -14 - l. Let r = -2.05 + 0.05. Which is smaller: p or r?
r
Let d be (6/4)/((-1)/(-2)). Let z = -86 - -84. Let q = z + 3. Which is smaller: q or d?
q
Suppose 23*s = 4*s - 2*s. Is -4/3 equal to s?
False
Let f = 0.4 + 0. Let b = 49 + -7. Let t be (-1)/(-3) + 2/(b/(-13)). Is t smaller than f?
True
Suppose -g - 2 = -2*g. Suppose -3*k = 15, -g*u + 13 = -k - 0. Let x be 6/18*u/(-10). Is x >= -1?
True
Suppose -2*d + 20 = 2*f, -10*d + 7*d + 3*f + 36 = 0. Suppose 3 = r + 3*h - 4*h, -h - 19 = -5*r. Let y be r/2 + (7 - -1). Is y bigger than d?
False
Suppose 5 + 100 = 7*w. Let x be w/(-14) - (-2)/4. Let i(q) = q**2 + 5*q - 2. Let h be i(-5). Is h at most x?
True
Let u be (915/288)/(-5) + (-10)/(-15). Suppose -5 = 10*q + 5. Is u smaller than q?
False
Let t(j) = j + 10. Suppose 30 = 7*m - 12*m. Let y be t(m). Is -3/2 greater than or equal to y?
False
Let u(r) = -r**3 + 2*r**2 + 3*r - 10. Let g be u(-5). Is g < 0?
False
Let u = -85719 - -23658415/276. Let z = u + 1/46. Let i be ((-2)/24)/(2/(-6)). Which is bigger: z or i?
i
Let a(y) = -y**2 + 14*y + 18. Let j be a(14). Let i be 2/j + 26/117. Are 1 and i unequal?
True
Let t = 0.1 + -0.2. Suppose -p = r - 3*p, -2*p = -4*r + 12. Suppose -3*k - 2*y = 8, k = 3*k + y + r. Which is bigger: t or k?
k
Let w be 7 + -3 - 1 - (2 - 0). Let q be (16/(-2))/(-4) - w. Which is greater: q or -2/15?
q
Let k = 3.1 - 6.1. Let s = 0.8 - -3.2. Let v = s + k. Which is smaller: -0.9 or v?
-0.9
Suppose -z = -0*z. Let t be 60/35*5/(-3). Let w = -181/56 - t. Which is bigger: w or z?
z
Let y(n) = n**3 + 9*n**2 - 35*n + 27. Let j be y(-12). Are j and 15 unequal?
False
Let k be (-6)/4*(-4)/(-45). Let p be (-3)/2*(-56)/21. Suppose -d + 2*u - 2 = 0, 0 = -4*d + 8*d + p*u - 4. Which is smaller: d or k?
k
Let x = -33 - -21. Let d(y) = -y + 9. Let j be d(x). Let z = j - 25. Which is greater: z or -5?
z
Let x = 0.076 - -4.224. Let f = -4.7 - x. Is f smaller than 0?
True
Let t be 0*(-1)/(-2) + -2. Let m = -0.24 - -13.24. Is t smaller than m?
True
Let c = -490 + 493. Which is bigger: c or 5?
5
Let m = -4388 - -4370.11. Let t = -18 - m. Suppose 3*k = -2*b + 10, 0 = -2*k + 5*k + 4*b - 20. Is k smaller than t?
False
Suppose 4*d + 6 = h, 0*d + 2*d - h + 4 = 0. Let y be (-1)/(d - -2) - 0/(-6). Is y at most as big as -1?
True
Let g be ((-40)/60)/((-787)/3). Which is greater: 0 or g?
g
Let o(d) = -29*d - 126. Let s be o(-5). Is 3 equal to s?
False
Let q = 7 - 4. Let o be q/1 + 414/70. Let z = -46/5 + o. Which is smaller: z or 1/2?
z
Let v be 1*9*(-3)/(-9). Which is smaller: 0.3 or v?
0.3
Let i(s) = 3*s**2 + 52*s - 98. Let h be i(-19). Let g be 2/7 + 90/(-21). Is h >= g?
True
Suppose 0 = -5*t - 332 - 2733. Are t and -613 unequal?
False
Let o(z) = -11*z - 110. Let j be o(-12). Is j at least 24?
False
Let l be ((-1)/6)/((-5)/1905). Which is smaller: 63 or l?
63
Let m = -46.2 + 46. Which is greater: m or -12.3?
m
Let u = 22 + -15. Let a = -79 - -84. Suppose 32 = -4*k - 4*g, -2*k = a*g + 6 + u. Is k equal to -8?
False
Let s = -1332/5 + 17331/65. Which is smaller: 6 or s?
s
Suppose 70 = -4*o - 4*p - 342, -4*o - 2*p - 408 = 0. Let t = o + 1517/15. Which is greater: -1 or t?
t
Let y be (-3 - -6) + (-80)/26. Which is bigger: y or -0.2?
y
Suppose 3*t = 5*o - 256, 3*o - 4*t - 158 = -0*t. Suppose 2*f - 16 = n + 15, -2*n + o = 4*f. Let m(j) = -13*j + 1. Let d be m(-1). Is f >= d?
True
Suppose -7*r + 11*r - 24 = 0. Suppose 5*b = 10, -3*b - r = 6*z - 2*z. Which is smaller: 1 or z?
z
Suppose 5*k + 5 = -0. Let a be k/(((-25)/(-2))/(-5)). Let l(q) = -q - 7. Let f be l(-8). Which is bigger: f or a?
f
Let v = 16.942 + 0.058. Is -5 at least v?
False
Let i be 4268/(-3) + (-2)/6. Let a = 2433/1337 - 100966826/70861. Let y = i - a. Which is smaller: y or 1?
y
Let k = -1.82 - -1.82. Is 498 at most k?
False
Let v(c) = -c**2 - 4*c + 12. Let i be v(-9). Let u = 32 + i. Which is sm