6 - -7662. Which is smaller: d or p?
d
Let x(c) = 2*c + 3. Let o be x(-2). Let h be 4638/22 - 1 - (-60)/330. Let n be (-6)/h*-141 - 4. Is n greater than o?
True
Let v = -51.946 + -0.054. Which is smaller: -1/4 or v?
v
Let q be (-3)/18*215*1/(-35). Let f = q - 6/7. Is 0 at least f?
False
Suppose 5*d = 4*g - 260, -2*g = 4*d + 121 + 87. Let x be 2/(-3) - d/6. Let l(i) = i - 11. Let f be l(x). Which is smaller: -7/3 or f?
f
Let p be 4*(-2)/28 - (0 + 0). Is p > -308?
True
Let h = -19.84 - -27.2. Let v = -7.4 + h. Is -0.4 smaller than v?
True
Let r be 0 - -23*(-3)/(-66) - 1. Let v = r - 71/110. Suppose -3*t + 5 = 4*m - 0, -6 = 2*t - 2*m. Which is smaller: v or t?
t
Let t(m) be the second derivative of -m**4/12 - 3*m**2/2 + 7*m. Let j be t(0). Let f be (-8 + -8)/(6/j). Is 8 at least f?
True
Suppose 2 + 2 = 4*z - 5*k, 3*z = -2*k + 3. Suppose 0 = -5*c - 3*d + 14, 3*c + 3*d - 12 = -0*d. Are z and c unequal?
False
Let l be ((-18)/21)/(16 - 25004/1568). Let x = -25 + 10. Is l at most x?
True
Let z(m) = -31*m + 7. Let f be z(5). Let i be (f/(-48) - 3)/2. Suppose -4*r + 5*l - 11 = -0*r, l - 8 = -5*r. Which is greater: r or i?
r
Let p = -202 - -287. Let k = 85.09 - p. Which is bigger: k or 1/3?
1/3
Let p = -397 - -1131. Are 733 and p equal?
False
Let j be (3/15)/(8/10). Let k be 8/(160/30)*(-9)/(54/88). Is k greater than j?
False
Let n = -292.8 + 293. Which is smaller: -10.3 or n?
-10.3
Let x = -13 + 200. Which is smaller: x or 186?
186
Let i be ((-6)/(-16))/(18/(-100)). Do -2 and i have different values?
True
Suppose 4*a + 252 = 6*a. Suppose -5*q + a = -84. Is q at most 40?
False
Let a(k) = -k**2 + 7*k + 17. Let g be (14/10 - 1)/(5/(-25)). Let m be a(g). Let i be 2/(-5) + 48/95. Is i greater than m?
True
Let i be 2 + (-195)/(-2132)*480/(-22). Is i less than -1?
False
Let o = 101 + -87. Suppose 0 = 3*w - 5*b - 12, -4*b - o = -w + 3*w. Is -1 equal to w?
True
Let x(o) = -86*o - 451. Let t be x(-8). Is 236 bigger than t?
False
Let w = 6464234/731 - 8843. Which is smaller: w or -1?
-1
Let d = 1341/4 + -2719/8. Do d and -5 have different values?
True
Let c be -4 - -3*(-188)/(-60). Let x = -56/15 + c. Let k(l) = l**2 + 2*l + 3. Let a be k(-2). Which is smaller: x or a?
x
Let p = -1326 - -927. Let i = p + 365.1. Let n = -34 - i. Is 8 less than n?
False
Let s = 1/5 - -1/20. Let d = 1.6 + -1.1. Let g = d + -0.7. Is g at most as big as s?
True
Suppose 3*c - 7 = -2*q, -q + 11 = c + 2*c. Let j = q - -2. Let w be (-81)/99*j/(-3). Which is smaller: 0 or w?
w
Let c = -684 - -699. Let h = 50 - 34. Is h at least as big as c?
True
Let v be 7/120 + 4/(-32). Let l = -38 + 381/10. Let r = v - l. Is 1 bigger than r?
True
Let f = 98 - 95. Do -2 and f have the same value?
False
Let y be (-4)/(-16)*(2 + -2). Suppose y = 2*u - u - 4, 4*u = -3*g + 34. Which is bigger: 2 or g?
g
Let q(h) = -59*h**3 + 4*h**2 + 6*h + 1. Let s be q(-1). Which is greater: s or 61?
61
Let h = -4453/129 - -94/43. Is -33 at most as big as h?
True
Let r be (-50)/(-60) + (2/12)/1. Let a be (r/2 - 1)/((-14)/28). Which is smaller: a or 24/11?
a
Let v = 2220 + -2219. Which is greater: v or 801?
801
Let s(c) = -c**2 + 7*c - 5. Let n be s(5). Suppose 0 = -n*t + 5*i + 105, -2*t + 72 - 24 = i. Let l = 23 - t. Is -4/23 greater than l?
False
Suppose -4*y - y = 0. Let j be (y/(-3))/(-1)*-1. Let t be (-62)/21 - (1 - 4). Which is greater: t or j?
t
Let a = -201/4 + 2411/48. Which is smaller: 0 or a?
a
Let y = -21 + 4. Let j = y - -17. Is j smaller than 13?
True
Let o = 4 + -4.08. Let w = o + 0.06. Let v = w - -0.32. Do v and -1 have the same value?
False
Let j = 414 + -385. Is j at least as big as 28?
True
Suppose 4*y = -2 - 14. Let w = -2.7 + -3.1. Let g = w - -3.8. Which is smaller: y or g?
y
Let a = 26 - 24. Suppose a*z + 21 = 3*g, -4*z - 2*g - 6 = -4. Are -5 and z non-equal?
True
Suppose -3*o + 30 - 3 = 0. Let q be o/15 - 228/30. Which is smaller: q or -8?
-8
Let a = -1660 + 3387/2. Let g = -34 + a. Which is smaller: g or -8?
-8
Suppose -q + 12 + 28 = -5*s, -5*s - 5*q = 40. Let x be (-5 - 5) + s/(-4). Which is bigger: x or -5?
-5
Let x = -102 + 405/4. Let n = 41 + -37.3. Let s = n - 3.63. Which is bigger: s or x?
s
Let n be (-24)/30*(6 + 3 + -4). Let z be (0 + -50)*(-2)/n. Which is smaller: -0.1 or z?
z
Let y = -7 + 13. Let h = -3 + y. Let b be (1/h)/(38/12). Which is greater: b or 1?
1
Let c be 494/(-4)*(-35 - -55). Which is bigger: 2/3 or c?
2/3
Let o be (-7)/14*11/8. Which is smaller: o or -1?
-1
Let j = 0 + 0. Suppose -12 = -j*f + 4*f. Let y be (-3)/15 - f/15. Are y and 2/3 non-equal?
True
Let m = 772 - 19312/25. Which is bigger: m or -1?
m
Let z(x) = x**3 - 17*x**2 - 17*x - 39. Let j be z(18). Which is smaller: j or -23?
-23
Let j(h) = -h**2. Let y(u) = -u**2 - 7*u - 1. Let m be y(-5). Suppose -13 = -4*k - m. Let s be j(k). Is s greater than -0.4?
False
Let i be 3*1/(-5) + 2/(-5). Are i and -11 unequal?
True
Let x = -4239 + 1530278/361. Which is smaller: 1 or x?
x
Let x(y) = 4*y**3 + 16*y**2 + 7*y + 27. Let d be x(-4). Which is greater: 4/143 or d?
4/143
Let g = 3465241/27415 + 3/5483. Let k = g - 126. Which is smaller: -0.6 or k?
-0.6
Suppose -5*m - k = 25, -2*k = 3*m - 51 + 59. Which is smaller: -50/11 or m?
m
Let l = 21 + -15. Suppose 20 = b + 4*i + i, 0 = -5*b - 5*i. Let v be b - 3/(6/(-4)). Which is bigger: v or l?
l
Let i = -21 - -25. Let j be -7*((-34)/(-7) + (0 - i)). Which is smaller: -2 or j?
j
Let x(h) = h**3 - 4*h**2 + 4*h - 2. Let u be x(3). Let d = 0 - u. Let m = 112/15 + -38/5. Is d at most as big as m?
True
Suppose -3*t + 23 = 2*n + 12, 20 = -5*n + 2*t. Let z be (1 - 4) + (-36)/(-17). Which is smaller: z or n?
n
Let n = 34 - 31. Suppose -n + 0 = 3*c. Which is smaller: -1/28 or c?
c
Suppose 3*c - 507 - 153 = 3*u, 5*c - 1091 = 2*u. Are c and 217 nonequal?
False
Let t = -2948 + 2949. Suppose -5*u + 72 = -2*u. Is t at most u?
True
Let y = 1831 + -1155. Which is bigger: 1 or y?
y
Let w be -1*(2 + 1)/(-3). Suppose 0 = -4*s - 4*n + 5 - w, -11 = -3*s - n. Let y(p) = -2*p**3 - p + 6. Let z be y(0). Does s = z?
False
Let q = 14681/552 - 213/8. Which is bigger: q or 1?
1
Suppose 4*a + 13*f - 11*f - 1320 = 0, 0 = 2*a + 2*f - 658. Is a less than or equal to 331?
True
Let y(g) = -11*g - 290. Let x be y(6). Is x greater than -355?
False
Let m be 0 + -3 + 3 - (1 - -1). Let d be m/10*-8 + (-2)/(-5). Which is smaller: 1 or d?
1
Let p be 4/(32/(-6)) + (-105)/(-168). Let x be 20/(-3) - 4/(-6). Let q(k) = k**3 + 6*k**2 + k + 5. Let d be q(x). Is d less than or equal to p?
True
Let n be ((-1)/2)/((-1)/(-2)). Let f = 99 - -93. Let u be 2*-4*(-4)/f. Are u and n non-equal?
True
Let q = 167.8 + -246.8. Does q = 2?
False
Let b = 3427/1052 + -2/263. Suppose 254*v = 255*v - 3. Which is smaller: v or b?
v
Let l = 1/671 + 2000/8723. Which is bigger: l or 1?
1
Suppose -5*j + 31 = -4*q + 5*q, 5*q = -5*j + 115. Let z be ((-2)/(-6))/((-7)/q). Which is smaller: -2/45 or z?
z
Let q be ((-450)/(-1370))/(-9)*4/30. Are q and 1 equal?
False
Let j = -13 + 4. Let h = 7 + j. Let a = -1.8 - h. Which is smaller: a or -6?
-6
Let z = -20/747 - -17726/717867. Is z <= 1?
True
Let i be (0 + -8)/2 + -124. Let s be 48/(-15) + 3 - i/(-10). Which is smaller: -15 or s?
-15
Let o be 2051/(-10) + -7 + 198/30. Is -207 equal to o?
False
Let q = -39 - -14. Let v = q + 37. Let n be (2/(-5))/(24/(-20)). Which is greater: n or v?
v
Let g(l) = 4*l**2 + 11*l + 9. Let u be g(-3). Is -5/2 equal to u?
False
Let g = -730 - -729. Is g greater than 81?
False
Let w be (34/(-72))/(3/9). Let i = w + 197/156. Which is smaller: -6/5 or i?
-6/5
Let f(m) = 2*m**2 - m + 3. Let b(v) = -v**2 - 1. Let z(a) = 5*b(a) + 2*f(a). Let g be z(-3). Let i = 0 + g. Which is smaller: i or 2?
i
Suppose -60*k + 85*k + 1475 = 0. Which is greater: -64 or k?
k
Let n = 85/6 + -437/30. Let c = 2263 - 47542/21. Let y = c + 15/14. Which is smaller: n or y?
n
Suppose -40 = -5*o + 5*y, -5*o - 3*y + 4 + 4 = 0. Suppose 2*l = -4*h, -2*h + 0*l + o*l = -10. Which is smaller: h or 1/10?
1/10
Let a = 381 + -380. Is 3/82 at most a?
True
Suppose 45 = -0*i + 3*i. Let p be 3 + 12/(-4) + -25. Let d = p + 40. Is i > d?
False
Suppose 6*r - 7 = 35. Is -13 less than or equal to r?
True
Let v be 4/38 - (33505/(-5700) + 6). Let l = 4 + -3. Is v greater than l?
False
Let q(z) = -18*z + 30. Let m be q(-3). Does 83 =