5/112. Do f and -1 have different values?
True
Let f(v) = -v**3 - 3*v**2 + 2*v - 3. Let t be f(-4). Suppose -4 - t = 3*y. Let d be 2*y/((-21)/2). Which is bigger: 2 or d?
2
Let j = 910 - 911. Which is smaller: 4/363 or j?
j
Let k = 182.052 + -0.052. Which is bigger: k or -1/3?
k
Suppose 3*g + b - 16 = 0, 0 = 2*g - 3*b - 2*b + 12. Let c be g/(-4)*(3 - 3). Which is bigger: c or 2/3?
2/3
Suppose -4*p - 20 = -0*p. Let u = p - -6. Is u not equal to 1/9?
True
Suppose -36 = -3*t - 27. Suppose 3*g - 2*z - 3*z = -34, -38 = 4*g - t*z. Is -7 >= g?
True
Let x(l) = -l**3 - l - 3*l**2 + 3*l + 1 - 3*l + 0. Let q be x(-2). Let s(u) = 3*u**2 + 2*u + 1. Let n be s(q). Is 1 less than or equal to n?
True
Let c = -92 - -96. Let p be ((-49)/7 - -8)/((-6)/c). Which is smaller: p or -88?
-88
Suppose m + 2*f = 146 - 51, 93 = m + 4*f. Let h = m - 113. Is -16 != h?
False
Let y(r) = -r**3 - 3*r**2 + 6*r + 6. Let i be y(-4). Let v = i - 8. Let g be v/(-9)*12/20. Is g greater than or equal to 1/4?
True
Suppose 5*m + 1430 = -5*m. Let f = 36 + m. Which is bigger: -106 or f?
-106
Let i = -37982/47 + 808. Which is greater: i or 0?
0
Suppose -110 + 130 = -4*x. Let v be x/(-15)*-2 + 10/(-18). Is v equal to -1?
False
Suppose 0 = -3*g - 869 - 310. Are -393 and g non-equal?
False
Let t(q) = -2*q**3 - 10*q**2 - 2*q - 6. Let k be t(-5). Which is smaller: 1 or k?
1
Let t = 372/53 + -29545/4081. Which is greater: -1 or t?
t
Let p be 1 - 3/(-3)*1. Let h = p - 1. Let g be 0 - (2/h - 1). Which is greater: g or 1/4?
1/4
Let r = -2 + 3. Suppose -4*g - 5*d + 629 = -100, -g + 161 = -3*d. Let y be 1*2*(-5 + g/36). Is r at least y?
True
Let x = 48 + -3026/63. Suppose -60 = 3*t + 12*t. Let g be ((-3)/9*0)/t. Which is greater: x or g?
g
Suppose -v = -4*r + 11, -3*r + 2*v = 3*v - 17. Let g(w) = -w**2 + 7*w + 20. Let a be g(10). Let l be (140/(-24) - -6) + a/(-3). Do l and r have the same value?
False
Let o = 40 + 35. Is o bigger than 77?
False
Let n be ((156/(-40))/(-13))/(21/(-71)). Let c = -2/7 + n. Which is bigger: c or 0?
0
Let y = 792324383/623 - 1271789. Let g be ((-4)/178)/(7/(-7)). Let p = y - g. Which is greater: 1 or p?
1
Let l = 4 + -4. Suppose 14*k - 9*k = l. Is k != -1/7?
True
Let y = 9667/9 + -1073. Suppose -8 = k - 2*f, -3*k = -f + 53 - 49. Which is smaller: y or k?
k
Let c = 33 + -48. Let j be (-5)/(c/(-156))*-1. Suppose -4*h + 3*w - 83 = 0, 2*w + j = -2*h - 0*w. Which is bigger: -22 or h?
-22
Suppose -71*x + 210 = -81*x. Which is smaller: -20 or x?
x
Let q be ((-2)/12 + 2/(-4))*3. Let r be (q - 1)/(-6)*-2 - -1. Is r <= -15?
False
Suppose -4 = -4*f, 2*x - 2 - 1 = f. Let a(o) = 2*o**2 - 2*o + 1. Let n be a(x). Let b = -2 - -6. Do b and n have the same value?
False
Let u(a) = -a**2 - 9*a - 13. Suppose 0 = 6*w - 11 + 47. Let k be u(w). Let t = 1.2 + -1. Which is smaller: k or t?
t
Let h(o) = -o - 14. Let r be h(-12). Let z(w) = w + 2. Let s be z(0). Let u be s/r - (-5 - 3). Is 7 != u?
False
Suppose 15*d - 377 = 73 - 30. Suppose -3*z + 2*z = 3, 0 = 3*y - 3*z - 99. Which is smaller: y or d?
d
Let f be (82/(-40) - -2)/(16/(-120)). Suppose 4*s = -29 + 5. Let a(m) = -m - 5. Let d be a(s). Which is smaller: f or d?
f
Let z = 3121 - 12589/4. Let r(j) = -j**2 + 9*j - 4. Let d be r(11). Which is bigger: d or z?
d
Let p = 317 - 328. Are -11 and p unequal?
False
Suppose f = 0, 3*o - 5*f = -3*f - 60. Let q be o/(-16)*4 + 0. Which is bigger: 4 or q?
q
Let o(d) = -d**2 - d. Let h(p) = p**3 + 4*p**2 + 5*p + 10. Let a(k) = h(k) - 4*o(k). Let j be a(-7). Let n = 8 + j. Is n >= 4?
True
Let z be 24/(-18) - -4*1. Let n(o) = 3*o**2. Suppose -r = 3*t - 11 + 3, 3*r - 17 = -2*t. Let l be n(t). Does l = z?
False
Let g = -1.4 - 28.6. Let z = -3 - -4. Which is bigger: z or g?
z
Let v = -828/35 - -160/7. Suppose -h + 2 = 4. Let l = 0 + h. Which is greater: v or l?
v
Let z = 565/3 + -1127/6. Is z smaller than -2/835?
False
Let y be (1 - 2)*0/(5 + -3). Let k(j) = -2*j. Let b be k(y). Which is greater: -2/17 or b?
b
Suppose -10 = -l - 3*r, -4*l + 5*r = -0*r + 11. Suppose -4*d - 54 = -6. Let q be (1 + d/8)*l. Is q smaller than 1/4?
True
Suppose -4*k = 0, 450 - 10 = 2*l - 4*k. Suppose -i = -11*i + l. Which is smaller: i or 19?
19
Let k(f) = -f**3 - f**2 + 4*f - 4. Let t(h) = -h**3 + h**2 + h - 1. Let b(g) = -k(g) + 2*t(g). Let l be b(3). Let w = -1.979 - -2.179. Is l bigger than w?
False
Let s = 6 + -3. Suppose 4 = -b - 2*v - 1, 0 = -2*b + s*v - 31. Let g(w) = 91*w + 79. Let k be g(-1). Is b at least as big as k?
True
Let n = 0.7 - 3.7. Let j(s) = -4*s + 31. Let z be j(8). Let r be (-13 + 11)*z/(-4). Is n less than r?
True
Let m be ((0 - (-5 + 5))/2)/(-1). Which is greater: m or 8/15?
8/15
Suppose 3*f - 4*f - 5 = -3*m, -5*m - f = -3. Let q be m + 10/(-3) + -3. Let y = 67/12 + q. Which is smaller: y or -1?
-1
Let t be 2/(-2) + (-19)/(19/2). Which is bigger: t or -39?
t
Let x = -535 - -542. Let a = 0 - -3. Let g(m) = m + 3. Let n be g(a). Is x < n?
False
Let p = -389/18012 - -2/237. Which is greater: p or 1?
1
Let u be ((-56)/21)/(2/(-3)). Let i(p) = -p**3 + 5*p**2 - 4*p + 5. Let d be i(u). Let s = 3 - d. Is s <= -5/4?
True
Let k = 2726 - 2726. Is k at most as big as 2/15?
True
Let j(c) = c**2 + 38*c + 278. Let f be j(-10). Which is greater: f or -10/27?
-10/27
Let l be (-4)/(-8)*0/1. Suppose l = -4*u + t - 17, -4*u + 3*u = -5*t + 9. Let s be 0 + u/((-12)/(-33)). Is -11 not equal to s?
False
Let p be 6*(-4)/8 + -93. Let r be 6*3/p*2. Is 1 greater than or equal to r?
True
Let z = 8052/5 - 1630. Let u = z + 2264/115. Which is smaller: 1 or u?
u
Suppose -44*x + 30*x = -18*x. Which is smaller: x or 1/24?
x
Let m(k) = -k**2 - 5*k - 65. Let q be m(-13). Is q at least -168?
False
Let b = 6.859 - -0.141. Which is bigger: b or -1?
b
Let m = -4753 + 4740. Let r be 0*(-1)/(-2) - 13. Is r > m?
False
Let b = -6 - -6. Let y be (-116)/36 + 1 + b. Which is greater: -1 or y?
-1
Let k be 1 + 4 - 396/(11 + -20). Is 49 less than or equal to k?
True
Let g = 24.8 - 25. Which is smaller: g or 80?
g
Let c = 254 + -244. Do c and 23 have the same value?
False
Suppose 9 = 49*r - 46*r. Suppose 0 = -3*b + 2*t + t - r, -2*b + t = 0. Do 2/7 and b have the same value?
False
Suppose -182 - 331 = -9*h. Is h <= 279/5?
False
Let h = 44 + -40. Let x be ((-10)/(-15))/(h/36). Suppose 5*f - 2*a = 30 + 5, 0 = -4*a - 20. Which is bigger: f or x?
x
Let g be 2/((-9743)/(-3) - (-2)/(-3)). Let k = -1339/3247 + g. Which is smaller: 1 or k?
k
Let g be ((-8)/(-24))/(-1)*1737. Which is smaller: g or -578?
g
Let x = -0.036 + -30.964. Let g = 30 + x. Which is greater: 6 or g?
6
Let n be (-21419)/(-4) - (-3)/4. Let d = n - 5640. Let l = d - -279. Which is smaller: l or -7?
-7
Let p = 453 + -455. Is -109 less than p?
True
Let v = -132 + 36. Let j be 1/((-196)/v - 2). Which is greater: 23 or j?
j
Suppose 4*s - 3*x + 16 = 0, -s = -x + 3*x - 7. Let a be (-5)/((-2725)/1645) + -2 + -1. Which is smaller: s or a?
s
Let f = 109.4 + -112.4. Let k = -0.9 - -1. Let z = 0.1 - k. Which is smaller: f or z?
f
Suppose 0 = 5*h + 4*a - 63, 3*h - h + a = 27. Suppose 2*m + 17*l - 20*l = 21, l = 3. Is h at most m?
True
Let l = -521 + 520. Is -7/89 > l?
True
Let t be -4 - 4/(-15048)*-5905192154. Let w = -1569699 - t. Let l = w - -1/209. Which is bigger: 0 or l?
0
Let i(j) = j**2 + 8*j - 4. Let a be i(-9). Suppose l = -l + 3*r + 16, 2*l - a*r - 24 = 0. Is l at most 4?
True
Let h(i) = 29*i - 4. Let f(m) = -30*m + 4. Let r(v) = 3*f(v) + 4*h(v). Let g be r(-1). Let k = g + 40. Is 9 > k?
False
Suppose 0 = -0*f + 3*f + 12. Let p be f/22 + (-414)/(-99). Let b = -73/4 - -18. Which is smaller: b or p?
b
Let n(o) = -o**2 + 8*o - 24. Let c be n(-11). Is c less than -231?
True
Let o be (-8797242821)/41299120380 + 6/24. Let p = 3/4573546 + o. Let q = 1/105 + p. Which is smaller: q or 0?
0
Let t = -2 + 4. Let u = 1 - t. Let i = -1206.74 + 1207. Do u and i have the same value?
False
Suppose -f = 2*f - 4*z, -4*f + 3*z = 0. Which is greater: 10/13 or f?
10/13
Let f = 167 + 3. Is f != 170?
False
Suppose 5*w + 20 = 6*w. Suppose -5*p - q = 5 - w, -2*p + 14 = 2*q. Is -0.04 bigger than p?
False
Suppose f - 3*a - 147 = 0, -21*f + 22*f + 4*a - 133 = 0. Are f and 143 non-equal?
True
Suppose 0 = 2*i + 2*i - 2*j + 36, 33 = -3*i + 3*j. Which is greater: i or 1/2?
1/2
Let j = -1252 + 1261. Is j less than -8/27?
False