r: 7/13 or q?
q
Let c(o) = -o**3 - 4*o**2 - o - 5. Let h be c(-4). Let i be -7 - (1*-3 + 120/20). Which is smaller: i or h?
i
Let f(w) = -w**3 + 2*w**2 + 4*w. Let x be f(3). Suppose -3*s + 2*p = -2 - 6, 11 = x*s - 5*p. Let j = 47/63 + -2/63. Is j greater than or equal to s?
False
Let x(w) = 0*w**2 + w**2 - 81*w**3 + 46*w**3 - 1. Let k be x(1). Are -36 and k nonequal?
True
Let w(a) = 3*a**2 - 5*a + 3. Let i be w(-3). Let o be -47*(-3)/(5 + -2). Is o smaller than i?
False
Let d(o) = -o**2 + 8*o - 10. Let f be d(7). Let x(h) = 9*h - 6. Let y be x(f). Let t = y + 257/8. Which is bigger: 0 or t?
0
Let q be 207/(-1784) - (392/(-64) + 6). Let m(x) = -x**3 + 15*x**2 - 15*x + 15. Let f be m(14). Are f and q non-equal?
True
Let r = -2125/56 - -200/7. Is -8 >= r?
True
Let o be (-4)/2*(53 - 12). Are o and -84 equal?
False
Suppose -j - 2*j = 0. Suppose 10*k - 14*k - 20 = 0, 0 = -4*r + k - 119. Which is bigger: r or j?
j
Let n = 0 + 0. Let q = 42/95 - 14176/31635. Do q and n have different values?
True
Let u = -26.5 - 3.5. Let v be (-117)/(-78) + -1*2. Which is greater: v or u?
v
Let t = -145 - -146. Which is greater: t or 31?
31
Let o = 8 - 5. Suppose 5*w + 10 = 3*s + w, -o*s = 2*w - 4. Let g be 92/(-6) + s/6. Is g > -16?
True
Let n = 6847 - 4306761/629. Which is bigger: 1 or n?
1
Let u = 3.96 - 4. Let x = u + 0.36. Let f = x + -1.32. Is 0.2 at least f?
True
Suppose -1 = -q - 2. Let v = q + 5. Are -1 and v unequal?
True
Let x(y) = -3*y - 21 - 1 + 0*y + y. Let g be x(-8). Let w = -1 + -6. Which is smaller: g or w?
w
Let w = 46 + -45.9. Let n = -58 - -64. Which is smaller: n or w?
w
Suppose -2*p + 3 = 1, 5*o + 5*p = 25. Suppose 4*u - o*w = -2*w - 96, 106 = -5*u - w. Is -23 greater than or equal to u?
False
Let n = 25/11 + -733/66. Is n at most as big as -10?
False
Suppose -10*o + 21*o + 2409 = 0. Do o and -219 have the same value?
True
Let b = 1.64 - 7.64. Is 18 < b?
False
Let i(s) = -5*s + 19. Let m be i(10). Which is greater: -32 or m?
m
Let i be -2 + 1 - (-9)/9. Suppose 4*s + 8 - 20 = i, 2*s - 236 = -5*c. Let a be -3 + c/13 - 1. Which is smaller: -1 or a?
-1
Let i(q) = -2*q**2 - q - 25. Let d = -54 + 50. Let l be i(d). Is -54 bigger than l?
False
Let g = 23.7 + -24.6. Is g bigger than -2?
True
Let y = 15 - 14.96. Let h = -8.96 - y. Which is bigger: h or 0?
0
Let g = -66 + 27. Let z = 42.2 + g. Let t = -3 + z. Which is smaller: -7 or t?
-7
Suppose -8*j - 62 = 34. Let x be (-2 + -6)*9/j. Which is bigger: 7 or x?
7
Let j = -17 - -26. Let z(w) = 16*w - 35*w + 20*w - 1. Let g be z(8). Which is smaller: g or j?
g
Suppose 3 + 1 = -4*d, -3*l = d + 28. Let b be l*(21/(-9) - -3). Is b bigger than 0?
False
Let k = 33503/17 - 1976. Which is bigger: -6 or k?
k
Let h = -407 - -401. Which is smaller: h or -49?
-49
Let m be (0 - 1)*1 + 22 + -25. Let f be ((-1)/2)/((-14)/m - 1). Let l = 8 - 5. Is l > f?
True
Let d be ((-96)/9)/(-16) + 317/(-3). Is d < -105?
False
Let m = 2.2 - 2.8. Let s = -0.5 - m. Do s and -23 have the same value?
False
Let y = -4 - -5. Let l = -23.017 + 0.017. Is l != y?
True
Suppose 3*u + l - 10 + 0 = 0, 0 = 3*u + 4*l - 13. Suppose -5*y = -y - 40. Suppose -2*k + 14 = y. Does k = u?
False
Suppose -36 = 7*d - 3*d. Let k = 9 - 8. Let p(y) = -8*y**3 - 3*y**2 + 2. Let c be p(k). Is d != c?
False
Suppose 0 = m - 16 + 15. Is 3/5 > m?
False
Let h = -6 + 8. Suppose 112 = -5*p - k - 10, -2*k - 52 = h*p. Which is greater: -25 or p?
p
Let a = 650032/201 - 3234. Which is smaller: a or 0.2?
a
Suppose 4*p - 6 = 6. Suppose -2*n = 5*s - 165, -p*s = -5*s + 3*n + 85. Suppose 5*j = 4*g + s, 5*g + 48 = -3*j + 5*j. Is -1 at most g?
False
Let v(n) = -n**2 + 2*n + 3. Let g be v(6). Let z be g/(-42)*(-28)/(-2). Is z <= 7?
True
Suppose 80*y - 18386 = 51*y. Which is bigger: 632 or y?
y
Let t = 28.8 + -30.2. Is -4 bigger than t?
False
Let y be -1*(-5)/(10/6). Let q be (y/(-13))/(4/10392). Let p = 600 + q. Are 1 and p nonequal?
True
Let a(r) = 15*r - 21. Let w be a(-11). Let f be w/(-55) - (-44)/(-242). Is f at least 3?
True
Let w be (-210)/496 - 3 - 47/376. Is -4 at least w?
False
Let z = -26 + 19. Let a be 22/(-2) + 4 + -1. Which is bigger: a or z?
z
Let d be -26 + 16 - (-9 - 0). Which is smaller: 4/421 or d?
d
Let y be -3 + (-3 - -10*3). Let l be (-4)/(y/13) - -3. Let u = -41 - -41. Which is smaller: l or u?
u
Let a = 22.1 + -21. Is a at most 1/7?
False
Suppose 2 = -2*d - 2. Let k be 4 - (1/1 - d). Suppose -4*c = -5*c - k. Which is smaller: c or 1/3?
c
Let y(m) = -2*m**3 - 62*m**2 + 64*m + 1. Let n be y(-32). Is n > 6/85?
True
Let z = -37 + 33. Let b be -6*(-8)/z*-1. Is b greater than or equal to 53/4?
False
Suppose -5*i = 3*o - 10, 0 = o + 2*o + i - 2. Suppose o = -j + 6 - 0. Suppose 7 = j*t + 1. Is t <= -0.09?
False
Let m(u) = 173*u**2 - 1. Let c be m(-1). Suppose 0 = -11*t - 279 - c. Are -42 and t non-equal?
True
Let o = 19.283 - -0.667. Let g = o + -20. Let q = g - -0.05. Which is bigger: 0.17 or q?
0.17
Let w be ((-22)/3)/(-1)*-3. Let m = w - -34. Let y = -27 + 39. Does m = y?
True
Let o be (-16)/2*(2 - (-24)/(-2)). Let p be 4/(-6) + o/75. Which is smaller: -1 or p?
-1
Let o = 905 - 910. Let t be (-1)/(-2) - (-22)/(-4). Are o and t unequal?
False
Suppose 4*n + 4*l = 16, 3*n = 2*n + 2*l + 10. Suppose a = n*f - 7*f - 3, -a - 5*f = 15. Is a != 4/17?
True
Let z(j) = j**2 - 15*j + 42. Let u be z(11). Let a be 5 + -1 + 4 + u + -39. Is a at most as big as -32?
True
Let a = 9 - 53. Let d be ((-11)/a)/((-2)/(-4)). Let x = 1.6 - 1.7. Is x <= d?
True
Let g be (12/(-8))/(2/(-164)). Is 122 smaller than g?
True
Let d be (0 - (2 + 2)) + (-12 - -17). Let j be (20/(-30))/(-1 - -4 - d). Suppose -v - 3*v - 4 = 0. Which is smaller: j or v?
v
Let v = 4564871/375 + -12173. Which is bigger: v or -1?
v
Suppose 0 = 393*w - 386*w. Is 2/85 != w?
True
Let z = 12 - 7. Suppose -u - 60 = -6*u. Suppose -u = -c + z*c. Which is greater: -3/2 or c?
-3/2
Let t be ((-2)/(-3) - 1)/((-86)/8858). Is 33 < t?
True
Suppose -4*v + 10 = -4*g + 18, -3*g - 2*v = -16. Let y be (8/3)/((-4)/(-6)). Is g >= y?
True
Suppose -y = -5*g - 0*y - 8, -2*g - 2*y + 4 = 0. Let s = -1809 + 113971/63. Which is smaller: g or s?
g
Let z = 10639/889 + -83/7. Which is smaller: z or 0?
0
Let h = -0.09 - -2.09. Suppose 4*r + 3*o - 57 = 17, -3*o = 3*r - 54. Suppose r = -4*j + 4*z, 0 = -3*j - 5*z + 2*z - 21. Do j and h have the same value?
False
Suppose -4*j - 2*c + 1 + 7 = 0, -3*j + 4*c - 16 = 0. Let l = -193 + 1362/7. Let q = -6/35 + l. Is j at least as big as q?
False
Let n(v) = -v**2 - 9*v + 12. Let f be n(-7). Suppose 5*a = -2*o - 130, -3*a + 2*a = -4*o + 26. Let x = a + f. Is x != 2/13?
True
Let i(k) = k**3 + 14*k**2 - 15*k. Let o be i(-15). Which is greater: o or -1/47?
o
Let v be (-6)/(-14) - (-116)/7. Let x = 17 - v. Are -0.9 and x nonequal?
True
Let a(k) = -2*k - 12. Let n be a(-5). Let f be 0/n*13/(-13). Which is smaller: -1/13 or f?
-1/13
Suppose 0 = -3*h + 4 + 2. Suppose -2344*c = -2349*c + 10. Is h not equal to c?
False
Let b = -947 + 943. Is -43/15 >= b?
True
Suppose 46*m = 44*m - 240. Is -594/5 > m?
True
Let c be 420/(-75) + (-4)/10. Let l be ((-6)/8)/((-3)/c*-4). Do 19 and l have the same value?
False
Let q = 0.233 - -0.767. Which is greater: q or -0.21?
q
Suppose -4*d + 13 + 3 = 0. Let m(u) = u**2 - 2*u - 8. Let p be m(d). Let t be ((-2)/4)/((-95)/(-57)). Which is bigger: p or t?
p
Let b(a) = -a**2 - 13*a - 7. Let s(q) = 1. Let r(t) = b(t) + 6*s(t). Let f be r(-13). Suppose 2*y + 10 = -3*y. Which is smaller: f or y?
y
Suppose -5*n = -0*n + 2*i + 870, -2*i = -n - 162. Which is smaller: -857/5 or n?
n
Let c(a) = 7*a**2 - 10*a + 13. Let p(y) = -y**2 - 1. Let v(h) = -c(h) - 6*p(h). Let n be v(9). Is 4 smaller than n?
False
Let p(m) = 5*m**3 - m - 5. Let t be p(-2). Is t < -44?
False
Let g = 9.6 + -6.6. Let f = -21 + 32. Which is smaller: g or f?
g
Suppose 8*f - 41 + 113 = 0. Let r be (f/12 - -1)*4. Which is smaller: 1/20 or r?
1/20
Let z be (-8)/12*(-3 - 27/(-8)). Let c(d) = d - 1. Let y be c(3). Let n be 2 + -2 + (y - 2). Which is smaller: n or z?
z
Let f be 2/((-3)/(-12) + 72/(-32)). Is 12.6 >= f?
True
Let f be ((-6)/45*-5)/(2/6). Suppose -6*l = -l + a - 26, 22 = 5*l + f*a. Is 5 at most as big as l?
True
Let f = 3 + -1. Let v be (0 + (f - 1))*-1. Let h be (-2)/(-14) - ((-99107)/(-2604) + -38). Are v and h equal?
False
Sup