i be 2 + 8 - (-104)/(-10). Is v greater than i?
True
Suppose -51*p - 81 - 46 = 76*p. Are p and 11/1576 nonequal?
True
Let o be (68/(-12) + 4)*(-42)/20. Let k = o - 33/10. Is k less than -0.06?
False
Let g be (25/(-4073 + -2))/(1/11). Which is smaller: -1 or g?
-1
Let j be (1/2)/((-14 + -20)/68). Are j and 26/75 unequal?
True
Let a be 3144*(-7 - (-19)/3 - 51/(-36)). Is 2358 greater than a?
False
Let h = -454.76 + 451. Let i = h + 3.36. Which is smaller: i or -3.4?
-3.4
Let x be -82 + 79 - (-36 - (-1 + 0)*1). Is 49 smaller than x?
False
Suppose 17*k + 900 = 3025. Suppose -234 = 3*v - 5*v + 4*c, 4*v - 3*c = 488. Is v greater than or equal to k?
True
Let t = -6995316871/450 - -15545139. Let d = 48/5 + t. Which is greater: d or -1?
d
Let h be 1*-1*(-1 + -1). Suppose 5*y + 196 = 511. Suppose -h*p = 99 + y. Is p <= -81?
True
Let m be -2 + 0 - (-102)/46. Let b = 509 - 297. Let s = 213 - b. Does m = s?
False
Let a = -0.085 - -0.075. Let k = a + -0.39. Let j = 10.21 - 0.21. Are j and k unequal?
True
Let a be 113*(-8 + 6)*(2 - 1). Let q = a + 103. Is q less than or equal to -122?
True
Let b be -1*(-7 - (3 + 4 + -3)). Suppose 14*p - b*p - 3*q = 102, p = 4*q + 46. Is p at least 30?
True
Suppose 145 = 4*m - 5*v, -m - 6 + 51 = -3*v. Suppose 80 = 5*t + m. Suppose 6*r = 4*p + 2*r - 12, -3*p + 41 = 5*r. Is t > p?
True
Let o(x) be the third derivative of x**6/120 - 17*x**5/60 - 19*x**4/24 + 3*x**3 - x**2. Let t be o(18). Let n be t - 26/(3 - 5). Is n < 13?
False
Let d be -123*18/(-4)*(-18)/(-27). Suppose 9*n - d = 1008. Let f = 126 - n. Which is smaller: f or -28?
-28
Let g(o) = -6652*o + 4. Let v be g(-1). Let t = -1351171/203 + v. Does t = 0?
False
Let s(g) = g**3 + 22*g**2 - g + 1. Let p be s(-22). Suppose -p - 16 = o. Let l be (o/(-5))/(-3) - (4 + -6). Is -1 equal to l?
False
Let r = -15351 + 15341. Let y(b) = 10*b - 3. Let k be y(3). Suppose 3*z + k + 6 = 0. Which is smaller: r or z?
z
Let n be ((-24)/(-64))/(33/8). Is n greater than or equal to -788?
True
Let d = 3.37 - 7.16. Let j = d + 6.66. Let b = -1.03 - j. Which is greater: 1/3 or b?
1/3
Suppose -k - 2*f = -803, -20*f - 15 = -17*f. Is 812 greater than k?
False
Let l = -63 + 68. Let d be l/(-3) + 5 + (-4)/(-6). Suppose -d*i = 2*k + 90, 5*i - 212 = 5*k + 2*i. Which is greater: 0.1 or k?
0.1
Let w = -127.2866 - -127.36. Which is greater: 2/9 or w?
2/9
Let s = -901 + 33341/37. Let h be 0/(-15*(-12)/(-90)). Is s <= h?
False
Let m be 0/(-2) + (-1)/(-2). Let u(a) = 0*a - 5*a - 2*a + 7*a + 208 - 7*a. Let v be u(24). Is m bigger than v?
False
Let k = 3/3067 + -113605/128814. Let t = k + 3/14. Let m be ((-112)/42)/((-8)/(-6)). Which is smaller: m or t?
m
Let o = 5248 - 5025. Do 220 and o have different values?
True
Let z = 868.5 + -867.5. Is 1/28 <= z?
True
Suppose 4*j + 0 + 5 = 5*b, -3*b - 5*j = -3. Let q be b/(-2)*96/(-120). Is q greater than 0?
True
Let k = 15009 - 15009. Are k and -19/221 unequal?
True
Suppose 3*t - 54 = -2*k, k - 5*k + 72 = 4*t. Let s be 6/5*((-276)/t - -2). Are s and -17 unequal?
True
Suppose 3301 = 16*p - 195*p - 1353. Are -20 and p non-equal?
True
Let x be ((-177)/804 + 3/12)*-1. Let u = 1.46 - 1.06. Which is smaller: x or u?
x
Let s(u) = 1 - 22*u**2 + 9 - 12*u + 23*u**2. Let a be s(9). Let f be a/2 - 6/(-12) - 1. Which is smaller: f or -8?
f
Let c be (1/2)/((-3)/6)*2. Let w be -1 + ((-1)/c)/((-15)/30). Let a be (w - 15)*(-1 + 2). Which is bigger: a or -18?
a
Let x = 6.1 - 6.8. Let d = -465 + 466. Which is greater: d or x?
d
Suppose 0 = -4*i + 2*m - 6*m + 32, 0 = -2*m + 8. Let z be (7 + -7)*1*(-2)/i. Which is smaller: z or 5/37?
z
Suppose 2*p + 2*r - 20 = 0, 2*r + 22 = 6*p - p. Suppose 5*a - p = -2*v, a + 9 = 4*v - v. Suppose -15 = -5*y - a. Which is smaller: 5 or y?
y
Let v be -10 + (-2)/(-3 + 2). Let u = -28352 - -28346. Do v and u have the same value?
False
Suppose 5*l + j = 9*l + 2*j, -3*j = 5*l. Is -7/2007 <= l?
True
Suppose 0*p + p + 5 = 0, 2*o - 21 = p. Let n be 5 + -3 - o/18. Suppose -12 = 9*t - 5*t, -3*t = -5*a + 14. Is a >= n?
False
Let x = 35.7 - 34.11. Let w = 1.49 - x. Which is greater: 3 or w?
3
Suppose 7*g - 4 - 10 = 0. Suppose 0 = -3*c + o + 84, -3*c - 17 = g*o - 110. Which is smaller: c or 24?
24
Let f(g) = 7*g + 9*g + 14 + 21 + 29. Let m be f(-4). Which is greater: 1 or m?
1
Suppose 24 = 30*y - 24*y. Let m be (-40)/15*(-21)/28. Which is smaller: m or y?
m
Suppose -15*b - 7237 = -7072. Which is bigger: -119 or b?
b
Let h be (-140)/(-16) + -9 - 209/(-4). Let o be -4 + -1 - (-1695)/30. Is h < o?
False
Let o be (-5)/(-25)*-1*(-2 - -7). Let c be 0 + (o - -1)/(-1). Which is greater: 2/187 or c?
2/187
Let n = -16 + 19. Let f be -1 + 0 + n + 0. Let p be f + -6 + 138/34. Which is smaller: 0 or p?
0
Suppose -45*a = -37*a + 32. Let y(m) = 19*m + 75. Let u be y(a). Is u at least as big as -1/37?
False
Let x be (-3)/6 - 18/(-21)*77/44. Is x greater than or equal to -3/2021?
True
Let u = 104 + -91. Let p be 6/(-40)*52/u. Is 11 bigger than p?
True
Suppose 87 = 3*k + 111, 9*m - 2*k - 12940 = 0. Is 4312/3 less than m?
False
Let s be ((-4)/(-21))/((-24)/28). Let w = 4460 + -4477. Is s at most as big as w?
False
Suppose 0 = 6*l - l - 350. Let k = l + -81. Let r be k*(0 + -2*4/(-8)). Which is bigger: -2 or r?
-2
Let l(o) = -2*o**3 - o**2 - 5*o - 4. Let c be l(-1). Suppose -3*q + c*q = -2*z - 5, -4*q + 5 = -3*z. Is -16/9 smaller than q?
True
Let u(p) = -5*p**3 + 12*p**2 - 15*p + 3. Let c = 291 + -287. Let l be u(c). Which is smaller: -186 or l?
-186
Let p(d) = 11*d + 12. Let o be p(-6). Let q be -4 + -4*52/2. Let y be 2 - (q/(-16))/3. Which is smaller: o or y?
o
Let q = 51 + -634. Let j = q + 2949/5. Let t(p) = -p**3 - 4*p**2 + 4*p + 2. Let g be t(-5). Which is greater: j or g?
g
Let v = -10402763281/30221 + 344223. Is 0 at least as big as v?
False
Let z be (-480)/(-10) - (2 - 5). Suppose 9*l = -z + 204. Is l > 33/2?
True
Let g = 1 + -30. Let b = g - -31. Suppose 4*x = i, -5*i = -b*x - 4*i + 2. Is 16 != x?
True
Let u be (-9)/(-5) + 33600/(-3000). Let f be 6/5*10/3. Suppose -52 = 5*y - a, -2*y + f*a - 48 = 2*y. Which is smaller: u or y?
y
Suppose 0 = -232*h - 3426 - 286. Let v = -6 + 2. Let m(k) = 5*k + 6. Let r be m(v). Is r at most h?
False
Suppose -43*h + 44*h + 75*h + 7144 = 0. Let f(c) = 11*c**3 + 3*c + 2. Let u be f(-2). Is u <= h?
False
Suppose 832 - 82 = -3*k. Let t = k + 282. Is 35 <= t?
False
Let h(u) = -u**2 - 5*u. Let y be h(-5). Suppose 362 = 4*r + 358. Let i be 19/380 - -1*r/(-4). Which is bigger: y or i?
y
Let h = 8 + -48. Let t be 1/5 - 38*44/h. Is t greater than 42?
False
Let w = -14 + 11. Let k be w/(-2)*20/(-45). Let n be 2 - 8 - (4 + -1 - 7). Which is bigger: k or n?
k
Let y be ((-34188)/(-224))/((-12)/(-64)). Which is bigger: 821 or y?
821
Let b(h) = -11*h**3 - 2*h**2 + 51*h - 45. Let j(i) = 4*i**3 + i**2 - 17*i + 15. Let v(x) = 3*b(x) + 8*j(x). Let d be v(5). Which is smaller: -32/7 or d?
d
Let k = -4292 + 4290. Is -7/94 greater than or equal to k?
True
Let k = -336 - -800. Suppose 4*r - 4*s = -k, -2*s + 80 = -4*r - 394. Is -123 less than r?
True
Let v = 18340 + -18311. Which is bigger: -3.2 or v?
v
Let l = 103 + -102.962. Let b = 1314 + -1315. Are l and b equal?
False
Let c be 3/(-8) - 1427643/248. Which is smaller: -5758 or c?
-5758
Suppose -35 - 64 = -o - 4*b, 4*o - 331 = -3*b. Suppose -61 - 176 = -3*y. Is y at most as big as o?
True
Suppose 78 = 3*v + 5*p + 31, -5*p - 23 = -2*v. Suppose -2*i - 13*g = -v*g - 34, -2*i - 2*g + 34 = 0. Is 16 bigger than i?
False
Let r be (-4)/3 + 10/((225/(-30))/(-1)). Is r != -21/430?
True
Let s(n) = -n**3 + 4*n**2 + 8*n - 33. Let k be s(4). Which is bigger: k or 2/2349?
2/2349
Let i be ((-75)/(-10))/(15/(-80)*-4). Suppose 3*u + i*u + 26 = 0. Which is smaller: u or -43?
-43
Suppose 5*j + 3*g + 212 = 0, 0*j + j + 48 = -2*g. Let r be (-12)/(-2)*j/(-9). Let a = -27 + r. Which is greater: a or 1/33?
1/33
Suppose -1301 = -10*k + 3159. Which is bigger: k or 447?
447
Let k = 14536 - 8532634/587. Which is greater: k or 4?
4
Let y be ((-2)/(-60)*-2)/(4 + (-1110)/270). Which is smaller: 0.652 or y?
y
Suppose 444*r - 426*r - 9720 = 0. Which is bigger: 2157/4 or r?
r
Let y = 4544 + -4328. Is 210 <= y?
True
Let f(d) = -d**3 + 2*d**2 + d + 47. Suppose c + 5*i = 5, 4*c - i + 2 = 1. Let l be f(c). Is 48 bigger than l?
True
Let x = 2210/9 + -221