= 2 + v. Which is smaller: p or 5?
p
Suppose -17*b + 12*b - 435 = 0. Let t = 86 + b. Let k be 153/(-21)*(t - -5)/4. Is -7 bigger than k?
True
Let f be ((-45)/60 - 7/(-4))*614. Let l = f - 597. Does l = 12?
False
Let i = 1.97 + 0.03. Let o = -843 - -7594/9. Which is bigger: i or o?
i
Let a = -9194 + 12958. Suppose -4*d + 325 = -q - 419, 0 = -5*q - 2*d - a. Is -751 less than q?
False
Let n(g) = 7*g**2 + 43*g - 37. Let q(t) = 11*t**2 + 65*t - 55. Let s(k) = 8*n(k) - 5*q(k). Let u be s(-19). Which is bigger: -20 or u?
-20
Let w = -7288/4485 + 110/69. Do -1.7 and w have different values?
True
Let m = -35703259/40080 - -4454/5. Is 0 >= m?
False
Let g be (-8*(-4 + (-2 - -5)))/(-2). Let z be (-51)/3 + (g - -1). Do z and -24 have different values?
True
Let w(z) = -z**3 + 3*z**2 - 4. Let g be w(3). Let l = 5 + g. Are l and -2 equal?
False
Let r = 2/74275 + 19534127/7353225. Let y = r - 28/11. Let a be (8/(-138))/(4/(-6)). Which is greater: a or y?
y
Let o = 1557.9 + 209.1. Is o < -1/3?
False
Suppose 4*x + 18 = y - 0*x, -80 = -3*y - x. Suppose 62 = -22*m - y. Which is greater: m or 0?
0
Let f be (81594/90)/(1/3). Let j = f + -2707. Let l = -438/35 + j. Is l greater than or equal to -4?
True
Suppose 18*k - 243 = 81. Suppose -k = -91*v + 85*v. Which is bigger: 39/11 or v?
39/11
Let f be -3 + 3 + 19071/(-9534) - (-92)/46. Are f and -1 equal?
False
Let d = -225455/11 + 20459. Which is smaller: d or -36?
d
Let z = 26983/3354 - 79/1118. Is z greater than 7?
True
Let k be (8/20 - 5935721/(-899360)) + -7. Which is bigger: k or 0?
0
Suppose -4*m = 3*h - 4 - 14, -36 = -2*m - 6*h. Let j(l) = -6*l. Let o be j(1). Let v be 41*9/o - m. Are -62 and v unequal?
True
Let r be -736 - (0 + 5)*((-42)/(-30) - 0). Are r and -743 equal?
True
Let v(n) = n**3 + 22*n**2 + 40*n - 20. Let f be v(-20). Let b be 100/f - (1 + 97/(-16)). Suppose 0 = 2*x - 0*x + 2. Is x at most as big as b?
True
Let j be ((-50738)/(-69))/((-13)/((-585)/(-6))). Which is smaller: -5514 or j?
j
Suppose 2*b - 26 = -2*x - 0*x, -x = -5*b - 31. Suppose 2*k + 4*h = 14, 0 = 8*k - 4*k + 2*h - x. Let f(c) = 2*c**2 + 2*c - 2. Let z be f(-2). Is z equal to k?
False
Suppose 10 = -2*b, -2*k - 2*b = 10 - 0. Suppose k = 3*h - w - 6 + 1, -5*h + 13 = -4*w. Is 5/8 bigger than h?
False
Let f be (7 + -5)*833/34. Is f > 636/13?
True
Let p = -3982 + 3982. Is 3/1114 at least as big as p?
True
Suppose 2*w = -5*f - 10, -4*f + 2*w + 4 + 6 = 0. Let g(x) = 20*x - 254. Let y be g(f). Which is greater: -760/3 or y?
-760/3
Let m be -2*(-3)/(-14) + (-681)/(-1491). Let v = 631/284 + m. Which is bigger: v or 1/5?
v
Let a = -19.69 - -2.94. Let d = a - -2.75. Which is bigger: d or 7?
7
Suppose 2*n - 378 = q, 226 = 4*q + 3*n + 1716. Which is smaller: -373 or q?
q
Let f(g) = g**2 - 7*g - 32. Let x be f(11). Suppose -x*n = -15*n + 36. Suppose 0*c + 55 = 5*c. Does n = c?
False
Let z be ((-646)/1615)/((-2)/(-10)*-159). Which is greater: z or 0.01?
z
Let v be 285/2 + (-12)/24. Let s = v - 136. Let a be 1*-7*s/21*-1. Is a at most as big as 10/13?
False
Let f be -71 + -81 + 135 - 287/(-17). Let k = 1 - -1/3. Which is greater: f or k?
k
Let q = -14 + 6. Let i(f) be the first derivative of f**4/4 + 8*f**3/3 + f**2/2 + 9*f + 84. Let h be i(q). Which is greater: h or 2?
2
Let f(g) = -4565*g - 4561. Let w be f(-1). Let h be (-12)/117*(-9)/(-2). Is h equal to w?
False
Let q(j) = 3*j**2 - 1. Let p be q(-1). Let n(g) = -8*g**2 + 6*g - 6. Let y be n(p). Let w be y/(-4) + (5 - 5). Which is smaller: 8 or w?
w
Let o(s) = 2*s - 19. Let b be o(17). Let r be b/6*612/(-45) - -6. Is r less than -4?
True
Let n be 57/95 - 36/(-10)*34. Suppose n*o = 116*o + 189. Is 21 < o?
True
Let z = -3515 + 16784124/4775. Which is greater: -1 or z?
z
Let v(l) = -4*l**2 - 32*l + 9. Let q be v(-24). Which is smaller: -1526 or q?
q
Let l = -20420 - -20419. Is l <= -12803?
False
Let z = -3804 + 3773. Which is bigger: z or -321/10?
z
Suppose 191*t - 56*t = -526 - 7709. Let z = -7 - -22/3. Which is smaller: t or z?
t
Let o be (741/26)/((-2)/(-12)) + 1. Suppose 6*v = o + 110. Suppose 5*q - v - 303 = 0. Is q smaller than 71?
True
Let r = -31886 - -31931. Let o be 10/15 - (-254)/6. Are r and o nonequal?
True
Suppose 3*b - 10 = 2. Suppose 15*a = b*a - 11. Let h be (-14)/(-5) - 2 - 1. Is a < h?
True
Let r = 4.479 - 6.479. Which is smaller: 292 or r?
r
Let w be (-66 - -2)*5/(10/(-344)). Let a = -77222/7 + w. Is -25 less than a?
True
Let t be 13 + 13 + 1358/(-56). Which is bigger: t or -0.1?
t
Suppose 21*f - 224 - 28 = 0. Let v be (-27)/f*(0 + (-24)/9). Which is greater: 7 or v?
7
Let y = 0.8 + 0.2. Suppose -93 = -q + 165. Let c = q - 2320/9. Which is bigger: y or c?
y
Let i(u) = u**3 + 10*u**2 - u - 11. Let q be i(-10). Let t be q/(-5) - (1161/45 - -7). Is -34 less than or equal to t?
True
Let x = 0.703 + -0.38. Let p = x - 0.323. Is 189 != p?
True
Let h = -18 + 25. Let s = 21218 - 106448/5. Let k = 80 + s. Is h less than k?
True
Let q = 31.066 - 0.006. Let o = 0.94 + q. Do 0.4 and o have the same value?
False
Let z = 1050/13 + -90365/1118. Is z < -0.2?
False
Let r be 10/(-4) + 1 - (-4102)/2716. Let p = -1937/291 - r. Let n be ((-14)/(-4))/((-1)/2). Which is greater: p or n?
p
Suppose 21*y - 763 = 14*y. Let u = y + -106. Which is greater: u or -3?
u
Let v = 1/1628 - -2921/545380. Let g = v - -5683/2010. Which is smaller: g or 3?
g
Let d = 13197/7 - 19887809/10549. Let c = d - -4538/224543. Is c greater than -1?
True
Let r = 210/353 - 365391/615985. Which is bigger: -1 or r?
r
Let k be 3*(-6)/153*(-119)/(-52955). Which is smaller: k or 0?
k
Let d = 33535 - 33568.75. Is d greater than 0?
False
Let k = 312.9 + -303.9. Is 17/5 at least as big as k?
False
Suppose 7*y - 181 - 302 = 0. Let v be (4/(-3) - 0)/((-2)/y). Suppose 2*z - 30 = -v. Which is smaller: z or -10?
-10
Let i(y) = y**2 + 8*y - 44. Let o be i(-13). Suppose 3*w = -2*l + 7, 2*l = -3*w - w + 10. Are l and o nonequal?
True
Let t(w) = -w**2 + 15*w + 22. Let b be t(16). Suppose x = 11*x - b*x. Suppose 0 = -x*k - 2*k - 30. Which is smaller: k or -14?
k
Let o(l) = l**2 + 25*l + 27. Suppose 3*b + 0*f + 72 = -2*f, -4*f = -b - 24. Let m be o(b). Suppose 8*r = m*r - 20. Is 2 smaller than r?
False
Let r be (297/(-22))/((-2)/(-4)). Let s be (-438)/(-15)*1 - (-4)/5. Let b be r/s*-2*(-2)/3. Are -1 and b equal?
False
Suppose -6307 - 35318 = 25*t. Which is smaller: -1666 or t?
-1666
Suppose 14*h + 27 = -15. Let f be h - (-3 - -3) - -2. Is f != -2/17?
True
Let w be -1 - (3/3 - 2). Let i = -2216/161 - -287/23. Which is smaller: i or w?
i
Let m = 384 - 231. Let u be (-22)/m + (-1)/(-9). Let v = -1/1530 + u. Is -1 at least as big as v?
False
Let r(s) = -2*s**3 - 28*s**2 + 15*s - 27. Let q be r(-15). Is q smaller than 598/3?
True
Suppose 43*i + 7*i - 13900 = 0. Let l be (-2)/((-4)/i)*(-2 + 3). Which is smaller: -1 or l?
-1
Suppose s - 108 = -2*s. Let p = -34 + s. Suppose 4*j - 20 = r + 3*r, -3*r + p*j = 11. Is 26 != r?
True
Let p be 9/(27/3876) - 8. Is p bigger than 1283?
True
Let m = 30246/11891 + 2/1081. Suppose 16*s - 180 = -11*s - 72. Are s and m unequal?
True
Let v = -25010 + 25154.73. Let l = 145 - v. Which is smaller: l or -4?
-4
Let h = 120 - 95.4. Let c = h + -97.6. Is -1/5 not equal to c?
True
Let h(t) = 2*t + 10. Let f be h(-5). Suppose d + 2 + 5 = -2*i, 4*i + 3*d = -13. Let o be (-2 - i)/(2 + -3). Is o less than f?
True
Let s = -489.74 - -531. Let v = s - 41.2. Let k(z) = -z**2 + 1. Let r be k(-1). Which is greater: v or r?
v
Let n = 2194 - 2208. Let c(g) = -g**3 + 6*g**2 - 4*g - 2. Let m be c(6). Let y be -3 - -3*m/6. Is n at most y?
False
Let a = -21 + 26. Suppose 11*x = a*x - 12. Is -8/9 at least x?
True
Let h be 461340/189 + (-28)/98. Is 2441 bigger than h?
True
Let y(h) = -h**2 - 36*h - 36. Let m be y(-35). Let k be -1*47*(-6)/33. Let r = -541/44 + k. Which is smaller: r or m?
r
Let b(m) = 10*m**2 + 1. Let s be b(-1). Let y = -6 + s. Is y bigger than 34/7?
True
Let g(z) be the second derivative of -17*z**3/6 + 34*z**2 + 121*z. Let b be g(5). Is b <= -17?
True
Suppose 2*s + 6 - 8 = 0. Let n(x) = s + 24*x - 2*x - 9*x - x**2. Let d be n(13). Which is smaller: d or -1?
-1
Let v(f) = -12*f**2 + 25*f - 2. Let a be v(2). Is a < -1/8656?
False
Let d = -58 + 89. Suppose 2*x + d = -3. Is -18 > x?
False
Let v = 679 - 870. Let a = 141.3 + v. Is -1