hich is smaller: f or y?
f
Let j = 0.2398 + -0.1398. Is j <= -434?
False
Suppose -n + 3 - 5 = 0. Let o = 2 + n. Do o and 9/8 have the same value?
False
Let c = 11.4 - -13.6. Which is smaller: -3 or c?
-3
Let k be (-3)/(-9)*3 + -1 + 114. Let g be (k/42 - 3) + 12/(-7). Which is greater: 3 or g?
3
Let t be -1 + (-3)/(-3) + (-13746)/21. Let j = t + 657. Is 3 at most as big as j?
False
Let x = -1472 - -626. Let i be (-1)/4 - x/5096. Let n = i + 6/49. Is n <= 1?
True
Let y(r) = r**3 - 13*r**2 + 15*r - 35. Let h be y(12). Let n = 4/38818505 + 572011363/1563327065. Let j = n + -1/443. Does j = h?
False
Let v be 276/18 + (-4)/(-6). Suppose -6*m - v = -2*m. Which is bigger: -3 or m?
-3
Let z(i) = -9*i**2 - 3*i + 30. Let t be z(-2). Let d be (-18)/15*1/2. Do t and d have different values?
True
Let a be ((-60)/33 - 0) + 84/22 + -4. Let q = -42 - -20. Are a and q unequal?
True
Let g = 713 + -157. Let b = g - 21683/39. Suppose -4*z + 5 = 1. Is z at least as big as b?
True
Let o = 14 + -36. Suppose 2*s + 6 = 5*s. Let h be s/(-11) - 26/o. Is h <= 2/11?
False
Let f(u) = u**3 + 3*u**2. Let o be f(-3). Which is smaller: -2/233 or o?
-2/233
Let n = -0.1 - -0.2. Let f = -467 - -449. Which is bigger: n or f?
n
Let q = 78.16 + -76. Let r = q + 0.04. Let p = -2.2 + r. Which is smaller: -15 or p?
-15
Let h = 136.036 - 137. Let w = -0.036 + h. Which is smaller: w or -50?
-50
Suppose 30*a - 2 = 88. Let s be (-11)/(-3) - (-4)/(-6). Is a less than or equal to s?
True
Let m = -882 + 882. Is 6/11 greater than or equal to m?
True
Let w be (-1)/3 - 30/(-9). Suppose w*z + z + 4*o = 872, 3*o = 5*z - 1074. Let x be (3 - z/52) + 1. Is x not equal to 2/3?
True
Suppose q = 2*b + 29, 4*b - 4*q + 0*q + 56 = 0. Which is smaller: b or -23?
-23
Let f(n) be the third derivative of n**5/60 + 17*n**4/24 - 19*n**3/6 + 27*n**2. Let v be f(-19). Are 19 and v non-equal?
False
Suppose -4*n - 5*l = -68, -3*n + 4*n - 5*l - 42 = 0. Let u = n + -89/4. Let a(b) = b**2 - 11*b - 12. Let p be a(12). Which is greater: p or u?
p
Let j be 0 - (2*-25)/5. Let c be 0 - -1 - (10 - j). Which is smaller: c or 2/23?
2/23
Let k = 121 + -119. Is k bigger than 7?
False
Let g = 1.148 + -1.348. Which is bigger: g or -6/61?
-6/61
Suppose 1 = -3*o - 119. Let v = o + 719/18. Which is bigger: -1 or v?
v
Let t be (-19)/(95/(-30))*34/12. Is t at least 14?
True
Let j = 21 - 6. Let k(t) = -5*t**2 + 23*t + 5. Let m be k(4). Is m at least as big as j?
True
Let l(s) = -4*s - 2. Let i(z) = z**2 - 10*z - 12. Let b be i(11). Let t be l(b). Is -14 greater than t?
False
Let w = 778 - 775. Is w < -43?
False
Suppose 1 = 3*u - 5. Suppose 9*k + 43 - 16 = 0. Which is bigger: k or u?
u
Let x be 2/6 - 0*(-6)/(-30). Let h(l) = l - 2. Let y be h(4). Suppose -5*z = 3*f - 9 + 2, 0 = -z + y. Do f and x have the same value?
False
Let l = 4679/5 + -935. Is l equal to -121?
False
Let m = -121/3 - -41. Let h(g) = -3*g**2 + 2*g + 9. Let i be h(-2). Is m equal to i?
False
Let k = 0 - 1. Let h = k + 7. Let z = 7 - h. Is 1 != z?
False
Let g(a) = -a**3 - 6*a**2. Let n be g(-6). Which is greater: 6/49 or n?
6/49
Let d = 56 + -98. Let k be (4/6)/(28/d). Which is greater: 0 or k?
0
Suppose -28 = -11*t + 115. Which is bigger: t or 113/8?
113/8
Let m = 0 - 210. Is m > -208?
False
Let v be 2/((-82)/(-83) - 1). Let q = 249 + v. Which is smaller: 82 or q?
82
Suppose 20 = -o - 0*o. Let c = o - -27. Suppose -5*y + 5 = 5*w, -7 = 3*y + 6*w - w. Which is smaller: c or y?
y
Let m(p) = -p + 18. Let x be m(14). Suppose x*s + 52 = -4*n, n - 7 = 2*n - s. Which is greater: n or -9?
-9
Let t(n) = -2*n**3 + 3*n**2 - 2*n + 3. Let x be t(2). Let m(h) = h**3 - h**2 - 5*h + 2. Let g be m(4). Let v be g/50*5*-1. Is v not equal to x?
True
Let h = -81 - -81. Let t = -139/24 + 17/3. Which is greater: t or h?
h
Let l = 602/885 - 4/295. Let g = -6.88 + -0.12. Are g and l unequal?
True
Suppose 17 + 1 = 6*y. Do 15/8 and y have different values?
True
Suppose -2*d + 4*u - 14 = 0, -2*d - 4 = -2*u + 8. Is 4 equal to d?
False
Let p be -3 + 0/4 + 101. Suppose 4*s + 3*g + 0*g = 114, 4*s - 5*g = p. Suppose -s = -4*i - 3. Is 7 greater than or equal to i?
True
Let m = -99.968 + 100. Let o = -0.042 + m. Is o smaller than -1/10?
False
Let x be 12/(-3) - 434/(-155). Let a = 0 + -0.1. Is a less than x?
False
Let h = 1100 + -12108/11. Which is smaller: -18 or h?
-18
Let g = 20.5 - 4.5. Let n = 42 - g. Is -2/3 at least as big as n?
False
Let h(j) = j**2 + 2*j - 4. Let v be h(2). Suppose 8*d = v*d + 12. Is d smaller than 2?
False
Let u = 1/93 - 11/62. Which is bigger: u or 1?
1
Let b be 0 - ((-3)/(-6) - 82626/(-76)). Let x = -1088 - b. Which is smaller: 1 or x?
x
Let c(t) = -t**2 - 25*t - 155. Let w be c(-15). Is w > -3?
False
Let q = -252 - -251. Which is smaller: q or 2/21?
q
Let a = -0.7 - 0.3. Let o = 953.138 + -959. Let c = o - 0.138. Is c at least a?
False
Let s = 0.51 - 2.61. Let k = -1.3 - s. Let a = -0.4 + k. Which is smaller: -0.2 or a?
-0.2
Suppose 0 = -2*q - 3*h - 25, h + 0 = -5. Let g be (q/(-15))/(1/(-3)). Let r be g/1*(1 - 1). Is -6/13 at most as big as r?
True
Suppose -3*l - 5*p + 37 = -0*p, 0 = 2*l + 2*p - 26. Suppose l*f + 164 = 12*f. Which is greater: f or -83?
f
Let j(f) = -f**2 - 8*f + 8. Suppose 3*b = -4*u + 16, -3*b + 8*b - 15 = 5*u. Let y be j(u). Which is smaller: -3/7 or y?
y
Let h be (-1 + 1)*(-12)/(-36). Suppose 2*f + 2*f = 464. Let w be -1 - (1 - f/52). Is w smaller than h?
False
Let r(z) = -z**2 - 23*z - 88. Let i be r(-20). Let t = -2 - -3. Which is smaller: i or t?
i
Let q = -8 - 0. Let u(a) = -2*a - 12. Let d be u(q). Let n(i) = 3*i**3 - 166*i**2 + 53*i + 114. Let l be n(55). Is l bigger than d?
False
Suppose -70*t - 20*t = -79830. Is t smaller than 887?
False
Let x be 24225/37107 - (-2)/(-3)*1. Is x < 0?
True
Suppose -68 = -d + 4*q, -26*d + 110 = -24*d + 5*q. Is 58 < d?
True
Let o be 100/6 + 2/(-3). Let l = -24 - -26. Suppose -1 - 29 = -l*w. Is o > w?
True
Let f be (-41)/(-2)*-8*4/(-8). Which is greater: f or 4?
f
Suppose -24*r + 3316 = -644. Is 165 at least as big as r?
True
Let a = -339822626/207 - -1641659. Let d = 600/23 + a. Let q = d - 91/3. Are 1/2 and q unequal?
True
Let u be (-4)/(-3)*11216/552. Let m = -245/9 + u. Which is smaller: 0 or m?
m
Let p = 5.2 - 5.139. Let w = -4.939 - p. Which is smaller: -1/20 or w?
w
Let b = 18.1 + -9.5. Let t = b + -36.1. Let l = -28 - t. Is l not equal to -2?
True
Let f = -381/7 + 3415/63. Which is smaller: f or 13?
f
Let z = 197.7 - 189. Let h = z + -8.6. Which is smaller: h or -40?
-40
Let k = -54 + 57. Let c be k - (-21)/(-1 - 2). Which is greater: -2 or c?
-2
Let f(k) = -25*k + 6. Let o be f(12). Let u be (o/(-9))/7*-3. Is u > -12?
False
Suppose 0 = -3*w - 11 - 7. Let s be (-4)/(-6)*w/4. Let c = 233 - 234. Is c smaller than s?
False
Let v = -2108 - -2107. Suppose -5*d - 4*r = -306, -r + 58 = d + 3*r. Let f be d/60 - (-2 - -3). Are f and v unequal?
True
Let p = -1685/2 + 843. Let q = 18 + -38. Is q >= p?
False
Let h(j) = -27*j**3 - j. Let d be h(-1). Let p be 50/d - 2/7. Let n = -823 - -826. Is p > n?
False
Let u = -1.02 + 21.02. Which is greater: 10 or u?
u
Let p(l) = l - 4. Let y(j) = -j + 2. Let n be y(-4). Let z be p(n). Suppose -2*a + z = -a. Is a equal to -4/7?
False
Let u = 58.6 - 2.6. Which is bigger: u or 6?
u
Let y = 18445/3 - 6148. Let j = -18 - -20.9. Is y smaller than j?
True
Let n(h) = 2*h**3 - 2*h**2 + 3. Let t be n(4). Suppose 28*q - 31*q = t. Is -32 less than q?
False
Let l be -3 - 5/13 - -4. Let z = 10/13 - l. Let f(o) = o**2 + 4*o + 3. Let j be f(-3). Is z greater than or equal to j?
True
Let r = 1443 - 1444. Which is bigger: 6/49 or r?
6/49
Let n = -80.1205 - -0.0205. Let i = n - -80. Do i and -1/107 have the same value?
False
Let b = 4.9 - -38.1. Let c = b + -44. Is c smaller than 19?
True
Let n = 3594 - 5634. Are -2039 and n nonequal?
True
Let k be (-20)/(-16) - (135/4)/15. Are k and 2/403 equal?
False
Let s be ((-2)/(-2))/(1/(-11)). Suppose -2*c - 4*g = 22, 4*g - 26 = c - 15. Is s at most as big as c?
True
Let c = -13 - -12. Let s be 1/(c/(-2 - 0)). Suppose -2*u - u + s*v - 20 = 0, 4*v - 8 = -2*u. Which is smaller: -6 or u?
-6
Let d = -7 + 7. Suppose -c = -d*c - 1. Let j be (-5)/(-2) - (c + 2). Which is smaller: j or 2?
j
Let b be 1/(-4) - 52/(-16). Let j = b + -3. Suppose j = -5*o + 21 + 4. Is 5 